• search hit 14 of 126
Back to Result List

Heuristische Methoden zur Ermittlung einer optimalen Konfiguration von E-KRHyper

Heuristic methods to determine an optimal preconfiguration of E-KRHyper

  • Diese Arbeit behandelt verschiedene Ansätze zur Ermittlung einer Heuristik, welche zur Bestimmung einer optimalen Konfiguration des Theorembeweisers E-KRHyper eingesetzt werden soll. Es wird erläutert, wie der Beweiser durch eine angepasste Voreinstellung optimiert werden kann und die erarbeiteten Ansätze zur Ermittlung dieser Voreinstellung werden vorgestellt. Anhand der erzielten Ergebnisse werden die Ansätze anschließend bewertet und für eines der vorgestellten Verfahren wird außerdem eine Idee zur Implementierung vorgestellt.

Download full text files

  • Dokument_1.pdf
    deu

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Timo Eifler
URN:urn:nbn:de:kola-4596
Advisor:Ulrich Furbach, Björn Pelzer
Document Type:Study Thesis
Language:German
Date of completion:2010/11/12
Date of publication:2010/11/12
Publishing institution:Universität Koblenz-Landau, Campus Koblenz, Universitätsbibliothek
Granting institution:Universität Koblenz-Landau, Campus Koblenz, Fachbereich 4
Release Date:2010/11/12
Tag:E-KRHyper; Heuristiken; Prädikatenlogik
GND Keyword:Automatisches Beweisverfahren; Computational logic; Klausellogik; Tableau <Logik>
Institutes:Fachbereich 4 / Institut für Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):License LogoEs gilt das deutsche Urheberrecht: § 53 UrhG