Propositional knowledge base revision and minimal change
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
Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Prioritized Transitions for Updates
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Planning as Satisfiability in Nondeterministic Domains
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A Logic for Planning under Partial Observability
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Possibilistic Planning: Representation and Complexity
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Some Results on the Complexity of Planning with Incomplete Information
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Constructing conditional plans by a theorem-prover
Journal of Artificial Intelligence Research
A qualitative model for temporal reasoning with incomplete information
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Probabilistic propositional planning: representations and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Towards Efficient Belief Update for Planning-Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Propositional independence: formula-variable independence and forgetting
Journal of Artificial Intelligence Research
Counting complexity of propositional abduction
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Journal of Artificial Intelligence Research
Counting complexity of propositional abduction
Journal of Computer and System Sciences
The Complexity of Handling Minimal Solutions in Logic-Based Abduction
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
A general framework for update-based planning is presented. We first give a new family of dependence-based update operators that are wellsuited to the representation of simple actions and we identify the complexity of query entailment from an updated belief base. Then we introduce conditional, nondeterministic and concurrent updates so as to encode the corresponding types of action effects. Plan verification and existence are expressed in this update-based framework.