Automatic Learning of Proof Methods in Proof Planning

Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/11.6.647
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Planning and Patching Proof

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Proof-Theoretic Methods in Nonlinear Analysis

2019English

Proof Step Analysis for Proof Tutoring - A Learning Approach to Granularity

Teaching Mathematics and Computer Science
2008English

Proof Planning for First-Order Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

Learning Proof Heuristics by Adapting Parameters

1995English

Automatic Parallelization and Optimization of Programs by Proof Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Automatic Microscopic Detection of Mycobacteria in Sputum: A Proof-Of-Concept

Scientific Reports
Multidisciplinary
2018English

Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy