Please use this identifier to cite or link to this item:
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
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat
satchmo.pdf224.32 kBAdobe PDFView/Open
Show full item record

Page view(s)

Last Week
Last month
checked on Jun 27, 2024


checked on Jun 27, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.