Sciweavers

EPIA
1999
Springer
14 years 3 months ago
YapOr: an Or-Parallel Prolog System Based on Environment Copying
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...
EPIA
1999
Springer
14 years 3 months ago
A New Approach to Base Revision
We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those wh...
Paolo Di Giusto, Guido Governatori
EPIA
1999
Springer
14 years 3 months ago
Analytic Modal Revision for Multi-agent Systems
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
Paolo Di Giusto, Guido Governatori
EPIA
1999
Springer
14 years 3 months ago
Combinatorial Optimization in OPL Studio
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
Pascal Van Hentenryck, Laurent Michel, Philippe La...
EPIA
1999
Springer
14 years 3 months ago
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
Miguel Ferrand, João Alexandre Leite, Am&ia...
EPIA
1999
Springer
14 years 3 months ago
On the Accuracy and Running Time of GSAT
Deborah East, Miroslaw Truszczynski
EPIA
1999
Springer
14 years 3 months ago
Critical Agents Supporting Interactive Theorem Proving
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
Christoph Benzmüller, Volker Sorge