|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1503 occurrences of 750 keywords
|
|
|
Results
Found 3802 publication records. Showing 3802 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig |
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings, pp. 43-52, 2009, Springer, 978-3-642-04984-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 61-70, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
25 | Grzegorz J. Nalepa |
Prototype Prolog API for Mindstorms NXT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 393-394, 2008, Springer, 978-3-540-85844-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Tom Schrijvers, Bart Demoen |
Uniting the Prolog Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 7-8, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Gergely Lukácsy, Péter Szeredi, Balázs Kádár |
Prolog Based Description Logic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 455-469, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logic programming, description logic, resolution, large data sets |
25 | Piotr Matyasik, Grzegorz J. Nalepa, Piotr Ziecik |
Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings, pp. 485-488, 2007, Springer, 978-3-540-74564-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Levente Hunyadi |
Prosper: A Framework for Extending Prolog Applications with a Web Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 432-433, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
application development framework, web integration |
25 | Grzegorz J. Nalepa, Igor Wojnicki |
Visual Generalized Rule Programming Model for Prolog with Hybrid Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 178-194, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Michel Wermelinger, Artur Miguel Dias |
A prolog toolkit for formal languages and automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 330-334, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Jan Wielemaker |
An Optimised Semantic Web Query Language Implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 128-142, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ryo Fukuhara, Tomoharu Matsunaka, Kazutaka Kitamori |
Automatic generation of simulation program by XML-prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 24, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Stephen-John Craig, Michael Leuschel |
Self-tuning resource aware specialisation for prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 23-34, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Dávid Hanák, Tamás Szeredi, Péter Szeredi |
FDBG, the CLPFD Debugger Library of SICStus Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 458-459, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Christoph Beierle, Marija Kulas, Manfred Widera |
A Pragmatic Approach to Pre-testing Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, pp. 294-308, 2004, Springer, 3-540-25560-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Michael Backes 0001, Markus Dürmuth, Günter Karjoth |
Unification in Privacy Policy Evaluation - Translating EPAL into Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 7-9 June 2004, Yorktown Heights, NY, USA, pp. 185-188, 2004, IEEE Computer Society, 0-7695-2141-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jan Wielemaker, Guus Schreiber, Bob J. Wielinga |
Prolog-Based Infrastructure for RDF: Scalability and Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 644-658, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer |
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings, pp. 133-146, 2003, Springer, 3-540-00568-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Michael Gelfond |
Representing Knowledge in A-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 413-451, 2002, Springer, 3-540-43960-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Henning Makholm |
A Region-Based Memory Manager for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: ISMM 2000, International Symposium on Memory Management, Minneapolis, Minnesota, USA, October 15-16, 2000 (in conjunction with OOPSLA 2000), Conference Proceedings, pp. 25-34, 2000, ACM, 1-58113-263-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Fausto Spoto, Giorgio Levi |
Abstract Interpretation of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 455-470, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Adam Mrózek, Krzysztof Skabek |
Rough Rules in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, First International Conference, RSCTC'98, Warsaw, Poland, June 22-26, 1998, Proceedings, pp. 458-466, 1998, Springer, 3-540-64655-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla |
Global Analysis of Standard Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 108-124, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Optimization, Logic Programming, Abstract Interpretation |
25 | Thomas Lindgren, Johan Bevemyr, Håkan Millroth |
Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 553-564, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Johan Bevemyr, Thomas Lindgren |
A Simple and Efficient Copying Garbage Collector for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 88-101, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Gilberto Filé, Sabina Rossi |
Static Analysis of Prolog with Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 134-145, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Johan Bevemyr, Thomas Lindgren, Håkan Millroth |
Exploiting Recursion-Parallelism in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 279-290, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Carlos Escalante |
A simple model of prolog's performance: extensional predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 1119-1132, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck |
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 310-325, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Paul Tarau |
BinProlog: a Continuation Passing Style Prolog Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 479-480, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Gopal Gupta 0001, Vítor Santos Costa |
And-Or Parallelism in Full Prolog with Paged Binding Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 617-632, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Costas Mourlas, Constantin Halatsis |
Extensions to a Parallel Prolog System to Support Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 551-565, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Baudouin Le Charlier, Pascal Van Hentenryck |
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 137-146, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Bart Demoen, André Mariën |
Implementation of Prolog as Binary Definite Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 165-176, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Gustaf Neumann |
A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 349-360, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Evgeny L. Kitaev |
Processing of Ground Regular Terms in PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 271-285, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Dan Sahlin |
Finding the Least Fixed Point Using Wait-Declarations in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 151-158, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Serge Le Huitouze |
A New Data Structure for Implementing Extensions to Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 136-150, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe |
Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 106-117, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Egon Börger, Dean Rosenzweig |
From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings, pp. 31-66, 1990, Springer, 3-540-54487-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Egon Börger, Peter H. Schmitt |
A Formal Operational Semantics for Languages of Type Prolog III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings, pp. 67-79, 1990, Springer, 3-540-54487-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Antonio Brogi, Roberto Gorrieri |
A Distributed, Net Oriented Semantics for Delta Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89), pp. 162-177, 1989, Springer, 3-540-50939-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Bogumil Hausman |
Pruning and Scheduling Speculative Work in Or-Parallel Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 133-150, 1989, Springer, 3-540-51285-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Jacques Chassin de Kergommeaux, Uri Baron, Wolfgang Rapp, Michael Ratcliffe |
Performance Analysis of a Parallel Prolog: A Correlated Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 151-164, 1989, Springer, 3-540-51285-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Balkrishna Ramkumar, Laxmikant V. Kalé |
An Abstract Machine for the Reduce-OR Process Model for Parallel Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBCS ![In: Knowledge Based Computer Systems, International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings, pp. 266-275, 1989, Springer, 3-540-52850-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Laurent Fribourg |
Functional Extensions to Prolog: Are they Needed? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings, pp. 21-29, 1988, Springer, 3-540-50667-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Jirí Polák, S. P. Guest |
A graphical representation of the Prolog programmer's knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatics and Psychology Workshop ![In: Visualization in Human-Computer Interaction, 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988, Selected Contributions, pp. 82-104, 1988, Springer, 3-540-52698-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Rainer Manthey, François Bry |
SATCHMO: A Theorem Prover Implemented in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 415-434, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Joost N. Kok |
A Compositional Semantics for Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings, pp. 373-388, 1988, Springer, 3-540-18834-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Peter M. D. Gray, David S. Moffat, Norman W. Paton |
A Prolog Interface to a Functional Data Model Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988, pp. 34-48, 1988, Springer, 3-540-19074-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Zsuzsa Farkas |
LISTLOG - A Prolog Extension for List Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pp. 82-95, 1987, Springer, 3-540-17611-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure |
Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pp. 126-139, 1987, Springer, 3-540-17611-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Paola Mello, Antonio Natali |
Objects as Communicating Prolog Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings, pp. 181-191, 1987, Springer, 3-540-18353-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Hans Tebra |
Optimistic And-Parallelism in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 420-431, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel |
Application of Prolog to Test Sets Generation from Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE), pp. 261-275, 1985, Springer, 3-540-15199-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
25 | Kuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun'ichi Toyoda |
Extended Prolog and Ints Application to an Integrated Parser for Text Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 214-225, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
25 | Jiro Tanaka, Takashi Yokomori, Makoto Kishishita |
AND-OR Queuing in Extended Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 156-167, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
24 | Jiro Naganuma, Takeshi Ogura |
A Highly OR-Parallel Inference Machine (Multi-ASCA) and Its Performance Evaluation: An Architecture and Its Load Balancing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(9), pp. 1062-1075, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
highly OR-parallel inference machine, Multi-ASCA, serial I/O links, modified mesh network, high-speed sequential Prolog processor, locally controlled activity, software simulator, inference tree, OR-parallel benchmarks, n-queens problem, copying method, high-performance artificial intelligence system, nonshared memory multiprocessor system, 20 Mbit/s, performance evaluation, performance evaluation, VLSI, resource allocation, parallel architectures, parallel architecture, virtual machines, PROLOG, parallel machines, inference mechanisms, trace-driven simulation, communication overhead, processing elements, local memory, local communication, load balancing algorithms |
24 | Gruia-Catalin Roman |
Formal Specification of Geographic Data Processing Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 2(4), pp. 370-380, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation |
24 | Y. C. Yang, M. C. Liu, Jeffery K. Cochran |
Knowledge-Based Scheduling for Flexible Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA- Volume 2, pp. 1075-1082, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
24 | Masanobu Matsuo, Ko Arima, Frederick E. Freiheit IV, Ken Hubbard |
Logic Programmable Natural Language Processor of a Knowledge-Base Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA- Volume 2, pp. 1174-1182, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
24 | S. S. Hyder, A. Khoujah |
Character Recognition of Cursive Scripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA- Volume 2, pp. 1146-1150, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
24 | D. Vakil, Mehdi R. Zargham |
An Expert System for Channel Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA- Volume 2, pp. 1033-1039, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
24 | James Paul Vita |
An Object-Oriented Approach to Switching Circuit Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA- Volume 2, pp. 975-983, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog, Prolog |
23 | Thomas J. Bensky, Catherine A. Taff |
Computer-Guided Solutions to Physics Problems Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 12(1), pp. 88-95, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
computer tutorial, Artificial intelligence, Prolog, physics, kinematics |
23 | Arthur C. Fleck |
Prolog as the first programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 39(4), pp. 61-64, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
first programming language, logic programming, prolog |
23 | Tim Menzies, Lindsay Mason |
Some prolog macros for rule-based programming: why? how? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Workshop on Rule-Based Programming ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002, pp. 79-92, 2002, ACM, 1-58113-606-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
prolog, history, rule-based programming |
23 | Aliy Fowler |
Web-based CALL using prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2001, Canterbury, UK, June 25-27, 2001, pp. 181, 2001, ACM, 1-58113-330-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Mária Bieliková, Pavol Návrat |
Learning Programming in Prolog Using Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(2), pp. 41-47, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Fatima Z. Mansouri, Colin A. Higgins |
Prolog: An Annotated Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(9), pp. 47-53, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Prolog |
23 | David J. Russomanno |
The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 172-177, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
AI Tools, Graphics Migration, AM/FM, PROLOG, Data Migration |
23 | Koenraad De Bosschere, Paul Tarau |
High performance continuation passing style Prolog-to-C mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1994 ACM Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994, pp. 383-387, 1994, ACM, 0-89791-647-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
binary logic programs, continuation based compilation, Prolog, program transformation |
23 | Alireza Azem, Fevzi Belli |
Reliability Prediction of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1994, May 31-June 3, 1994, Austin, TX, USA., pp. 103-112, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
Prolog |
23 | Kelly G. Price, Kai H. Chang, William B. Day |
DDL: A Parallel Implementation of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1994, May 31-June 3, 1994, Austin, TX, USA., pp. 639-645, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
Prolog |
23 | Alan Finlay, Lloyd Allison |
A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 15(1), pp. 206-208, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Richard Rankin, Ralph W. Wilkerson |
Finding Fixed Point Combinators Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, SAC'93, Indianapolis, IN, USA, February 14-16, 1993, pp. 604-608, 1993, ACM, 0-89791-567-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Maurizio Proietti, Alberto Pettorossi |
Semantics Preserving Transformation Rules for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 274-284, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Dan Sahlin |
Determinacy Analysis for Full Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 23-30, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Vítor Santos Costa, David H. D. Warren, Rong Yang |
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991, pp. 83-93, 1991, ACM, 0-89791-390-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
23 | John Van Tassel, David Hemmendinger |
Specifying and Automatically Generating Ada Tasks in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 121-127, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Ada, Prolog |
23 | Marwan A. Jabri |
BREL - a Prolog Knowledge-based System Shell for VLSI CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 272-277, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Peter Van Roy |
A useful extension to Prolog's definite clause grammar notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 24(11), pp. 132-134, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Andreas Zell, Thomas Bräunl |
An alternative Prolog search strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (2) ![In: Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA - Volume 2, pp. 722-728, 1989, ACM. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Victor B. Schneider |
A pedagogic expert system shell in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(6), pp. 35-38, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
23 | David Hemmendinger |
The 'Hamming' in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(6), pp. 115-120, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
23 | David Hemmendinger |
The "Hamming problem" in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(4), pp. 81-86, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Alexander C. Papaspyrdis |
A Prolog-Based Connectivity Verification Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 25th ACM/IEEE Conference on Design Automation, DAC '88, Anaheim, CA, USA, June 12-15, 1988., pp. 523-527, 1988, ACM. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
Prolog |
23 | Thomas W. Jerardi |
Puzzles, PROLOG amd Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(4), pp. 63-69, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Gregers Koch |
Prolog in the automation of the semantic component. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 324-329, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
23 | Ashok Kumar, Vishv M. Malhotra |
A Look-Ahead Interpreter for Sequential Prolog and Its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings, pp. 470-484, 1987, Springer, 3-540-18625-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Prolog, Interpreter, Look-ahead |
23 | José A. Riaza |
Tau Prolog: A Prolog Interpreter for the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 24(1), pp. 1-21, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | José Antonio Riaza Valverde |
Tau Prolog: A Prolog interpreter for the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.11897, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Sibylle Schwarz, Mario Wenzel |
ev3dev-prolog - Prolog API for LEGO EV3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung (Workshops) ![In: 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019 - Workshops, Kassel, Germany, September 23-26, 2019, pp. 385-398, 2019, GI, 978-3-88579-689-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Afroditi Stathaki, Haridimos Kondylakis, Emmanouil I. Marakakis, Michael Kalogerakis |
i-Prolog: A Web-Based Intelligent Tutoring System for Learning Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArtsIT/DLI ![In: Interactivity, Game Creation, Design, Learning, and Innovation - 6th International Conference, ArtsIT 2017, and Second International Conference, DLI 2017, Heraklion, Crete, Greece, October 30-31, 2017, Proceedings, pp. 337-346, 2017, Springer, 978-3-319-76907-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Theofrastos Mantadelis |
Efficient Algorithms for Prolog Based Probabilistic Logic Programming (Efficiënte algoritmen voor prolog gebaseerd probabilistisch logisch programmeren). (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
23 | Tzanko Golemanov, Kostadin Kratchanov, Emilia Golemanova |
Spider vs. Prolog: simulating Prolog in Spider. ![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. 22, 2009, ACM, 978-1-60558-986-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero |
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 131-147, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen |
Improving Prolog programs: Refactoring for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 8(2), pp. 201-215, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | François Gobert |
Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
23 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen |
Improving Prolog programs: Refactoring for Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0702083, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Tom Schrijvers, Alexander Serebrenik |
Improving Prolog Programs: Refactoring for Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.SE/0406026, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
Displaying result #401 - #500 of 3802 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|