546 search results - page 21 / 110 » An Action Semantics for MML |
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
148
click to vote
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Ontology languages to represent ontologies exist in large numbers, and users who want to access or reuse ontologies can often be confronted with a language they do not know. Theref...
119
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
105
click to vote
ICTAI
2008
IEEE
15 years 8 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
117
click to vote
DLOG
1997
15 years 3 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...