Sciweavers

718 search results - page 31 / 144
» On Defaults in Action Theories
Sort
View
ATAL
2005
Springer
14 years 2 months ago
Semantics of declarative goals in agent programming
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch....
OTM
2009
Springer
14 years 3 months ago
Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...
Rania Khalaf, Dieter Roller, Frank Leymann
FORTE
1997
13 years 9 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
AAAI
2008
13 years 10 months ago
Game Theory Pragmatics: A Challenge for AI
Game theory has been playing an increasingly visible role in computer science in general and AI in particular, most notably in the area of multiagent systems. I briefly list the a...
Yoav Shoham
JOCN
2010
97views more  JOCN 2010»
13 years 3 months ago
Neural Dissociations between Action Verb Understanding and Motor Imagery
According to embodied theories of language, people understand a verb like throw, at least in part, by mentally simulating throwing. This implicit simulation is often assumed to be...
Roel M. Willems, Ivan Toni, Peter Hagoort, Daniel ...