Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  System Description: H-PILoT (Version 1.9)

Ihlemann, C., & Sofronie-Stokkermans, V.(2010). System Description: H-PILoT (Version 1.9) (ATR61). SFB/TR 14 AVACS.

Item is

Dateien

einblenden: Dateien
ausblenden: Dateien
:
avacs_technical_report_061.pdf (Zusammenfassung), 676KB
Name:
avacs_technical_report_061.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Öffentlich
MIME-Typ / Prüfsumme:
application/pdf / [MD5]
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Ihlemann, Carsten1, Autor           
Sofronie-Stokkermans, Viorica1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: This system description provides an overview of H-PILoT (Hierarchical Proving by Instantiation in Local Theory extensions), a program for hierarchical reasoning in extensions of logical theories. H-PILoT reduces deduction problems in the theory extension to deduction problems in the base theory. Specialized provers and standard SMT solvers can be used for testing the satisfiability of the formulae obtained after the reduction. For a certain type of theory extension (namely for {\em local theory extensions}) this hierarchical reduction is sound and complete and -- if the formulae obtained this way belong to a fragment decidable in the base theory -- H-PILoT provides a decision procedure for testing satisfiability of ground formulae, and can also be used for model generation.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2011-02-072010
 Publikationsstatus: Erschienen
 Seiten: 45 p.
 Ort, Verlag, Ausgabe: SFB/TR 14 AVACS
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 536340
Anderer: Local-ID: C125716C0050FB51-5F53450808E13ED9C125778C00501AE6-Ihlemann-Sofronie-Stokkermans-atr61-2010
Reportnr.: ATR61
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: AVACS Technical Report
  Kurztitel : ATR
  Andere : SFB/TR 14 AVACS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 61 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 1860-9821