Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Journal of Logic, Language and Information
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
Journal of Logic, Language and Information
A three-valued characterization for strong equivalence of logic programs
Eighteenth national conference on Artificial intelligence
Agent-oriented epistemic reasoning: subjective conditions of knowledge and belief
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Nondeterministic action and dominance: foundations for planning and qualitative decision
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
Meta Level Reasoning and Default Reasoning
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
Comparison of semantics of disjunctive logic programs based on model-equivalent reduction
Journal of Computer Science and Technology
Preference-based semantics for nonmonotonic logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
From answer set logic programming to circumscription via logic of GK
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On bimodal nonmonotonic logics and their unimodal and nonmodal equivalents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Annals of Mathematics and Artificial Intelligence
Stable models and circumscription
Artificial Intelligence
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
Nested epistemic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
First-order stable model semantics and first-order loop formulas
Journal of Artificial Intelligence Research
From turner's logic of universal causation to the logic of GK
Correct Reasoning
A Default Logic Based On Epistemic States
Fundamenta Informaticae
Journal of Artificial Intelligence Research
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Hi-index | 0.00 |