83 search results - page 1 / 17 » An Algebraic Prolog for Reasoning about Possible Worlds |
AAAI
2011
12 years 11 months ago
2011
ICLP
2004
Springer
14 years 4 months 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...
CLIMA
2006
14 years 7 days ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
JUCS
2010
13 years 9 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...