Add to ORKGLike any other logical theory, action theories in reason-ing about actions may evolve, and thus need revision methods to adequately accommodate new information about the behavior of actions. Here we give a semantics that complies with minimal change for revising action theories stated in a version of PDL. We give algorithms that are proven correct w.r.t. the semantics for those the-ories that are modular
We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's sy...
Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)Th...
This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. ...
Like any other logical theory, action theories in reason-ing about actions may evolve, and thus need...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
Logical theories in reasoning about actions may also evolve, and knowledge engineers need revision t...
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a...
Domain descriptions in reasoning about actions are logical theories and as such they may also evolve...
This work is about changing action domain descriptions in dynamic logic. We here revisit the semanti...
In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is...
International audienceTraditionally, consistency is the only criterion for the quality of a theory i...
The aim of this paper is three fold. First, we extend classical propositional dynamic logic as littl...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
AbstractTraditionally, consistency is the only criterion for the quality of a theory in logic-based ...
We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's sy...
Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)Th...
This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. ...
Like any other logical theory, action theories in reason-ing about actions may evolve, and thus need...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
Logical theories in reasoning about actions may also evolve, and knowledge engineers need revision t...
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a...
Domain descriptions in reasoning about actions are logical theories and as such they may also evolve...
This work is about changing action domain descriptions in dynamic logic. We here revisit the semanti...
In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is...
International audienceTraditionally, consistency is the only criterion for the quality of a theory i...
The aim of this paper is three fold. First, we extend classical propositional dynamic logic as littl...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
AbstractTraditionally, consistency is the only criterion for the quality of a theory in logic-based ...
We investigate the relationship amongst some solutions to the frame problem. We encode Pednault's sy...
Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)Th...
This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. ...