Sciweavers

Share
ICLP
2004
Springer
9 years 8 months ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...
ICLP
2004
Springer
9 years 8 months ago
Termination of Logic Programs Using Various Dynamic Selection Rules
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
Jan-Georg Smaus
ICLP
2004
Springer
9 years 8 months ago
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
ICLP
2004
Springer
9 years 8 months ago
Non-viability Deductions in Arc-Consistency Computation
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
Camilo Rueda, Frank D. Valencia
ICLP
2004
Springer
9 years 8 months ago
Speculative Computations in Or-Parallel Tabled Logic Programs
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...
ICLP
2004
Springer
9 years 8 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
9 years 8 months ago
Protein Folding Simulation in CCP
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
Alessandro Dal Palù, Agostino Dovier, Feder...
ICLP
2004
Springer
9 years 8 months ago
On Programs with Linearly Ordered Multiple Preferences
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
ICLP
2004
Springer
9 years 8 months ago
MProlog: An Extension of Prolog for Modal Logic Programming
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
Linh Anh Nguyen
ICLP
2004
Springer
9 years 8 months ago
Termination by Abstraction
Nachum Dershowitz
books