Sciweavers

12 search results - page 1 / 3
» iclp 2004
Sort
View
ICLP
2004
Springer
15 years 2 months ago
Termination by Abstraction
Nachum Dershowitz
ICLP
2004
Springer
15 years 2 months ago
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
ICLP
2004
Springer
15 years 2 months ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...
ICLP
2004
Springer
15 years 2 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
15 years 2 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