FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)

Authors: Meghyn Bienvenu and Camille Bourgaux

Paper Information

Title:Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)
Authors:Meghyn Bienvenu and Camille Bourgaux
Proceedings:DL Proceedings
Editors: Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier
Keywords:inconsistency-tolerant semantics, prioritized knowledge bases, SAT-based algorithms
Pages:1
Talk:Aug 08 14:00 (Session 97C: Query Answering & Extensions)
Paper: