Combined reasoning by automated cooperation
From MaRDI portal
Publication:946572
DOI10.1016/j.jal.2007.06.003zbMath1162.68646OpenAlexW2160922416WikidataQ62046884 ScholiaQ62046884MaRDI QIDQ946572
Manfred Kerber, Christoph Benzmüller, Mateja Jamnik, Volker Sorge
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
automated reasoningcomputer algebraagent architecturesystem integrationhigher-order and first-order provingmodel generators
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
The higher-order prover \textsc{Leo}-II ⋮ LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 ⋮ 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 ⋮ Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Uses Software
Cites Work
- Integrating computer algebra into proof planning
- The TPTP problem library. CNF release v1. 2. 1
- A taxonomy of parallel strategies for deduction
- An introduction to mathematical logic and type theory: To truth through proof.
- Comparing approaches to resolution based higher-order theorem proving
- Automation for interactive proof: first prototype
- Automated Reasoning
- Resolution in type theory
- General models, descriptions, and choice in type theory
- Logic for Programming, Artificial Intelligence, and Reasoning
- Automated Deduction – CADE-19
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Combined reasoning by automated cooperation
