Sciweavers

2836 search results - page 27 / 568
» Evaluating a Qualitative Reasoner
Sort
View
AAAI
1998
13 years 11 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
TABLEAUX
2009
Springer
14 years 4 months ago
A Tableau-Based System for Spatial Reasoning about Directional Relations
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
Davide Bresolin, Angelo Montanari, Pietro Sala, Gu...
AMAI
2000
Springer
14 years 2 months ago
Using topology for spatial reasoning
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
Boi Faltings
SEMWEB
2009
Springer
14 years 4 months ago
PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine
In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over s...
Markus Stocker, Evren Sirin
CI
2004
80views more  CI 2004»
13 years 10 months ago
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means of approaches to no...
James P. Delgrande, Torsten Schaub, Hans Tompits, ...