| |
| 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 | EE | Meghyn Bienvenu: Prime Implicate Normal Form for ALC Concepts. Description Logics 2008 |
| 5 | EE | 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 | EE | 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 | |
| 1 | Jorge A. Baier | [8] |
| 2 | Christian Fritz | [1] [8] |
| 3 | Andreas Herzig | [5] |
| 4 | Sheila A. McIlraith | [1] [8] |
| 5 | Guilin Qi | [5] |