Sciweavers

981 search results - page 30 / 197
» Negation in Spatial Reasoning
Sort
View
CEC
2007
IEEE
14 years 1 months ago
Emergence of feedback in artificial gene regulatory networks
In this paper, we present a model for simulating the evolution of development together with a method for the analysis of emergence of negative feedback inside the regulatory networ...
Till Steiner, Lisa Schramm, Yaochu Jin, Bernhard S...
AAAI
1990
13 years 11 months ago
The Complexity of Closed World Reasoning and Circumscription
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
Marco Cadoli, Maurizio Lenzerini
AAAI
1998
13 years 11 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
AAAI
2000
13 years 11 months ago
GeoRep: A Flexible Tool for Spatial Representation of Line Drawings
A central problem in qualitative reasoning is understanding how people reason about space and shape with diagrams. We claim that progress in diagrammatic reasoning is being slowed...
Ronald W. Ferguson, Kenneth D. Forbus
CI
1998
79views more  CI 1998»
13 years 9 months ago
Representing and Reasoning about Motion in a Two-Dimensional World
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...
Wanlin Pang, André Trudel