80 search results - page 3 / 16 » Aspect-Oriented Action Semantics Descriptions |
82
Voted
AAAI
2008
15 years 1 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
162
click to vote
BALT
2010
14 years 6 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
KI
2007
Springer
15 years 5 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
100
click to vote
ASP
2005
Springer
15 years 5 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
96
Voted
DLOG
2008
15 years 21 days ago
2008
Following 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 ...