Add to ORKG!2th Workshop on Nonmonotonic Reasoning (NMR'08)Like any other logical theory, action theories in reasoning 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 theories that are modular
In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is...
abstract The autonomy of an artificial agent (e.g. a robot) will certainly depend on its ability to ...
The aim of this paper is three fold. First, we extend classical propositional dynamic logic as littl...
Like any other logical theory, action theories in reason-ing about actions may evolve, and thus need...
Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)Th...
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 ...
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...
AbstractWe give an algorithm for “before-after” reasoning about action. The algorithm decides satisf...
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...
© 2021 Timo EckhardtIn this thesis I investigate the idea of modeling epistemic updates as static mo...
In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is...
abstract The autonomy of an artificial agent (e.g. a robot) will certainly depend on its ability to ...
The aim of this paper is three fold. First, we extend classical propositional dynamic logic as littl...
Like any other logical theory, action theories in reason-ing about actions may evolve, and thus need...
Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)Th...
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 ...
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...
AbstractWe give an algorithm for “before-after” reasoning about action. The algorithm decides satisf...
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...
© 2021 Timo EckhardtIn this thesis I investigate the idea of modeling epistemic updates as static mo...
In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is...
abstract The autonomy of an artificial agent (e.g. a robot) will certainly depend on its ability to ...
The aim of this paper is three fold. First, we extend classical propositional dynamic logic as littl...