Works by Erica Melis

( view other items matching `Erica Melis`, view all matches )
Order:
  1.  22
    Proof planning with multiple strategies.Erica Melis, Andreas Meier & Jörg Siekmann - 2008 - Artificial Intelligence 172 (6-7):656-684.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  22
    Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  26
    Integrating constraint solving into proof planning.Erica Melis, Jürgen Zimmer & Tobias Müller - 2000 - In Dov M. Gabbay & Maarten de Rijke, Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 32--46.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations