Sciweavers

820 search results - page 24 / 164
» Action Languages
Sort
View
JAIR
2012
211views Hardware» more  JAIR 2012»
11 years 10 months ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Joohyung Lee, Ravi Palla
LREC
2008
151views Education» more  LREC 2008»
13 years 9 months ago
Production in a Multimodal Corpus: how Speakers Communicate Complex Actions
We describe a new multimodal corpus currently under development. The corpus consists of videos of task-oriented dialogues that are annotated for speaker's verbal requests and...
Carlos Gómez Gallo, T. Florian Jaeger, Jame...
FOIS
2006
13 years 9 months ago
Towards an ontology of agency and action From STIT to OntoSTIT+
Abstract. A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for the...
Nicolas Troquard, Robert Trypuz, Laure Vieu
AAAI
1997
13 years 9 months ago
Planning with Concurrent Interacting Actions
In order to generate plans for agents with multiple actuators or agent teams, we must be able to represent and plan using concurrent actions with interacting effects. Historically...
Craig Boutilier, Ronen I. Brafman
AI
2011
Springer
13 years 3 months ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...