73 search results - page 3 / 15 » Representing and Reasoning about Motion in a Two-Dimensional... |
ECSQARU
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
ICLP
1991
Springer
13 years 11 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
ICLP
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
COSIT
2011
Springer
12 years 7 months ago
2011
Springer
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...
AAAI
2000
13 years 8 months ago
2000
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...