The TPTP World – Infrastructure for Automated Reasoning
From MaRDI portal
Publication:3066085
DOI10.1007/978-3-642-17511-4_1zbMath1253.68292OpenAlexW1889418786MaRDI QIDQ3066085
Publication date: 7 January 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_1
Related Items
Improving stateful premise selection with transformers, The higher-order prover \textsc{Leo}-II, JEFL: joint embedding of formal proof libraries, Structure Formation in Large Theories, Hammer for Coq: automation for dependent type theory, The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0, Combining and automating classical and non-classical logics in classical higher-order logics, The CADE-26 automated theorem proving system competition – CASC-26, Theorem Proving in Large Formal Mathematics as an Emerging AI Field, System Description: GAPT 2.0, Predicate Elimination for Preprocessing in First-Order Theorem Proving, GKC: a reasoning system for large knowledge bases, TPTP, Theorem proving as constraint solving with coherent logic, Inductive theorem proving based on tree grammars
Uses Software
