Please use this identifier to cite or link to this item:
|Title:||Satchmo: minimal model generation and compilation (system description)||Authors:||Yahya, Adnan
Eisinger , Norbert
|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|
Show full item record
checked on Feb 25, 2020
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.