A taxonomy of parallel strategies for deduction

DOI10.1023/A:1018932114059zbMath1001.68124OpenAlexW1494270745MaRDI QIDQ1601867

Maria Paola Bonacina

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018932114059

zbMATH Keywords

parallel-search methodstaxonomy of parallel theorem-proving methods

Mathematics Subject Classification ID

Related Items (6)

LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners ⋮ Cooperating Proof Attempts ⋮ Octopus: combining learning and parallel search ⋮ Combined reasoning by automated cooperation ⋮ PEER-TO-PEER REASONING FOR INTERLINKED ONTOLOGIES ⋮ \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)

Uses Software

• SETHEO
• PSATO
• SATO
• Nuprl
• PARTHEO
• Roo
• HOT

This page was built for publication: A taxonomy of parallel strategies for deduction