Add to ORKGInternational audienceIn this work we recast some design principles commonly used in software engineering and adapt them to the design and analysis of domain descriptions in reasoning about actions. We show how the informal requirements of cohesion and coupling can be turned into consistency tests of several different arrangements of modules. This gives us new criteria for domain description evaluation and clarifies the link between software and knowledge engineering in what concerns the meta-theory of actions
We describe a system for specifying the effects of actions. Unlike those commonly used in AI plannin...
AbstractIncorporating new information into a knowledge base is an important problem which has been w...
TR-COSC 04/94In this paper we show how the action semantics framework can be used to describe a par...
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...
This work is about the metatheory of actions, and here we address the problem of what a good domain ...
International audienceThis work is about the metatheory of actions, and here we address the problem ...
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 ...
Abstract In this work we address the problem of what a good domain description for reasoning about a...
This research examines the structural complexity of software, and specifically the potential interac...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
The expanding use of information systems in industrial and commercial settings has increased the nee...
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a...
There exists no generally accepted theory in software engineering, and at the same time a scientific...
We describe a system for specifying the effects of actions. Unlike those commonly used in AI plannin...
AbstractIncorporating new information into a knowledge base is an important problem which has been w...
TR-COSC 04/94In this paper we show how the action semantics framework can be used to describe a par...
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...
This work is about the metatheory of actions, and here we address the problem of what a good domain ...
International audienceThis work is about the metatheory of actions, and here we address the problem ...
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 ...
Abstract In this work we address the problem of what a good domain description for reasoning about a...
This research examines the structural complexity of software, and specifically the potential interac...
Traditionally, consistency is the only criterion for the quality of a theory in logic-based approach...
The expanding use of information systems in industrial and commercial settings has increased the nee...
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a...
There exists no generally accepted theory in software engineering, and at the same time a scientific...
We describe a system for specifying the effects of actions. Unlike those commonly used in AI plannin...
AbstractIncorporating new information into a knowledge base is an important problem which has been w...
TR-COSC 04/94In this paper we show how the action semantics framework can be used to describe a par...