Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Unification in datastructure multisets
Journal of Automated Reasoning
A logic-based calculus of events
New Generation Computing
A deductive solution for plan generation
New Generation Computing
NP-completeness of the set unification and matching problems
Proc. of the 8th international conference on Automated deduction
Nonmonotonic logic and temporal projection
Artificial Intelligence
Theoretical Computer Science
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
Reasoning about action I: a possible worlds approach
Artificial Intelligence
Reasoning about action II: the qualification problem
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Chronological ignorance: experiments in nonmonotonic temporal reasoning
Artificial Intelligence
A tableaux-based theorem prover for a decidable subset of default logic
CADE-10 Proceedings of the tenth international conference on Automated deduction
AI Magazine
Frames in the space of situations (research note)
Artificial Intelligence
A new deductive approach to planning
New Generation Computing
What the lottery paradox tells us about default reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Artificial intelligence and mathematical theory of computation
Generating plans in linear logic I: actions as proofs
Theoretical Computer Science
Representing actions in logic programming and its applications in database updates
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
SLDNF-resolution with equality
Journal of Automated Reasoning
Two counterexamples related to Baker's approach to the frame problem
Artificial Intelligence
Representing actions in equational logic programming
Proceedings of the eleventh international conference on Logic programming
Alternative approaches to default logic
Artificial Intelligence
Motivated action theory: a formal theory of causal reasoning
Artificial Intelligence
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
An analysis of systematic approaches to reasoning about actions and change
AIMSA '94 Proceedings of the sixth international conference on Artificial intelligence : methodology, systems, applications: methodology, systems, applications
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Reasoning about actions: steady versus stabilizing state constraints
Artificial Intelligence
A Unification Algorithm for Associative-Commutative Functions
Journal of the ACM (JACM)
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Towards the Assessment of Logics for Concurrent Actions
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Complex Plans in the Fluent Calculus
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Plan Generation by Linear Proofs: On Semantics
GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence
An Abstract Machine for Reasoning about Situations, Actions, and Causality
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Defeasible specifications in action theories
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Epistemological problems of artificial intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Deriving properties of belief update from theories of action (II)
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Representing concurrent actions in extended logic programming
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Formal theories of action (preliminary report)
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
On specificity in default logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Linear Logic for Non-Linear Storytelling
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |