Tie-breaking semantics and structural totality
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The locality principle and completeness in logic programming
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Fixed point theorems in logic programming
Annals of Mathematics and Artificial Intelligence
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
Artificial Intelligence
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Data Protection by Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Three-Valued Constructive Logic and Logic Programs
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic (TOCL)
On logic programs that always succeed
Science of Computer Programming
Order-consistent programs are cautiously monotonic
Theory and Practice of Logic Programming
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence
Logic programming with default, weak and strict negations
Theory and Practice of Logic Programming
Efficient and flexible access control via Jones-optimal logic program specialisation
Higher-Order and Symbolic Computation
On odd and even cycles in normal logic programs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence
A calculus effectively performing event formation with visualization
ISHPC'05/ALPS'06 Proceedings of the 6th international symposium on high-performance computing and 1st international conference on Advanced low power systems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Hybrid reasoning with non-monotonic rules
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Disjunctive Signed Logic Programs
Fundamenta Informaticae
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
Hi-index | 0.00 |