Sciweavers

4595 search results - page 198 / 919
» Reasoning about Plans
Sort
View
LPNMR
2005
Springer
16 years 21 days ago
KMonitor - A Tool for Monitoring Plan Execution in Action Theories
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
Thomas Eiter, Michael Fink, Ján Senko
ICML
2000
IEEE
16 years 8 months ago
Learning Probabilistic Models for Decision-Theoretic Navigation of Mobile Robots
Decision-theoretic reasoning and planning algorithms are increasingly being used for mobile robot navigation, due to the signi cant uncertainty accompanying the robots' perce...
Daniel Nikovski, Illah R. Nourbakhsh
SAC
2002
ACM
15 years 6 months ago
Emergent situations in interactive storytelling
Interactive storytelling can either be based on explicit plot representations or on the autonomous behaviour of artificial characters. In such a character-based approach, the dyna...
Marc Cavazza, Fred Charles, Steven J. Mead
ECIS
2001
15 years 8 months ago
Why information systems plans do not get implemented: A case study of a UK hospital
The progression of implementation of an information systems strategy in a UK acute hospital is described. The case study describes the IS strategy, the conditions that led to its ...
Neil McBride, Ray Hackney
CADE
2000
Springer
15 years 11 months ago
Reasoning with Individuals for the Description Logic SHIQ
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
Ian Horrocks, Ulrike Sattler, Stephan Tobies