computer algebraautomated reasoningagent architecturesystem integrationhigher-order and first-order provingmodel generators
Recommendations
Cites work
- scientific article; zbMATH DE number 1614717 (Why is no real title available?)
- scientific article; zbMATH DE number 1809861 (Why is no real title available?)
- scientific article; zbMATH DE number 4162241 (Why is no real title available?)
- scientific article; zbMATH DE number 1538012 (Why is no real title available?)
- scientific article; zbMATH DE number 1765709 (Why is no real title available?)
- scientific article; zbMATH DE number 1882065 (Why is no real title available?)
- scientific article; zbMATH DE number 2090293 (Why is no real title available?)
- A taxonomy of parallel strategies for deduction
- An introduction to mathematical logic and type theory: To truth through proof.
- Automated Reasoning
- Automation for interactive proof: first prototype
- Comparing approaches to resolution based higher-order theorem proving
- General models, descriptions, and choice in type theory
- Integrating computer algebra into proof planning
- Logic for Programming, Artificial Intelligence, and Reasoning
- Resolution in type theory
- Superposition with equivalence reasoning and delayed clause normal form transformation.
- Term indexing
- The TPTP problem library. CNF release v1. 2. 1
- \(\Omega\)-ANTS -- An open approach at combining interactive and automated theorem proving
Cited in
(11)- THF0 – The Core of the TPTP Language for Higher-Order Logic
- The higher-order prover \textsc{Leo}-II
- \textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners
- Cooperation of background reasoners in theory reasoning by residue sharing
- scientific article; zbMATH DE number 2090056 (Why is no real title available?)
- Automatic composition and reasoning in computational multi-agent systems
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Logic for Programming, Artificial Intelligence, and Reasoning
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- A Global Workspace Framework for Combining Reasoning Systems
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
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)