Sciweavers

2214 search results - page 22 / 443
» Complexity of Reasoning
Sort
View
68
Voted
ICTAI
1996
IEEE
15 years 1 months ago
Order in Space: A General Formalism for Spatial Reasoning
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
Baher A. El-Geresy, Alia I. Abdelmoty
UAI
2003
14 years 11 months ago
A Logic for Reasoning about Evidence
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
Joseph Y. Halpern, Riccardo Pucella
CADE
2000
Springer
15 years 1 months ago
An Infrastructure for Intertheory Reasoning
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
William M. Farmer
77
Voted
HIS
2003
14 years 11 months ago
Fast Qualitative Reasoning about Categories in Conceptual Spaces
Abstract. Categorization is a central task in cognitive science and artificial intelligence. Efficient reasoning about categories is becoming of great importance as intelligent a...
Ickjai Lee
80
Voted
CSB
2004
IEEE
112views Bioinformatics» more  CSB 2004»
15 years 1 months ago
Reasoning about Molecular Similarity and Properties
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
Rahul Singh