Search the dblp DataBase

Publications of Author

1. Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith
   Planning with Qualitative Temporal Preferences. [Citation Graph (0, 0)][DBLP]
   KR, 2006, pp:134-144 [Conf]
   
2. Meghyn Bienvenu
   Prime Implicates and Prime Implicants in Modal Logic. [Citation Graph (0, 0)][DBLP]
   AAAI, 2007, pp:379-384 [Conf]
   
3. 
   Prime Implicate Normal Form for ALC Concepts. [Citation Graph (, )][DBLP]
   
   
4. 
   Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. [Citation Graph (, )][DBLP]
   
   
5. 
   Knowledge Compilation in the Modal Logic S5. [Citation Graph (, )][DBLP]
   
   
6. 
   Consequence Finding in ALC. [Citation Graph (, )][DBLP]
   
   
7. 
   Prime Implicate Normal Form for ALC Concepts. [Citation Graph (, )][DBLP]
   
   
8. 
   Query Answering over DL ABoxes: How to Pick the Relevant Symbols. [Citation Graph (, )][DBLP]
   
   
9. 
   Prime Implicate-based Belief Revision Operators. [Citation Graph (, )][DBLP]
   
   
10. 
    Complexity of Abduction in the EL Family of Lightweight Description Logics. [Citation Graph (, )][DBLP]
    
    
11. 
    Query and Predicate Emptiness in Description Logics. [Citation Graph (, )][DBLP]
    
    
12. 
    From Preference Logics to Preference Languages, and Back. [Citation Graph (, )][DBLP]