546 search results - page 19 / 110 » An Action Semantics for MML |
135
click to vote
LPNMR
1999
Springer
15 years 6 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
133
Voted
JELIA
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
125
Voted
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Executing plans by mobile robots, in real world environments, faces the challenging issues of uncertainty and environment dynamics. Thus, execution monitoring is needed to veri...
139
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
131
click to vote
ASP
2005
Springer
15 years 7 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...