Publikationen

Seite 2 von 2.

1. Andreas Meier; Erica Melis

   Meta Reasoning in Multiple-Strategy Proof Planning

   In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). …

2. Jürgen Zimmer; Erica Melis

   Constraint Solving for Proof Planning

   In: Journal of Automated Reasoning (JAR), Vol. 33, No. 1, Pages 51-88, 7/2004.

3. Andreas Meier; Erica Melis

   Failure Reasoning in Multiple-Strategy Proof Planning

   In: M.P. Bonacina; T. Boy de la Tour (Hrsg.). Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint …

• 1
• 2