3446 search results - page 24 / 690 » A Reasoning Algorithm for pD* |
104
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
105
click to vote
AAAI
2006
15 years 2 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
118
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
117
click to vote
CADE
2011
Springer
14 years 1 months ago
2011
Springer
This paper describes two algorithms for the compression of propositional resolution proofs. The first algorithm, RecyclePivotsWithIntersection, performs partial regularization, re...
103
click to vote
ICPP
1998
IEEE
15 years 5 months ago
1998
IEEE
We address the problems of I/O scheduling and buffer management for general reference strings in a parallel I/O system. Using the standard parallel disk model withD disks and a sh...