English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Sofronie-Stokkermans, Viorica1, 2, Author           
Egly, Uwe, Editor
Fermüller, Christian, Editor
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: 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

show
hide
Language(s): eng - English
 Dates: 2003-09-012002
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 202161
Other: Local-ID: C1256104005ECAFC-F9FCEB2398137AE1C1256BBC00400F22-Sofronie-Stokkermans-tableaux-2002
 Degree: -

Event

show
hide
Title: TABLEAUX 2002
Place of Event: Copenhagen, Denmark
Start-/End Date: 2002-07-30 - 2002-08-01

Legal Case

show

Project information

show

Source 1

show
hide
Title: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 235 - 250 Identifier: ISBN: 3-540-43929-3

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 2381 Sequence Number: - Start / End Page: - Identifier: -