Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment

Kazakov, Y. (2004). A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. In Logics in artificial intelligence: 9th European Conference, JELIA 2004 (pp. 372-384). Berlin, Germany: Springer.

Item is

Dateien

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

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Kazakov, Yevgeny1, Autor           
Alferes, José Júlio, Herausgeber
Leite, João, Herausgeber
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We consider a two-variable guarded fragment with number restrictions for binary relations and give a satisfiability preserving transformation of formulas in this fragment to the three-variable guarded fragment. The translation can be computed in polynomial time and produces a formula that is linear in the size of the initial formula even for the binary coding of number restrictions. This allows one to reduce reasoning problems for many description logics to the satisfiability problem for the guarded fragment.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2005-02-022004
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 231997
Anderer: Local-ID: C1256104005ECAFC-3E0C7DF49217CA81C1256EE20080EDAC-Kazakov04GF2N
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Lisbon, Portugal
Start-/Enddatum: 2004-09-27

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Logics in artificial intelligence : 9th European Conference, JELIA 2004
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 372 - 384 Identifikator: ISBN: 3-540-23242-7

Quelle 2

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