Slim Abdennadher, Heribert Schütz  Home/Search
Context Related
| pms.informatik.uni...paperalp97.ps.gz pms.informatik.uni...MSFB19974.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pms.informatik.unimuench...paper (more) From: pms.informatik.unimuench...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we present the CPUHR-tableau calculus, a modification of positive unit hyperresolution (PUHR) tableaux, the calculus underlying the model generator and theorem prover Satchmo. In addition to clausal first order logic, CPUHR tableaux are able to manipulate existentially quantified variables without Skolemization, and they allow to attach constraints to these variables as in constraint logic programming. This extension allows to handle efficiently many realistic model generation... (Update)
Context of citations to this paper: More
.... logic databases and to evaluate them in a bottom up manner in the style of Satchmo [9] formalized as PUHR tableaux [4] and CPUHR tableaux [2]. The paper is organized as follows: In Section 2 we define the CHR language and calculus and SLD resolution as far as we need them...
...arithmetic comparisons can be handled by SIC only in a restricted way. A more general treatment requires the integration of constraint logic programming techniques into our method as in [1, 2]. As has been said in the introduction, we do not assume the usual strict...
Cited by: More
Constraint Exploration and Envelope of Simulation Trajectories - Teran, Edmonds, Wallis (Correct)
Positive Unit Hyperresolution Tableaux and Their Application to .. - Bry, Yahya (2000) (Correct)
Positive Unit Hyper-Resolution Tableaux for Minimal Model.. - Bry, Yahya (1997) (Correct)
Active bibliography (related documents): More All
0.3: A Deduction Method Complete for Refutation and Finite.. - Bry, Torge (1998) (Correct)
0.2: SIC: Satisfiability Checking for Integrity Constraints - Bry, Eisinger, Schütz, Torge (1998) (Correct)
0.2: Solving Database Satisfiability Problems - Bry, Torge (1999) (Correct)
Similar documents based on text: More All
0.4: Satchmo -- The Compiling and Functional Variants - Tim Geisler, Sven Panne.. (1997) (Correct)
0.4: CHR: A Flexible Query Language - Abdennadher, Schütz (Correct)
0.4: Efficient Model Generation through Compilation - Heribert Schütz, Tim Geisler (1997) (Correct)
Related documents from co-citation: More All
7: Special Issue on Automated Reasoning with Analytic Tableaux (context) - Wrightson - 1994
6: Minimal Model Generation with Positive Unit Hyperresolution Tableaux - Bry, Yahya - 1996
6: SATCHMO: A Theorem Prover Implemented in Prolog (context) - Manthey, Bry - 1988
BibTeX entry: (Update)
S. Abdennadher and H. Schutz. Model Generation with Existentially Quantified Variables and Constraints. Proc. 6th Int. Conf. on Algebraic and Logic Programming, Springer LNCS 1298, 1997. http://citeseer.ist.psu.edu/abdennadher97model.html More
@inproceedings{ abdennadher97model,
author = "Slim Abdennadher and Heribert Schutz",
title = "Model Generation with Existentially Quantified Variables and Constraints",
booktitle = "{ALP}/{HOA}",
pages = "256-272",
year = "1997",
url = "citeseer.ist.psu.edu/abdennadher97model.html" }
Citations (may not include all citations):235 First-Order Logic (context) - Smullyan - 1968
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
156 SATCHMO: A theorem prover implemented in Prolog (context) - Manthey, Bry - 1988
50 Constraint handling rules - Fruhwirth - 1995
49 Minimal model generation with positive unit hyper-resolution.. - Bry, Yahya - 1996
24 Checking consistency of database constraints: A logical basi.. (context) - Bry, Manthey - 1986
19 Model minimization -- an alternative to circumscription (context) - Hintikka - 1988
19 Extending resolution for model construction (context) - Caferra, Zabel - 1991
15 Model building and interactive theory discovery - Caferra, Peltier - 1995
13 Efficient model generation through compilation (context) - Schutz, Geisler - 1996
9 the duality of abduction and model generation in a framework.. - Denecker, De Schreye - 1994
8 Proving finite satisfiability of deductive databases (context) - Bry - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.pms.informatik.uni-muenchen.de/mitarbeiter/abdennad/paper.html): More
The Munich Rent Advisor - Frühwirth, Abdennadher (Correct)
CHR: A Flexible Query Language - Abdennadher, Schütz (Correct)
Rent Estimates with Constraints over the Internet - .. - Frühwirth.. (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC