Semantical considerations on nonmonotonic logic
Artificial Intelligence
General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Autoepistemic stable closures and contradiction resolution
Proceedings of the 2nd international workshop on Non-monotonic reasoning
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extended stable semantics for normal and disjunctive programs
Logic programming
Logic programs with classical negation
Logic programming
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
General logical databases and programs: default logic semantics and stratification
Information and Computation
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
Hard problems for simple default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Three-valued nonmonotonic formalisms and semantics of logic programs
Artificial Intelligence - Special issue on knowledge representation
Making default inferences from logic programs
Computational Intelligence
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Derivation procedures for extended stable models
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
A skeptical theory of inheritance in nonmonotonic semantic networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
Hi-index | 0.00 |