Model-Based Diagnosis with Constraint Logic Programs - CiteSeerX
Recommend Documents
the query ?- sumto(3;y) will produce the answer y = 6 but then go into an in - nite loop. ...... ha;G;ci for which there is an element in Table with key hatab;ctab ...... periodic. 3. 5. 0. 1. 2. 11. 4.0 perm. 11. 20. 0. 7. 4. 6. 2.6 triangle. 34. 47
tion triples, and we show how this method can be modi ed to yield a practical su cient ..... (invariant for P) Let f1;:::;ngbe the set of nodes of dg(P) and let be an ...
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo. Dipartimento di ... flevifran, levi, [email protected] ...... 13] M. Fitting and M. Ben-Jacob. Strati ed ...
Aug 25, 2006 - AI] 25 Aug 2006. Under consideration for publication in Theory and Practice of Logic Programming. 1. Logic programs with monotone abstract.
Mar 2, 2000 - The emergence of constraint logic programming (CLP) as de ned by J. Ja ar ... programming could be generalized to arbitrary mathematical structures ... The set of solutions of a composite model is the intersection of the ... ability of
lar, weight (or pseudo-boolean) constraints studied both by the logic programming and SAT communities. We show that key concepts of the theory of normal ...
Many applications of constraint logic programming (CLP) languages require not only ... A \call" is a contract to allow the holder the option to buy a stock at some ...
Oct 10, 2011 - Observation 1 Let P be a propositional normal logic program (i.e., without ..... of P. To simplify the presentation, we will talk about âan answer set ...
sults of (some types of) computations adequately generalize answer sets of programs with constraints. The notion of an answer set of a logic program [8] is the ...
In what follows, ha bi will denote any of the previously de ned interval forms. .... Correctness: every valid solution in the theoretical real numbers lies in the nar- ..... issue might be to replace the tableau Simplex of CLP(
developed the view of logic programming as a non-monotonic reasoning ...... In Proc. of the 3th Scandinavian Conference on AI, B. Mayoh, Ed. IOS Press,.
IOS Press. Executing Suspended Logic Programs. Robert A. Kowalski, Francesca Toni. Department of ... of a built-in, \black-box" constraint solver. Example 1.1.
Sep 19, 2016 - Programming (ASP) for dealing with linear-time modal operators. ... logic programs) that are close to usual logic programs but allowing a restricted use of ... present a method for computing the derivable facts by constructing a ...
27] Ehud Shapiro. Alternation and the computational complexity of logic programs. J. Logic programming,. 1:19{33, 1094. 28] Sabine Stifter. Geometry theorem ...
Dept. of Computer Science and Software Engineering, The University of Melbourne, Parkville. 3052, Australia ...... memo table entry for rev(X, Y) : true is updated appropriately, and an updated event is ..... strongly connected component Si if and on
Proceedings of the 1993 International Logic Programming Sym-. posium, MIT Press. Independence in Constraint Logic. Programs. M. Garc a de la Banda.
transformations introduced in [4,20] can be used to prove several kinds of pro- ... clause 4, is eliminated by applying the unfolding and folding rules and trans-.
xIBM Almaden Research Center K53-802, 650 Harry Rd., San Jose, CA ..... tion of types as tree automata let us answer many questions about types in addition ...
1 Introduction. The most popular semantics for normal logic programs is based on SLDNF- ...... Elsevier, Amsterdam and The MIT Press, Cambridge, 1990. 2.
current generic analysis engines for (constraint) logic programming languages ..... has a recursive call to the calling pattern app(X,Y,Z) : Y . How this program.
... Theory of Automated Timetabling (ICPTAT '95), pp. 177-184, Napier University,. Edinburgh, August-September 1995. [SS94]. Leon Sterling and Ehud Shapiro.
1977, Ferland and Fleurent, 1991), clustering (Schreuder, 1992), and ... availability for matches and stadia, like the Dutch âTop Leagueâ or the ...... Lenzerini for useful comments on an earlier draft of the paper. .... major league baseball clu
treat set operations as constraints allows partially speci ed sets to be managed in ... speci c instance of the general Constraint Logic Programming (CLP) scheme Jaf- .... which is a subset of Y will represent a solution to the above goal. ...... Eig
Our system is built on top of the Mathematica system [14], and we write the program in the language of Mathematica in a Mathematica notebook. Function.
Model-Based Diagnosis with Constraint Logic Programs - CiteSeerX
role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. ... and treatment (Friedrich et al. 1990), or by ...
Model-Based Diagnosis with Constraint Logic Programs Igor Mozetic Austrian Research Institute for Arti cial Intelligence Schottengasse 3, A-1010 Vienna, Austria Christian Holzbaur Austrian Research Institute for Arti cial Intelligence, and Department of Medical Cybernetics and Arti cial Intelligence University of Vienna Freyung 6, A-1010 Vienna, Austria Abstract Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP(B) and CLP(
