Sciweavers

820 search results - page 13 / 164
» Action Languages
Sort
View
KR
2010
Springer
14 years 11 months ago
Integrating Action Calculi and AgentSpeak: Closing the Gap
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...
Michael Thielscher
POPL
2009
ACM
15 years 4 months ago
Language constructs for transactional memory
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
Tim Harris
ECAI
2006
Springer
15 years 1 months ago
Resolving Conflicts in Action Descriptions
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...
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
FLAIRS
1998
14 years 11 months ago
Action-Centered Communication with an Embedded Agent
In mostcases natural languageprocessingis seen as an isolated cognitive capability of a system. Languageunderstandingis often restricted to the mappingof natural languageexpressio...
Jan-Torsten Milde, Kornelia Peters, Simone Strippg...
CICLING
2003
Springer
15 years 2 months ago
Imperatives as Obligatory and Permitted Actions
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 ...
Miguel Pérez-Ramírez, Chris Fox