Please use this identifier to cite or link to this item:
http://hdl.handle.net/20.500.11889/2102
Title: | Satchmo: minimal model generation and compilation (system description) | Authors: | Yahya, Adnan Bruggemann, Thomas Eisinger , Norbert Panne, Sven Torge, Sunna Bry, Francois Geisler, Tim Schutz, Heribert |
Issue Date: | Jun-1998 | Publisher: | ResearchGate | Abstract: | Satchmo is an automated theorem prover for rst-order predicate logic implemented in Prolog. Its reasoning paradigm, model generation, is more powerful than the traditional refutation paradigm. It enabled the development of a novel and e cient technique to compute minimal Herbrand models, which prevents the generation of non-minimal models that would later have to be ltered out in a post-processing step. It also encouraged the development of several advanced e ciency enhancing techniques that result in a highly competitive performance on standard benchmark problems | URI: | http://hdl.handle.net/20.500.11889/2102 |
Appears in Collections: | Fulltext Publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
satchmo.pdf | 224.32 kB | Adobe PDF | View/Open |
Page view(s)
146
Last Week
0
0
Last month
3
3
checked on Mar 25, 2024
Download(s)
38
checked on Mar 25, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.