Département d'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…
• 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…