Add to ORKGFollowing the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ALC
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal...
AbstractIn a series of papers, Mosses and Watt define action semantics, a metalanguage for high leve...
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 descripti...
Following the approaches given in recent works about action languages over description logics, we pr...
In this work we present our contributions to the study of semantics foundations for constructive des...
Recently, there has been a growing interest in constructive reinterpretations of description logics....
Recently, there has been a growing interest in constructive reinterpretations of description logics...
General action languages, like e.g. the Situation Calculus, use full classical logic to represent kn...
One of the main concerns of constructive semantics is to provide a computational interpretation for ...
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 ...
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal...
AbstractIn a series of papers, Mosses and Watt define action semantics, a metalanguage for high leve...
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 descripti...
Following the approaches given in recent works about action languages over description logics, we pr...
In this work we present our contributions to the study of semantics foundations for constructive des...
Recently, there has been a growing interest in constructive reinterpretations of description logics....
Recently, there has been a growing interest in constructive reinterpretations of description logics...
General action languages, like e.g. the Situation Calculus, use full classical logic to represent kn...
One of the main concerns of constructive semantics is to provide a computational interpretation for ...
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 ...
Formal descriptions of semantics have so far failed to match the acceptance and popularity of formal...
AbstractIn a series of papers, Mosses and Watt define action semantics, a metalanguage for high leve...
Abstract The action description languages B and C have significant common core. Nevertheless, some e...