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+.
Abstract. General action languages, like e.g. the Situation Calculus, use full classical logic to re...
The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a formalism for specifyi...
We live in a dynamic world, full of situations which can be manipulated by our actions. The ability ...
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses ...
Abstract. Recently, action language BC, which combines the attractive features of action languages B...
Abstract The action description languages B and C have significant common core. Nevertheless, some e...
This paper is motivated by the idea of interaction between two directions of research in knowledge r...
The game description language (GDL), which is the basis for the grand AI challenge of general game p...
Following the approaches and motivations given in recent works about action languages over descripti...
Abstract. We present a general method to formalize action domains with numericvalued fluents whose v...
Some of the recent work on representing action makes use of high-level action languages. In this pap...
Following the approaches and motivations given in recent works about action languages over descript...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
Following the approaches given in recent works about action languages over description logics, we pr...
We present a generalmethod to formalize action domains with numeric valued fluents whose values are ...
Abstract. General action languages, like e.g. the Situation Calculus, use full classical logic to re...
The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a formalism for specifyi...
We live in a dynamic world, full of situations which can be manipulated by our actions. The ability ...
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses ...
Abstract. Recently, action language BC, which combines the attractive features of action languages B...
Abstract The action description languages B and C have significant common core. Nevertheless, some e...
This paper is motivated by the idea of interaction between two directions of research in knowledge r...
The game description language (GDL), which is the basis for the grand AI challenge of general game p...
Following the approaches and motivations given in recent works about action languages over descripti...
Abstract. We present a general method to formalize action domains with numericvalued fluents whose v...
Some of the recent work on representing action makes use of high-level action languages. In this pap...
Following the approaches and motivations given in recent works about action languages over descript...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
Following the approaches given in recent works about action languages over description logics, we pr...
We present a generalmethod to formalize action domains with numeric valued fluents whose values are ...
Abstract. General action languages, like e.g. the Situation Calculus, use full classical logic to re...
The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a formalism for specifyi...
We live in a dynamic world, full of situations which can be manipulated by our actions. The ability ...