 | 2011 |
| 18 |  | Meghyn Bienvenu:
First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases.
Description Logics 2011 |
| 17 |  | Serge Abiteboul,
Meghyn Bienvenu,
Alban Galland,
Emilien Antoine:
A rule-based language for web data management.
PODS 2011: 293-304 |
| 16 |  | Meghyn Bienvenu,
Christian Fritz,
Sheila A. McIlraith:
Specifying and computing preferred plans.
Artif. Intell. 175(7-8): 1308-1345 (2011) |
| 2010 |
| 15 |  | Meghyn Bienvenu,
Hélène Fargier,
Pierre Marquis:
Knowledge Compilation in the Modal Logic S5.
AAAI 2010 |
| 14 |  | Serge Abiteboul,
Meghyn Bienvenu,
Alban Galland,
Marie-Christine Rousset:
Distributed Datalog Revisited.
Datalog 2010: 252-261 |
| 13 |  | Meghyn Bienvenu,
Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
Mantas Simkus:
Query Answering in the Description Logic S.
Description Logics 2010 |
| 12 |  | Meghyn Bienvenu,
Jérôme Lang,
Nic Wilson:
From Preference Logics to Preference Languages, and Back.
KR 2010 |
| 11 |  | Franz Baader,
Meghyn Bienvenu,
Carsten Lutz,
Frank Wolter:
Query and Predicate Emptiness in Description Logics.
KR 2010 |
| 2009 |
| 10 |  | Franz Baader,
Meghyn Bienvenu,
Carsten Lutz,
Frank Wolter:
Query Answering over DL ABoxes: How to Pick the Relevant Symbols.
Description Logics 2009 |
| 9 |  | Meghyn Bienvenu:
Prime Implicates and Prime Implicants: From Propositional to Modal Logic.
J. Artif. Intell. Res. (JAIR) 36: 71-128 (2009) |
| 2008 |
| 8 |  | Jorge A. Baier,
Christian Fritz,
Meghyn Bienvenu,
Sheila A. McIlraith:
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
AAAI 2008: 1509-1512 |
| 7 |  | Meghyn Bienvenu:
Prime Implicate Normal Form for ALC Concepts.
AAAI 2008: 412-417 |
| 6 |  | Meghyn Bienvenu:
Prime Implicate Normal Form for ALC Concepts.
Description Logics 2008 |
| 5 |  | Meghyn Bienvenu,
Andreas Herzig,
Guilin Qi:
Prime Implicate-based Belief Revision Operators.
ECAI 2008: 741-742 |
| 4 |  | Meghyn Bienvenu:
Complexity of Abduction in the EL Family of Lightweight Description Logics.
KR 2008: 220-230 |
| 2007 |
| 3 |  | Meghyn Bienvenu:
Prime Implicates and Prime Implicants in Modal Logic.
AAAI 2007: 379-384 |
| 2 |  | Meghyn Bienvenu:
Consequence Finding in ALC.
Description Logics 2007 |
| 2006 |
| 1 |  | Meghyn Bienvenu,
Christian Fritz,
Sheila A. McIlraith:
Planning with Qualitative Temporal Preferences.
KR 2006: 134-144 |