Adaptation of declaratively represented methods in proof planning

DOI10.1023/A:1018980611571zbMATH Open0913.68191OpenAlexW1512107209MaRDI QIDQ1277343

Lassaad Cheikhrouhou, Xiaorong Huang, Manfred Kerber

Publication date: 2 February 1999

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018980611571

zbMATH Keywords

plan-based reasoning systems

Mathematics Subject Classification ID

Related Items (2)

Generating plans from proofs. The interpolation-based approach to query reformulation ⋮ Automatic Learning of Proof Methods in Proof Planning

Uses Software

• Nuprl

This page was built for publication: Adaptation of declaratively represented methods in proof planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1277343)