Combined reasoning by automated cooperation
DOI10.1016/J.JAL.2007.06.003zbMATH Open1162.68646OpenAlexW2160922416WikidataQ62046884 ScholiaQ62046884MaRDI QIDQ946572FDOQ946572
Authors: Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber 
Publication date: 23 September 2008
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: http://www.cs.bham.ac.uk/~vxs/publications/2007/jal07.pdf
Recommendations
computer algebraautomated reasoningagent architecturesystem integrationhigher-order and first-order provingmodel generators
Cites Work
- The TPTP problem library. CNF release v1. 2. 1
- An introduction to mathematical logic and type theory: To truth through proof.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- \(\Omega\)-ANTS -- An open approach at combining interactive and automated theorem proving
- Comparing approaches to resolution based higher-order theorem proving
- Title not available (Why is that?)
- Resolution in type theory
- Term indexing
- Superposition with equivalence reasoning and delayed clause normal form transformation.
- Integrating computer algebra into proof planning
- Title not available (Why is that?)
- Automation for interactive proof: first prototype
- General models, descriptions, and choice in type theory
- A taxonomy of parallel strategies for deduction
- Title not available (Why is that?)
- Automated Reasoning
- Logic for Programming, Artificial Intelligence, and Reasoning
- Title not available (Why is that?)
Cited In (11)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
- THF0 – The Core of the TPTP Language for Higher-Order Logic
- The higher-order prover \textsc{Leo}-II
- Title not available (Why is that?)
- Cooperation of background reasoners in theory reasoning by residue sharing
- Automatic composition and reasoning in computational multi-agent systems
- A Global Workspace Framework for Combining Reasoning Systems
- Logic for Programming, Artificial Intelligence, and Reasoning
- \textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners
Uses Software
This page was built for publication: Combined reasoning by automated cooperation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q946572)
