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: |  |