Add to ORKGInternational audienceThis work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulates concerning this sore spot, which establishes the notion of a modular domain description. We point out the problems that arise when modularity is violated and propose algorithms to overcome them
ISSN 1361-6161International audienceIn this paper we give the notion of modularity of a theory and a...
“Toy worlds ” involving actions, such as the blocks world and the Missionaries and Cannibals puzzle,...
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a...
This work is about the metatheory of actions, and here we address the problem of what a good domain ...
We address the problem of what a good domain description for reasoning about actions should look lik...
Abstract In this work we address the problem of what a good domain description for reasoning about a...
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...
International audienceTraditionally, consistency is the only criterion for the quality of a theory i...
AbstractTraditionally, consistency is the only criterion for the quality of a theory in logic-based ...
In this work we address the problem of elaborating domain descriptions (alias action theories), in p...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
International audienceIn this work we address the problem of elaborating domain descriptions (alias ...
International audienceIn this work we recast some design principles commonly used in software engine...
International audienceIn this paper we address the principle of modularity of ontologies in descript...
ISSN 1361-6161International audienceIn this paper we give the notion of modularity of a theory and a...
“Toy worlds ” involving actions, such as the blocks world and the Missionaries and Cannibals puzzle,...
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a...
This work is about the metatheory of actions, and here we address the problem of what a good domain ...
We address the problem of what a good domain description for reasoning about actions should look lik...
Abstract In this work we address the problem of what a good domain description for reasoning about a...
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...
International audienceTraditionally, consistency is the only criterion for the quality of a theory i...
AbstractTraditionally, consistency is the only criterion for the quality of a theory in logic-based ...
In this work we address the problem of elaborating domain descriptions (alias action theories), in p...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
International audienceIn this work we address the problem of elaborating domain descriptions (alias ...
International audienceIn this work we recast some design principles commonly used in software engine...
International audienceIn this paper we address the principle of modularity of ontologies in descript...
ISSN 1361-6161International audienceIn this paper we give the notion of modularity of a theory and a...
“Toy worlds ” involving actions, such as the blocks world and the Missionaries and Cannibals puzzle,...
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a...