Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  External Sources of Axioms in Automated Theorem Proving

Suda, M., Wischnewski, P., Lamotte-Schubert, M., & de Melo, G. (2009). External Sources of Axioms in Automated Theorem Proving. In KI 2009: Advances in Artificial Intelligence (pp. 281-288). Berlin: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1A56-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-3606-A
Genre: Konferenzbeitrag

Dateien

einblenden: Dateien
ausblenden: Dateien
:
ki2009.pdf (beliebiger Volltext), 168KB
 
Datei-Permalink:
-
Name:
ki2009.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Suda, Martin1, Autor           
Wischnewski, Patrick1, Autor           
Lamotte-Schubert, Manuel1, Autor           
de Melo, Gerard2, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as normal internal axioms. This work addresses the issues of accessing \emph{external sources of axioms} from a first-order logic ATP system, and presents an implemented ATP system that retrieves external axioms asynchronously, on demand.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 521096
Anderer: Local-ID: C125716C0050FB51-5F9C30C56EF6409EC12576BD002A2CED-SudaSutcliffeWischnewskiLamotteKI2009
DOI: 10.1007/978-3-642-04617-9_36
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 32nd Annual German Conference on AI
Veranstaltungsort: Paderborn, Germany
Start-/Enddatum: 2009-09-15 - 2009-09-18

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: KI 2009: Advances in Artificial Intelligence
  Untertitel : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 281 - 288 Identifikator: ISBN: 978-3-642-04616-2

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 5803 Artikelnummer: - Start- / Endseite: - Identifikator: -