Playing logic programs with the Alpha-Beta algorithm

DOI10.1007/3-540-44404-1_14MaRDI QIDQ2767019zbMATH OpenFDO

Authors Jean-Vincent Loddo, Roberto Di Cosmo

Publication date 22 July 2002

Published in Lecture Notes in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44404-1_14

Mathematics Subject Classification ID

Logic programming (68N17) Applications of game theory (91A80)

Recommendations

• scientific article; zbMATH DE number 1944388
• Multi-player alpha-beta pruning
• A generalization of alpha-beta and SSS^* search procedures
• scientific article; zbMATH DE number 4162309
• An analysis of the full alpha-beta pruning algorithm

Cited in

(5)

• A game semantics for disjunctive logic programming
• Logic programming agents playing games
• Exploiting Game Theory for Analysing Justifications
• Towards Ludics Programming: Interactive Proof Search
• Proof and refutation in MALL as a game

This page was built for publication: Playing logic programs with the Alpha-Beta algorithm

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