Add to ORKGAction description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification prob-lem. On the other hand, ADL is based on first-order logic, while C+ is only propositional; expressions with variables, which are frequently used when action domains are described in C+, are merely schemas describing finite sets of causal laws that are formed according to the same pattern. In this paper we propose a new approach to the semantics of action descriptions with variables that combines attractive features of ADL and C+
Some of the recent work on representing action makes use of high-level action languages. In this pap...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragm...
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses ...
Following the approaches and motivations given in recent works about action languages over descripti...
Abstract The action description languages B and C have significant common core. Nevertheless, some e...
Following the approaches and motivations given in recent works about action languages over descript...
Abstract. Recently, action language BC, which combines the attractive features of action languages B...
Abstract. We present a general method to formalize action domains with numericvalued fluents whose v...
Following the approaches given in recent works about action languages over description logics, we pr...
Abstract. General action languages, like e.g. the Situation Calculus, use full classical logic to re...
The game description language (GDL), which is the basis for the grand AI challenge of general game p...
This paper is motivated by the idea of interaction between two directions of research in knowledge r...
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal...
We present a generalmethod to formalize action domains with numeric valued fluents whose values are ...
Some of the recent work on representing action makes use of high-level action languages. In this pap...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragm...
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses ...
Following the approaches and motivations given in recent works about action languages over descripti...
Abstract The action description languages B and C have significant common core. Nevertheless, some e...
Following the approaches and motivations given in recent works about action languages over descript...
Abstract. Recently, action language BC, which combines the attractive features of action languages B...
Abstract. We present a general method to formalize action domains with numericvalued fluents whose v...
Following the approaches given in recent works about action languages over description logics, we pr...
Abstract. General action languages, like e.g. the Situation Calculus, use full classical logic to re...
The game description language (GDL), which is the basis for the grand AI challenge of general game p...
This paper is motivated by the idea of interaction between two directions of research in knowledge r...
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal...
We present a generalmethod to formalize action domains with numeric valued fluents whose values are ...
Some of the recent work on representing action makes use of high-level action languages. In this pap...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragm...