Standalone Tactics Using OpenTheory

DOI10.1007/978-3-642-32347-8_28MaRDI QIDQ2914758zbMATH OpenOpenAlexFDO

Authors Ramana Kumar, Joe Hurd

Publication date 20 September 2012

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32347-8_28

Mathematics Subject Classification ID

Recommendations

• A Proof-Theoretic Approach to Tactics
• Tactics and parameters
• Using STIT theory to talk about strategies
• scientific article; zbMATH DE number 4085669
• A calculus of tactics and its operational semantics
• TacticToe: learning to reason with HOL4 tactics
• scientific article; zbMATH DE number 7646016
• Game models for open systems
• Game-theoretic models of battle action
• TacticToe: learning to prove with tactics

Cited in

(2)

• Programming and Proving with Classical Types
• TacticToe: learning to prove with tactics

Describes a project that uses

Uses Software

• OpenTheory
• LCF
• HOL Light
• ProofPower
• HOL
• TPTP
• Isabelle/HOL

This page was built for publication: Standalone Tactics Using OpenTheory

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