de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Hochschulschrift

Finding Resolution K-Transformations

MPG-Autoren
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45508

Smaus,  Jan - Georg
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)
Es sind keine frei zugänglichen Volltexte verfügbar
Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Smaus, J.-.-G. (1996). Finding Resolution K-Transformations. Master Thesis, Universität des Saarlandes, Saarbrücken.


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-0014-ABDA-1
Zusammenfassung
Resolution K-transformations are faithful transformations between clause sets. The aim is to remove clauses like symmetry or transitivity from a clause set in order to eliminate or reduce recursivity and circularity in this clause set. It is shown that for any set of such clauses, a resolution K-transformation is likely to exist and can be found automatically. Clause K-transformations may be applied to reduce the search space of theorem provers, to eliminate loops in logic programs, to parallelise closure computation algorithms and to support automated complexity analysis.