Sciweavers

718 search results - page 27 / 144
» On Defaults in Action Theories
Sort
View
NMR
2004
Springer
14 years 23 days ago
Combining goal generation and planning in an argumentation framework
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
Joris Hulstijn, Leendert W. N. van der Torre
LPNMR
1999
Springer
13 years 11 months ago
Representing Transition Systems by Logic Programs
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...
Vladimir Lifschitz, Hudson Turner
AAAI
2008
13 years 8 months ago
Reasoning about Large Taxonomies of Actions
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
Yilan Gu, Mikhail Soutchanski
FOIS
2006
13 years 8 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
AI
2011
Springer
13 years 2 months ago
Non-Markovian control in the Situation Calculus
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
Alfredo Gabaldon