 | 2009 |
|---|
| 9 |       | Franz Baader,
Meghyn Bienvenu,
Carsten Lutz,
Frank Wolter:
Query Answering over DL ABoxes: How to Pick the Relevant Symbols.
Description Logics 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 |
