Norbert Eisinger, Tim Geisler  Home/Search
Context Related
| pms.informatik.uni...MSFB19988.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...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The workshop on "Problem-solving Methodologies with Automated Deduction" at CADE-15 is based on a collection of real-world problems from six practical domains. This paper describes and analyses the problem-solving process for these problems using the PUHR tableau method and some of its refinements. The paper presents some general criteria to decide whether a problem domain may be amenable to the method. For instance, problems in the domain should be representable without a full treatment of... (Update)
Context of citations to this paper: More
.... application appears in [BEST98] Other successful applications of model generation include model based diagnosis [BFFN97] planning [EG98] and even the solution of previously open problems in finite algebra [FSB93] Among the various approaches for building models of first...
.... method described in the present paper would more conveniently generate both, a model with a single dog and a model with two distinct dogs [14]. In the above mentioned applications, the models seeked for must be finite. Program Verification. In program verification, one tries to...
Cited by: More
Positive Unit Hyperresolution Tableaux and Their Application to .. - Bry, Yahya (2000) (Correct)
Model Generation without Normal Forms and Applications in.. - Karsten Konrad (1998) (Correct)
An Abstract Machine for Model Generation with PHUR.. - von Drach, Geisler, .. (1998) (Correct)
Active bibliography (related documents): More All
0.2: SatAM - An Abstract Machine for Model generation with PUHR.. - von Drach, Sacher (1998) (Correct)
0.2: Positive Unit Hyper-Resolution Tableaux for Minimal Model.. - Bry, Yahya (1997) (Correct)
0.2: Logic implemented Functionally - Eisinger, Geisler, Panne (1997) (Correct)
Similar documents based on text: More All
0.7: Web Services for Teaching: A Case Study - Bry, Eisinger, Schneemayer (2003) (Correct)
0.6: Efficient Model Generation through Compilation - Schütz, Geisler (1996) (Correct)
0.6: Satchmo: Minimal Model Generation and Compilation.. - Brüggemann, Bry.. (1996) (Correct)
Related documents from co-citation: More All
5: SATCHMO: A Theorem Prover Implemented in Prolog (context) - Manthey, Bry - 1988
4: Efficient model generation through compilation (context) - Schutz, Geisler - 1996
3: A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm (context) - Fujita, Hasegawa - 1991
BibTeX entry: (Update)
Norbert Eisinger and Tim Geisler. Problem solving with model-generation approaches based on PUHR tableaux. Technical Report PMS-FB-1998-8, Institut fur Informatik, LMU Munchen, 1998. Submitted for publication. http://citeseer.ist.psu.edu/eisinger98problem.html More
@misc{ eisinger98problem,
author = "N. Eisinger and T. Geisler",
title = "Problem solving with model-generation approaches based on {PUHR} tableaux",
number = "PMS-FB-1998-8",
institution = "Institut f{\"u}r Informatik, LMU Munchen",
year = "1998",
url = "citeseer.ist.psu.edu/eisinger98problem.html" }
Citations (may not include all citations):278 From Discourse to Logic (context) - Kamp, Reyle - 1993
156 SATCHMO: A theorem prover implemented in Prolog (context) - Manthey, cois - 1988
145 Planning as satisfiability - Kautz, Selman - 1992
99 Logic and databases: A deductive approach (context) - Gallaire, Minker et al. - 1984
78 Controlled integration of the cut rule into connection table.. - Letz, Mayr et al. - 1994
28 Hyper tableaux --- the next generation - Baumgartner - 1998
24 and Ilkka Niemela (context) - Baumgartner, Furbach - 1996
15 Tableaux for diagnosis applications - Baumgartner, Frohlich et al. - 1997
13 Efficient model generation through compilation (context) - Schutz, Geisler - 1996
8 Satchmo: The compiling and functional variants - Geisler, Panne et al. - 1997
7 The tableau browser SNARKS (context) - Kettner, Eisinger - 1997
3 SIC: Satisfiability checking for integrity constraints (context) - cois, Norbert et al. - 1998
1 Variationen uber ein Thema: Suchstrategien und Datenstruktur.. - cois, Rainer - 1995
1 Model generation for applications -- a tableaux method compl.. (context) - cois, Sunna - 1997
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/publikationen/index.html): More
A Deduction Method Complete for Refutation and Finite.. - Bry, Torge (1998) (Correct)
A Confluence Test for Concurrent Constraint Programs - Abdennadher, Frühwirth.. (1995) (Correct)
Model Generation in Disjunctive Normal Databases - Yahya (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