Sciweavers

372 search results - page 25 / 75
» Qualitative Reasoning
Sort
View
AIA
2006
13 years 9 months ago
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Benno Stein, Oliver Niggemann, Theodor Lettmann
FLAIRS
2008
13 years 10 months ago
A Framework for Merging Qualitative Constraints Networks
Spatial or temporal reasoning is an important task for many applications in Artificial Intelligence, such as space scheduling, navigation of robots, etc. Several qualitative appro...
Jean-François Condotta, Souhila Kaci, Nicol...
IJCAI
2007
13 years 9 months ago
A Size-Based Qualitative Approach to the Representation of Spatial Granularity
A local spatial context is an area currently under consideration in a spatial reasoning process. The boundary between this area and the surrounding space together with the spatial...
Hedda Rahel Schmidtke, Woontack Woo
IJCAI
1997
13 years 9 months ago
Qualitative Relevance and Independence: A Roadmap
Several qualitative notions of epistemic dependence between propositions are studied. They are closely related to the ordinal notion of conditional possibility. What this paper pr...
Didier Dubois, Luis Fariñas del Cerro, Andr...
MICAI
2005
Springer
14 years 1 months ago
Knowledge and Reasoning Supported by Cognitive Maps
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
Alejandro Peña Ayala, Humberto Sossa, Agust...