820 search results - page 13 / 164 » Action Languages |
KR
2010
Springer
13 years 10 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
POPL
2009
ACM
14 years 3 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
ECAI
2006
Springer
14 years 5 hour ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
FLAIRS
1998
13 years 9 months ago
1998
In mostcases natural languageprocessingis seen as an isolated cognitive capability of a system. Languageunderstandingis often restricted to the mappingof natural languageexpressio...
CICLING
2003
Springer
14 years 1 months ago
2003
Springer
We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions ...