Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Jael Kriener, Andy King |
RedAlert: Determinacy inference for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 11(4-5), pp. 537-553, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | António Porto |
A structured alternative to Prolog with simple compositional semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 11(4-5), pp. 611-627, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Jan Wielemaker, Vítor Santos Costa |
On the Portability of Prolog Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings, pp. 69-83, 2011, Springer, 978-3-642-18377-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Paul Tarau |
Integrated symbol table, engine and heap memory management in multi-engine prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011, pp. 129-138, 2011, ACM, 978-1-4503-0263-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Neng-Fa Zhou, Agostino Dovier |
A Tabled Prolog Program for Solving Sokoban. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, pp. 215-228, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
11 | Paul Tarau |
Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011, pp. 55-64, 2011, ACM, 978-1-4503-0486-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli |
BAAC: A Prolog System for Action Description and Agents Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA, pp. 187-197, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-31-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Michael Eichberg |
Compiling Prolog to Idiomatic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA, pp. 84-94, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-31-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Zsolt Zombori, János Csorba, Péter Szeredi |
Static Type Checking for the Q Functional Language in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA, pp. 62-72, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-31-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Jatin Matani, Shivashankar B. Nair |
Typhon - A Mobile Agents Framework for Real World Emulation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIWAI ![In: Multi-disciplinary Trends in Artificial Intelligence - 5th International Workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011. Proceedings, pp. 261-273, 2011, Springer, 978-3-642-25724-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Jesús Manuel Almendros-Jiménez |
A Prolog library for OWL RL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LID ![In: Proceedings of the 4th International Workshop on Logic in Databases, Uppsala, Sweden, (EDBT/ICDT '10 joint conference), March 25, 2011, Proceedings, pp. 49-56, 2011, ACM, 978-1-4503-0609-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
ASP-Prolog for Negotiation among Dishonest Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings, pp. 331-344, 2011, Springer, 978-3-642-20894-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Angelika Kimmig, Guy Van den Broeck, Luc De Raedt |
An Algebraic Prolog for Reasoning about Possible Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, pp. 209-214, 2011, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Chris Mungall |
Posh - The Prolog OWL Shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OWLED ![In: Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), San Francisco, California, USA, June 5-6, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
11 | Neng-Fa Zhou, Agostino Dovier |
A Tabled Prolog Program for Solving Sokoban. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011, pp. 896-897, 2011, IEEE Computer Society, 978-1-4577-2068-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Paul Tarau |
Coordination and Concurrency in Multi-engine Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, pp. 157-171, 2011, Springer, 978-3-642-21463-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Hiroshi Sakai, Michinori Nakata, Dominik Slezak |
A NIS-Apriori Based Rule Generator in Prolog and Its Functionality for Table Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology - 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011. Proceedings, pp. 226-231, 2011, Springer, 978-3-642-24424-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Zohaib Khai, Aamer Nadeem, Gang-soo Lee |
A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-ASEA/DRBC/EL ![In: Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, pp. 85-96, 2011, Springer, 978-3-642-27206-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs |
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers, pp. 237-252, 2011, Springer, 978-3-642-32210-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | |
Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Machine Learning ![In: Encyclopedia of Machine Learning, pp. 811-812, 2010, Springer, 978-0-387-30768-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Jesús Manuel Almendros-Jiménez |
A Prolog-based Query Language for OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010, pp. 3-22, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Peter Schneider-Kamp |
Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 24(1), pp. 79-81, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Lee Mondshein, Abdul Sattar 0002, Torben Lorenzen |
Visualizing Prolog: a "jigsaw puzzle" approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inroads ![In: Inroads 1(4), pp. 43-48, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Christian Bitter, David A. Elizondo, Yingjie Yang |
Natural language processing: a prolog perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 33(1-2), pp. 151-173, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh |
Applying Prolog to Develop Distributed Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1007.3835, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Daniel Diaz 0001, Salvador Abreu, Philippe Codognet |
On the Implementation of GNU Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1012.2496, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Terrance Swift, David Scott Warren |
XSB: Extending Prolog with Tabled Logic Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1012.5123, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Mats Carlsson, Per Mildner |
SICStus Prolog -- the first 25 years ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.5640, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager |
SWI-Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.5332, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Jan Wielemaker, Vítor Santos Costa |
Portability of Prolog programs: theory and case-studies ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1009.3796, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Ilyas Cicekli |
Pierre M. Nugues. An Introduction to Language Processing with Perl and Prolog. Springer-Verlag 2006. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Lang. Eng. ![In: Nat. Lang. Eng. 16(2), pp. 193-195, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to Keeping the Energy Debate Clean: How Do We Supply the World's Energy Needs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(1), pp. 39-41, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Single Carrier Modulation With Nonlinear Frequency Domain Equalization: An Idea Whose Time Has Come - Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(1), pp. 67-68, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to A Survey of BGP Security Issues and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(1), pp. 97-99, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to Audiovisual Information Fusion in Human-Computer Interfaces and Intelligent Environments: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(10), pp. 1690-1691, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to A Survey of Trust and Reputation Management Systems in Wireless Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(10), pp. 1752-1754, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Parameter Variation Tolerance and Error Resiliency: New Design Paradigm for the Nanoscale Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(10), pp. 1716-1717, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to The Future of Integrated Circuits: A Survey of Nanoelectronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(1), pp. 8-10, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to A Systemized View of Superluminal Wave Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(10), pp. 1773-1774, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh |
Applying Prolog to develop distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 10(4-6), pp. 691-707, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Peter J. Robinson 0001, Keith L. Clark |
Pedro: a publish/subscribe server using Prolog technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 40(4), pp. 313-329, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Meera Sridhar, Kevin W. Hamlen |
ActionScript In-Lined Reference Monitoring in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings, pp. 149-151, 2010, Springer, 978-3-642-11502-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | L. Yohanes Stefanus, Ario Santoso |
A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011, pp. 33-41, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Ferrein |
golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Robotics ![In: Cognitive Robotics, 21.02. - 26.02.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
An efficient fuzzy unification method and its implementation into the Bousi~Prolog system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2010, IEEE International Conference on Fuzzy Systems, Barcelona, Spain, 18-23 July, 2010, Proceedings, pp. 1-8, 2010, IEEE, 978-1-4244-6919-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Peter Kissmann, Stefan Edelkamp |
Instantiating General Games Using Prolog or Dependency Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2010: Advances in Artificial Intelligence, 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings, pp. 255-262, 2010, Springer, 978-3-642-16110-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi |
Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Ekaterina Gilman, Iván Sánchez Milara, Timo Saloranta, Jukka Riekki |
Reasoning for Smart Space Application: Comparing Three Reasoning Engines CLIPS, Jess and Win-prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 1340-1345, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ubiquitous computing, reasoning |
11 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
Bousi~Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI (ICFC-ICNC) ![In: ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, [parts of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24-26, 2010, pp. 93-98, 2010, SciTePress, 978-989-8425-32-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano |
PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI-isAI Workshops ![In: New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers, pp. 153-164, 2010, Springer, 978-3-642-25654-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Jose Santos 0001, Stephen H. Muggleton |
Subsumer: A Prolog theta-subsumption engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK, pp. 172-181, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-17-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt |
DTProbLog: A Decision-Theoretic Probabilistic Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, pp. 1217-1222, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Gerlof Bouma |
Syntactic Tree Queries in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linguistic Annotation Workshop ![In: Proceedings of the Fourth Linguistic Annotation Workshop, LAW 2010, Uppsala, Sweden, July 15-16, 2010, pp. 212-216, 2010, Association for Computational Linguistics, 978-1-932432-72-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Gerlof Bouma |
Querying Linguistic Corpora with Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KONVENS ![In: Semantic Approaches in Natural Language Processing: Proceedings of the 10th Conference on Natural Language Processing, KONVENS 2010, September 6-8, 2010, Saarland University, Saarbrücken, Germany, pp. 9-17, 2010, universaar, Universitätsverlag des Saarlandes / Saarland University Press / Presses universitaires de la Sarre, 978-3-86223-004-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Jacob M. Howe, Andy King |
A Pearl on SAT Solving in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings, pp. 165-174, 2010, Springer, 978-3-642-12250-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Ferrein |
Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Embedded Reasoning ![In: Embedded Reasoning, Papers from the 2010 AAAI Spring Symposium, Technical Report SS-10-04, Stanford, California, USA, March 22-24, 2010, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A Programming Environment for Bousi-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes, pp. 36-42, 2010, CSREA Press, 1-60132-148-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
On the Generation of Test Data for Prolog by Partial Evaluation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0903.2199, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Gergely Lukácsy, Péter Szeredi |
Efficient Description Logic Reasoning in Prolog: The DLog system ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0904.0578, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Markus Triska, Ulrich Neumerkel, Jan Wielemaker |
Better Termination for Prolog with Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0903.2168, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Yoshihiro Adachi |
Prolog Visualization System Using Logichart Diagrams ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0903.2207, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Xiaochu Qi |
An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0911.5203, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider 0001 |
A Semantics-Aware Editing Environment for Prolog in Eclipse ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0903.2252, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price |
Coding Guidelines for Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0911.2899, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Henning Christiansen 0001 |
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 7(3), pp. 341-362, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Semiconductor Piezoresistance for Microsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 97(3), pp. 511-512, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to Solution Processed Quantum Dot Photodetectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 97(10), pp. 1663-1665, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to Circuit Elements With Memory: Memristors, Memcapacitors, and Meminductors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 97(10), pp. 1715-1716, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to On the Complexity of the Verification of the Costas Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 97(3), pp. 584-585, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to The Transition to Solid-State Lighting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 97(3), pp. 478-480, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Analog Circuit Design in Nanoscale CMOS Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 97(10), pp. 1684-1686, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Ultra-High-Voltage Transmission in China: Developments, Current Status, and Future Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 97(3), pp. 553-554, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Achieving Competence-Based Curricula for Engineering Education in Spain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 97(10), pp. 1725-1726, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Decompilation of Java bytecode to Prolog by partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(10), pp. 1409-1427, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Gergely Lukácsy, Péter Szeredi |
Efficient description logic reasoning in Prolog: The DLog system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 9(3), pp. 343-414, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Gayrat Matlatipov, Zygmunt Vetulani |
Representation of Uzbek Morphology in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects of Natural Language Processing ![In: Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday, pp. 83-110, 2009, Springer, 978-3-642-04734-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Emilia Golemanova, Kostadin Kratchanov, Tzanko Golemanov |
Spider vs. Prolog: computation control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2009, Rousse, Bulgaria, June 18-19, 2009, pp. 23, 2009, ACM, 978-1-60558-986-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Yana Todorova |
Answering Questions from Natural Language Using A-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 544-546, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Kaninda Musumbu |
A New Operational Semantics for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IICAI ![In: Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009, pp. 251-260, 2009, IICAI, 978-0-9727412-7-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Martina Cíhalová, Nikola Ciprich, Marie Duzí, Marek Mensík |
Agents' reasoning using TIL-Script and Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EJC ![In: Information Modelling and Knowledge Bases XXI, 19th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2009), Maribor, Slovenia, June 1-5, 2009, pp. 135-154, 2009, IOS Press, 978-1-60750-089-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Serghei Pelin |
Prolog Intelligent Training Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSREA EE ![In: Proceedings of the 2009 International Conference on E-Learning, E-Business, Enterprise Information Systems, & E-Government, EEE 2009, July 13-16, 2009, Las Vegas Nevada, USA, pp. 107-111, 2009, CSREA Press, 1-60132-100-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Mark Chernault |
Impementation of Map, Reduce and Filter Prolog Predicates on the Cell Broadband Engine Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2009, Las Vegas, Nevada, USA, July 13-17, 2009, 2 Volumes, pp. 803-807, 2009, CSREA Press, 1-60132-123-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen |
Planning for Multiagent Using ASP-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers, pp. 1-21, 2009, Springer, 978-3-642-16866-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Robert Borrell |
A Brute Force Approach to Solving the Knights Tour Problem Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the 2009 International Conference on Artificial Intelligence, ICAI 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes, pp. 600-604, 2009, CSREA Press, 1-60132-109-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Carl Friedrich Bolz, Michael Leuschel, Armin Rigo |
Towards Just-In-Time Partial Evaluation of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers, pp. 158-172, 2009, Springer, 978-3-642-12591-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Angelika Kimmig, Luc De Raedt |
Local Query Mining in a Probabilistic Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pp. 1095-1100, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
11 | Wolfgang Lohmann, Günter Riedewald, Guido Wachsmuth |
Aspect-oriented prolog in a language processing context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Softw. ![In: IET Softw. 2(3), pp. 241-259, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Levente Hunyadi |
Prosper: Developing Web Applications Strongly Integrated with Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 18(4), pp. 561-578, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Paul Tarau |
Executable Set Theory and Arithmetic Encodings in Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0808.0540, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Paul Fodor, Adam Lally, David A. Ferrucci |
The Prolog Interface to the Unstructured Information Management Architecture ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0809.0680, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Paul Fodor |
Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0808.1721, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Modeling of Nanoscale Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 96(9), pp. 1509-1510, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to Energy Harvesting From Human and Machine Motion for Wireless Electronic Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 96(9), pp. 1455-1456, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to Self-Assembly at the Macroscopic Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 96(9), pp. 1487-1489, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Bart Demoen |
Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz: College Publications, 2006 Paperback, ISBN 1-904987-17-6, xiv + 265 pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 8(2), pp. 235-242, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Jan Wielemaker, Zhisheng Huang, Lourens van der Meij |
SWI-Prolog and the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 8(3), pp. 363-392, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ken Samuel, Leo Obrst, Suzette Stoutenburg, Karen Fox, Paul Franklin, Adrian Johnson, Kenneth J. Laskey, Deborah Nichols, Steve Lopez, Jason Peterson |
Translating OWL and semantic web rules into prolog: Moving toward description logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 8(3), pp. 301-322, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Bruria Haberman |
Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica ![In: Informatica 19(1), pp. 17-30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Vasile Alaiba, Armand Rotaru |
Agent architecture for building Robocode players with SWI-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCSIT ![In: Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008, pp. 3-7, 2008, IEEE, 978-83-60810-14-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Grzegorz J. Nalepa, Igor Wojnicki |
Proposal of a Prolog-based Knowledge Wiki. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KESE ![In: Proceedings of the 4th Workshop on Knowledge Engineering and Software Engineering (KESE-2008) at the 31st German Conference on Artificial Intelligence, Kaiserslautern, Germany, September 23, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|