Abstract proof search

DOI10.1007/3-540-45579-5_3MaRDI QIDQ4536677zbMATH OpenFDO

Authors Tristan Cazenave

Publication date 28 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45579-5_3

zbMATH Keywords

capture gamecomputer Gosearchtheorem proving

Mathematics Subject Classification ID

2-person games (91A05) Experimental studies (91A90)

Recommendations

• scientific article; zbMATH DE number 4164177
• Proof theory in the abstract
• Abstractions from proofs
• scientific article; zbMATH DE number 3900184
• Proof net semantics of proof search computation
• scientific article; zbMATH DE number 1390270
• Notes towards a semantics for proof-search
• Abstract cyclic proofs
• Abstract proof checking: An example motivated by an incompleteness theorem

Cited in

(6)

• Global and local game tree search
• Using Artificial Boundaries in the Game of Go
• A New Proof-Number Calculation Technique for Proof-Number Search
• Lambda-search in game trees -- with application to Go
• Plausible move generation using move merit analysis with cut-off thresholds in Shogi
• scientific article; zbMATH DE number 2086967 (Why is no real title available?)

This page was built for publication: Abstract proof search

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