Sciweavers

1634 search results - page 47 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
AMSTERDAM
2009
15 years 1 months ago
There Is Something about Might
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
Paul Dekker
AMAI
2004
Springer
15 years 9 months ago
Deductive Algorithmic Knowledge
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
Riccardo Pucella
OWLED
2008
15 years 5 months ago
GO faster ChEBI with Reasonable Biochemistry
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created...
Duncan Hull
COSIT
2011
Springer
322views GIS» more  COSIT 2011»
14 years 3 months ago
CLP(QS): A Declarative Spatial Reasoning Framework
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
Mehul Bhatt, Jae Hee Lee, Carl Schultz
ICIP
2005
IEEE
15 years 9 months ago
Atlas-based segmentation of medical images locally constrained by level sets
Atlas-based segmentation has become a standard paradigm for exploiting prior knowledge in medical image segmentation. In this paper, we propose a method to exploit both the robust...
Valerie Duay, Nawal Houhou, Jean-Philippe Thiran