Publikation

Hierarchical Proof Planning Using Abstractions

Dieter Hutter

In: D. Dankel II (Hrsg.). Proceedings 10th Annual Florida AI Research Symposium, FLAIRS'97, Track: Using AI methods to control automated deduction. International FLAIRS Conference (FLAIRS) Daytona Beach Seiten 181-185 M. Fishman 1997.

http://www.dfki.de/vse/papers/hutter97a.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence