Sciweavers

400 search results - page 20 / 80
» Singularities in Qualitative Reasoning
Sort
View
IJCAI
1989
13 years 10 months ago
Reasoning about Kinematic Topology
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
Boi Faltings, Emmanuel Baechler, J. Primus
ECSQARU
2009
Springer
14 years 3 months ago
Merging Qualitative Constraints Networks Using Propositional Logic
In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into ...
Jean-François Condotta, Souhila Kaci, Pierr...
AAAI
2000
13 years 10 months ago
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, S...
AAAI
1990
13 years 10 months ago
QPC: A Compiler from Physical Models into Qualitative Differential Equations
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
James M. Crawford, Adam Farquhar, Benjamin Kuipers
AAAI
1998
13 years 10 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