MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Knowledge-Based Proof Planning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 31 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Main Research Contributions  
  • by Erica Melis
  • … proving. The main issues here are 1. automated knowledge-based proof planning and 2. analogy-driven proof…
  • Add To MetaCart
  • ΩMEGA: Computer supported mathematics  
  • by Jörg Siekmann, Christoph Benzmüller, Dedicated To Martin Davis — 2004 — IN: PROCEEDINGS OF THE 27TH GERMAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (KI 2004)
  • … Knowledge−based Proof Planning MATHWEB External Proof Systems Transformation LEO COSIE MULTI ATPs & CASs…
  • Cited by 3 (3 self) – Add To MetaCart
  • Proof Planning with Multiple Strategies II  
  • by Erica Melis, Andreas Meier — 1999 — Proceedings of Workshop on Stategies in Automated Deduction (STRATEGIES'99
  • … complicated theorems automatically. Therefore, in knowledge-based proof planning a general-purpose planning…
  • Cited by 4 (3 self) – Add To MetaCart
  • Proof Planning with Multiple Strategies II  
  • by Erica Melis And, Erica Melis, Andreas Meier — 1999 — Proceedings of Workshop on Stategies in Automated Deduction (STRATEGIES'99
  • … complicated theorems automatically. Therefore, in knowledge-based proof planning a general-purpose planning…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB