Sciweavers

400 search results - page 20 / 80
» Singularities in Qualitative Reasoning
Sort
View
IJCAI
1989
15 years 6 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
16 years 4 days 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
15 years 7 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
15 years 6 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
15 years 7 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