Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Commonsense reasoning in Prolog
CSC '87 Proceedings of the 15th annual conference on Computer Science
Compiling Problem Specifications into SAT
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
NP-SPEC: An Executable Specification Language for Solving All Problems in NP
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Logic for Modeling Decision Making with Dynamic Preferences
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Second-Order Quantifier Elimination in Modal Contexts
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Algorithms for Computing X-Minimal Models
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
The Complexity of Minimal Satisfiability Problems
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
A Second-Order Theorem Prover Applied to Circumscription
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Logical Deduction Using the Local Computation Framework
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Paraconsistent Circumscription: First-Order Case
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Semantic forgetting in answer set programming
Artificial Intelligence
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Computing Argumentation Semantics in Answer Set Programming
New Frontiers in Artificial Intelligence
Compiling problem specifications into SAT
Artificial Intelligence - Special volume on reformulation
An incremental algorithm for generating all minimal models
Artificial Intelligence
Loop formulas for circumscription
Artificial Intelligence
Modularity aspects of disjunctive stable models
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
On the complexity of theory curbing
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
A linear transformation from prioritized circumscription to disjunctive logic programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Circumscriptive theories: a logic-based framework for knowledge representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Circumscriptive theories: a logic-based framework for knowledge representation
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Combining circumscription and modal logic
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Computing minimal models by positively minimal disjuncts
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Embracing causality in specifying the indeterminate effects of actions
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Artificial Intelligence
Stable models and circumscription
Artificial Intelligence
McCarthy variations in a modal key
Artificial Intelligence
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
CIRC2DLP: translating circumscription into disjunctive logic programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Quantifier elimination in elementary set theory
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
The Complexity of Reasoning for Fragments of Autoepistemic Logic
ACM Transactions on Computational Logic (TOCL)
Formalizing retrieval goal change by prioritized abduction
IHI'04 Proceedings of the 2004 international conference on Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages
Translating first-order theories into logic programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Correct Reasoning
Deriving Invariants and Constraints from Action Theories
Fundamenta Informaticae
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
A Reduction Result for Circumscribed Semi-Horn Formulas
Fundamenta Informaticae
Approximate Inference In Default Logic And Circumscription
Fundamenta Informaticae
Circumscription And Generic Mathematical Objects
Fundamenta Informaticae
First-order expressibility and boundedness of disjunctive logic programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Strong equivalence of qualitative optimization problems
Journal of Artificial Intelligence Research
On the tractability of minimal model computation for some CNF theories
Artificial Intelligence
Hi-index | 0.00 |
We describe an intelligent tutor for LISP programming. This tutor achieves a set of pedagogical objectives derived from Anderson's (1983) learning theory provide instruction in the context of problem-solving, have the student generate as much of each ...