Parlog86 and the dining logicians
Communications of the ACM
A dietary recommendation expert system using OPS5
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A pedagogic expert system shell in Prolog
ACM SIGPLAN Notices
Introducing parallel processing at the undergraduate level
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
A natural language front-end for knowledge acquisition
ACM SIGART Bulletin - Special issue on knowledge acquisition
ACM SIGPLAN Notices
SIGDOC '90 Proceedings of the 8th annual international conference on Systems documentation
Programming techniques for efficiently exploiting parallelism in logic programming languages
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
The physiology of PROLOG expert system inference engine
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Efficient top-down induction of logic programs
ACM SIGART Bulletin
Preference-based decision making for cooperative knowledge-based systems
ACM Transactions on Information Systems (TOIS)
Logic programming based curriculum for high school students: the use of abstract data types
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Machine Learning - special issue on inductive logic programming
An integrated approach of rule-based and case-based reasoning for decision support
CSC '91 Proceedings of the 19th annual conference on Computer Science
Using proxy cache relocation to accelerate Web browsing in wireless/mobile communications
Proceedings of the 10th international conference on World Wide Web
Supporting declarative programming through analogy
CCSC '01 Proceedings of the sixth annual CCSC northeastern conference on The journal of computing in small colleges
Proceedings of the 8th international conference on Artificial intelligence and law
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
Comparing Two Parallel Logic-Programming Architectures
IEEE Software
Representing Natural Language with Prolog
IEEE Software
Prolog/Rex-A Way to Extend Prolog for Better Knowledge Representation
IEEE Transactions on Knowledge and Data Engineering
Net-Based Computational Models of Knowledge-Processing Systems
IEEE Expert: Intelligent Systems and Their Applications
Comments on 'Defining Software by Continuous Smooth Functions' by R.A. De Millo and R.J. Lipton
IEEE Transactions on Software Engineering
A Visual Query Language for Graphical Interaction with Schema-Intensive Databases
IEEE Transactions on Knowledge and Data Engineering
YACAS: A Do-It-Yourself Symbolic Algebra Environment
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Inference of termination conditions for numerical loops in Prolog
Theory and Practice of Logic Programming
Encyclopedia of Computer Science
Journal of Management Information Systems - Special section: Toward a theory of business process change management
Practical methods for proving termination of general logic programs
Journal of Artificial Intelligence Research
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
A behavioral comparison of some probabilistic logic models
Probabilistic inductive logic programming
International Journal of Intelligent Engineering Informatics
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Linear-space best-first search: summary of results
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Improving MPI applications with a new MPI_Info and the use of the memoization
Proceedings of the 20th European MPI Users' Group Meeting
| Hi-index | 0.02 |