Sciweavers

AAAI
1998
13 years 5 months ago
Generating Coordinated Natural Language and 3D Animations for Complex Spatial Explanations
Dynamically providing students with clear explanations of complex spatial concepts is critical for a broad range of knowledge-based educational and training systems. This calls fo...
Stuart G. Towns, Charles B. Callaway, James C. Les...
AAAI
1998
13 years 5 months ago
The Temporal Analysis of Chisholm's Paradox
Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...
Leendert W. N. van der Torre, Yao-Hua Tan
AAAI
1998
13 years 5 months ago
Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach
The problem of concurrent mapping and localization has received considerable attention in the mobile robotics community. Existing approachescan largely be grouped into two distinc...
Sebastian Thrun, Jens-Steffen Gutmann, Dieter Fox,...
AAAI
1998
13 years 5 months ago
Using Arc Weights to Improve Iterative Repair
One of the surprising findings from the study of CNF satisfiability in the 1990's has been the success of iterative repair techniques, and in particular of weighted iterative...
John Thornton, Abdul Sattar
AAAI
1998
13 years 5 months ago
Handling Inconsistency for Multi-Source Integration
The overwhelming amount of information sources now available through the internet has increased the need to combine or integrate the data retrieved from these sources in an intell...
Sheila Tejada, Craig A. Knoblock, Steven Minton
AAAI
1998
13 years 5 months ago
A Script-Based Approach to Modifying Knowledge-Based Systems
Modifyingknowledge-based systems is a complexactivity. One of its di culties is that several related portions of the system might have to be changed in order to maintain the coher...
Marcelo Tallis
AAAI
1998
13 years 5 months ago
A Fuzzy Description Logic
In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
Umberto Straccia
AAAI
1998
13 years 5 months ago
Abductive Planning with Sensing
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
Matthew Stone
AAAI
1998
13 years 5 months ago
Multimodal Reasoning for Automatic Model Construction
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
Reinhard Stolle, Elizabeth Bradley
AAAI
1998
13 years 5 months ago
Backtracking Algorithms for Disjunctions of Temporal Constraints
Weextendthe frameworkof simple temporalproblems studied originally by Dechter,MeiriandPearl to consider constraints of the formxl - yl < rl V... v xn yn <_rn, wherexl ... xn...
Kostas Stergiou, Manolis Koubarakis