Sciweavers

718 search results - page 26 / 144
» On Defaults in Action Theories
Sort
View
AAI
2000
118views more  AAI 2000»
13 years 7 months ago
Vivid Agents: Theory, Architecture, and Applications
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
Michael Schroeder, Gerd Wagner
CLIMA
2011
12 years 7 months ago
A Dynamic Logic of Institutional Actions
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
Andreas Herzig, Emiliano Lorini, Nicolas Troquard
AMAI
2002
Springer
13 years 7 months ago
Probabilistic Argumentation Systems and Abduction
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...
Jürg Kohlas, Dritan Berzati, Rolf Haenni
AGENTS
2001
Springer
13 years 12 months ago
Learning structured reactive navigation plans from executing MDP navigation policies
Autonomous robots, such as robot office couriers, need navigation routines that support flexible task execution and effective action planning. This paper describes XFRMLEARN, a s...
Michael Beetz, Thorsten Belker
KR
2004
Springer
14 years 23 days ago
A Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
Alexander Bochman