Introduction to logic programming
Introduction to logic programming
Semantical considerations on nonmonotonic logic
Artificial Intelligence
The British Nationality Act as a logic program
Communications of the ACM
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Introduction to artificial intelligence
Introduction to artificial intelligence
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Languages with self-reference II: knowledge, belief and modality
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Explanation-based generalisation = partial evaluation
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
The treatment of negation in logic programs for representing legislation
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Communications of the ACM
Logic programs with classical negation
Logic programming
Logic programs with exceptions
Logic programming
Logic programming
New Generation Computing - Selected papers from the international workshop on algorithmic learning theory,1990
A metalogic programming approach to multi-agent knowledge and belief
Artificial intelligence and mathematical theory of computation
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Deduction Model of Belief
Algorithmic Program DeBugging
Logic for Problem Solving
Understanding Natural Language
Understanding Natural Language
Knowledge Assimilation and Abduction
ECAI '90 Workshop on Truth Maintenance Systems
Higher-Order Logic Programming
Proceedings of the Third International Conference on Logic Programming
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Resolution Principle for Clauses with Constraints
Proceedings of the 10th International Conference on Automated Deduction
RESIDUE: a deductive approach to design synthesis
RESIDUE: a deductive approach to design synthesis
Hi-index | 0.00 |