Sciweavers

260 search results - page 18 / 52
» On the Logic Underlying Common Sense
Sort
View
IJCAI
2007
14 years 11 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
ICASSP
2011
IEEE
14 years 1 months ago
Detection diversity of multiantenna spectrum sensors
In the context of spectrum sensing, we investigate the performance of detectors equipped with M antennas (co-located or distributed) under Rayleigh fading, in terms of detection d...
Gonzalo Vazquez-Vilar, Roberto López-Valcar...
AI
2007
Springer
14 years 9 months ago
From here to human-level AI
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
John McCarthy
ICLP
2010
Springer
15 years 1 months ago
Dynamic Magic Sets for Disjunctive Datalog Programs
Abstract. Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negati...
Mario Alviano
LPAR
2000
Springer
15 years 1 months ago
On the Complexity of Theory Curbing
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
Thomas Eiter, Georg Gottlob