Laboratoire Bordelais de Recherche en Informatique

Forschungsprojekte

• Using ASP(Q) to Handle Inconsistent Prioritized Data We explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsiste…
• Using ASP(Q) to Handle Inconsistent Prioritized Data We explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsiste…
• Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics We present a novel approach to querying classically inconsistent description logic (DL) knowledge bases by ad…
• Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics International audience
• A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases Repair-based semantics have been extensively studied as a means of obtaining meaningful answers to queries po…
• Inconsistency Handling in DatalogMTL In this paper, we explore the issue of inconsistency handling in DatalogMTL, an extension of Datalog with met…
• Shapley Revisited: Tractable Responsibility Measures for Query Answers The Shapley value, originating from cooperative game theory, has been employed to define responsibility measu…