On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
On the logic of causal explanation
Artificial Intelligence
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Propositional belief base update and minimal change
Artificial Intelligence
The complexity of belief update
Artificial Intelligence
On strongest neccessary and weakest sufficient conditions
Artificial Intelligence
Polynomial-Length Planning Spans the Polynomial Hierarchy
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Expressive Reasoning about Action in Nondeterministic Polynomial Time
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Reasoning about action in polynomial time
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
Reasoning about actions: non-deterministic effects, constraints, and qualification
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Metatheory of actions: Beyond consistency
Artificial Intelligence
Artificial Intelligence
Handling uncertainty and defeasibility in a possibilistic logic setting
International Journal of Approximate Reasoning
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Resolving Conflicts in Action Descriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Elaborating domain descriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Cohesion, coupling and the meta-theory of actions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Updating action domain descriptions
Artificial Intelligence
Foundations of instance level updates in expressive description logics
Artificial Intelligence
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regression under various assumptions. As it turned out, even the simplest one among them, one-step temporal projection with complete initial state, is intractable. We also briefly consider an extension of the framework to allow truly indeterministic actions, and find that this extension does not increase the complexity of any of the tasks considered here.