Sciweavers

163 search results - page 31 / 33
» Agents That Reason and Negotiate by Arguing
Sort
View
AAAI
2006
13 years 10 months ago
Tractable Classes of Metric Temporal Problems with Domain Rules
In this paper, we will deal with some important kinds of metric temporal reasoning problems that arise in many real-life situations. In particular, events X0, X1 . . . XN are mode...
T. K. Satish Kumar
AAAI
1998
13 years 10 months ago
The Interactive Museum Tour-Guide Robot
This paper describes the software architecture of an autonomous tour-guide/tutor robot. This robot was recently deployed in the "Deutsches Museum Bonn," were it guided h...
Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dir...
AAAI
1990
13 years 9 months ago
Practical Temporal Projection
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
Steve Hanks
SYNTHESE
2008
99views more  SYNTHESE 2008»
13 years 8 months ago
Public and private communication are different: results on relative expressivity
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
Bryan Renne
KI
2002
Springer
13 years 8 months ago
Description Logics for the Semantic Web
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
Franz Baader, Ian Horrocks, Ulrike Sattler