Sciweavers

12 search results - page 1 / 3
» iclp 2004
Sort
View
ICLP
2004
Springer
13 years 10 months ago
Termination by Abstraction
Nachum Dershowitz
ICLP
2004
Springer
13 years 10 months ago
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
ICLP
2004
Springer
13 years 10 months ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...
ICLP
2004
Springer
13 years 10 months ago
Multi-agent Coordination as Distributed Logic Programming
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
David Robertson
ICLP
2004
Springer
13 years 10 months ago
Possible Worlds Semantics for Probabilistic Logic Programs
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...
Alex Dekhtyar, Michael I. Dekhtyar