Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Structural totality and constraint stratification
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
A Correct Logic Programming Computation of Default Logic Extensions
Journal of Automated Reasoning
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Characterizations of Classes of Programs by Three-Valued Operators
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Hypothesis Support for Information Integration in Four-Valued Logics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Between Well-Founded Semantics and Stable Model Semantics
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Computing large and small stable models
Theory and Practice of Logic Programming
Magic Sets and their application to data integration
Journal of Computer and System Sciences
On odd and even cycles in normal logic programs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
The modal logic S4F, the default logic, and the logic here-and-there
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Logic-based knowledge representation
Artificial intelligence today
Annals of Mathematics and Artificial Intelligence
Magic sets and their application to data integration
ICDT'05 Proceedings of the 10th international conference on Database Theory
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Computing stable models for nonmonotonic existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |