A basis for deductive database systems. II
Journal of Logic Programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the relationship between circumscription and negation as failure
Artificial Intelligence
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of the ACM (JACM)
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
A knowledge representation framework based on autoepistemic logic of minimal beliefs
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Autoepistemic logic of knowledge and beliefs
Artificial Intelligence
A rational and efficient algorithm for view deletion in databases
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Computation of the semantics of autoepistemic belief theories
Artificial Intelligence
On semantic issues connected with incomplete information databases
ACM Transactions on Database Systems (TODS)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming
ICLP '94/NMELP '94 Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming
Proceedings of the 5th International Workshop on Extensions of Logic Programming
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
LPAR '94 Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
GLUE: Opening the World to Theorem Provers
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Strong and Weak Constraints in Disjunctive Datalog
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Semantics of Normal and Disjunctive Logic Programs: A Unifying Framework
ICLP '94/NMELP '94 Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming
A general Approach to Bottom-Up Computation of Disjunctive Semantics
ICLP '94/NMELP '94 Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
A Tableau Calculus for Minimal Model Reasoning
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Hi-index | 0.00 |