Order:
  1.  22
    Proof planning with multiple strategies.Erica Melis, Andreas Meier & Jörg Siekmann - 2008 - Artificial Intelligence 172 (6-7):656-684.
  2.  22
    Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.
  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