Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  On uniform word problems involving bridging operators on distributive lattices

Sofronie-Stokkermans, V. (2002). On uniform word problems involving bridging operators on distributive lattices. In Automated Reasoning with Analytic and Related Methods: International Conference, TABLEAUX 2002 (pp. 235-250). Berlin, Germany: Springer.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Sofronie-Stokkermans, Viorica1, 2, Autor           
Egly, Uwe, Herausgeber
Fermüller, Christian, Herausgeber
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this paper we analyze some fragments of the universal theory of distributive lattices with many sorted bridging operators. Our interest in such algebras is motivated by the fact that, in description logics, numerical features are often expressed by using maps that associate numerical values to sets (more generally, to lattice elements). We first establish a link between satisfiability of universal sentences with respect to algebraic models and satisfiability with respect to certain classes of relational structures. We use these results for giving a method for translation to clause form of universal sentences, and provide some decidability results based on the use of resolution or hyperresolution. Links between hyperresolution and tableau methods are also discussed, and a tableau procedure for checking satisfiability of formulae of type $t_1 \leq t_2$ is obtained by using a hyperresolution calculus.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2003-09-012002
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 202161
Anderer: Local-ID: C1256104005ECAFC-F9FCEB2398137AE1C1256BBC00400F22-Sofronie-Stokkermans-tableaux-2002
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: TABLEAUX 2002
Veranstaltungsort: Copenhagen, Denmark
Start-/Enddatum: 2002-07-30 - 2002-08-01

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 235 - 250 Identifikator: ISBN: 3-540-43929-3

Quelle 2

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