Sciweavers

CL
2000
Springer
13 years 8 months ago
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
Webbases are database systems that enable creation of Web applications that allow end users to shop around for products and services at various Web sites without having to manually...
Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. ...
CL
2000
Springer
13 years 8 months ago
Representing Trees with Constraints
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
Ben Curry, Geraint A. Wiggins, Gillian Hayes
CL
2000
Springer
13 years 8 months ago
Linearly Bounded Reformulations of Conjunctive Databases
Rada Chirkova, Michael R. Genesereth
CL
2000
Springer
13 years 8 months ago
A Plan Fusion Algorithm for Multi-Agent Systems
We introduce an algorithm for cooperative planning in multi-agent systems. The algorithm enables the agents to combine (fuse) their plans in order to increase their joint profits...
Mathijs de Weerdt, André Bos, Hans Tonino, ...
CL
2000
Springer
13 years 8 months ago
Querying Inconsistent Databases: Algorithms and Implementation
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
Alexander Celle, Leopoldo E. Bertossi
CL
2000
Springer
13 years 8 months ago
Logic, Knowledge Representation, and Bayesian Decision Theory
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
David Poole
CL
2000
Springer
13 years 8 months ago
Perfect Model Checking via Unfold/Fold Transformations
Alberto Pettorossi, Maurizio Proietti
CL
2000
Springer
13 years 8 months ago
The Taming of the (X)OR
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
Peter Baumgartner, Fabio Massacci
CL
2000
Springer
13 years 8 months ago
Proof Planning with Multiple Strategies
The control in multi-strategy proof planning goes beyond the control in other automated theorem proving approaches: not only the selection of the inference and the facts for the n...
Erica Melis, Andreas Meier