Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Obtaining Finite Local Theory Axiomatizations via Saturation

Horbach, M., & Sofronie-Stokkermans, V. (2013). Obtaining Finite Local Theory Axiomatizations via Saturation. In P. Fontaine, C. Ringeissen, & R. A. Schmidt (Eds.), Frontiers of Combining Systems (pp. 198-213). Berlin: Springer. doi:10.1007/978-3-642-40885-4_14.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-797C-8 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0023-C1EA-6
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

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

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this paper we present a method for obtaining local sets of clauses from possibly non-local ones. For this, we follow the work of Basin and Ganzinger and use saturation under a version of ordered resolution. In order to address the fact that saturation can generate infinite sets of clauses, we use constrained clauses and show that a link can be established between saturation and locality also for constrained clauses: This often allows us to give a finite representation of possibly infinite saturated sets of clauses.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20132013
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Sofronie-Stokkermans-frocos2013
Anderer: Local-ID: D9058E034BD60D8DC1257C69004AE012-Sofronie-Stokkermans-frocos2013
DOI: 10.1007/978-3-642-40885-4_14
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 9th International Symposium on Frontiers of Combining Systems
Veranstaltungsort: Nancy, France
Start-/Enddatum: 2013-09-18 - 2013-09-20

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Frontiers of Combining Systems
  Kurztitel : FroCoS 2013
  Untertitel : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Fontaine, Pascal1, Herausgeber
Ringeissen, Christophe1, Herausgeber
Schmidt, Renate A.1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 198 - 213 Identifikator: ISBN: 978-3-642-40884-7

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
  Kurztitel : LNAI
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 8152 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 0302-9743