SOLAR: An automated deduction system for consequence finding

DOI10.3233/AIC-2010-0465MaRDI QIDQ3568229zbMATH OpenOpenAlexFDO

Authors Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray

Publication date 17 June 2010

Published in AI Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/aic-2010-0465

zbMATH Keywords

connection tableauxconsequence findingfirst-order logicSOL calculustheorem proving

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• SOLAR: a consequence finding system for advanced reasoning
• Mechanizing Mathematical Reasoning
• Automated deduction by theory resolution
• Abstract solvers for Dung's argumentation frameworks
• Publication:4934146
• Publication:4941841
• scientific article; zbMATH DE number 3972241
• A Decidable Constraint Diagram Reasoning System
• Pandora: A Reasoning Toolbox using Natural Deduction Style

Cited in

(10)

• SOLAR
• Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
• Meta-interpretive learning: application to grammatical inference
• Translation of first order formulas into ground formulas via a completion theory
• Quantifier-free equational logic and prime implicate generation
• Completing causal networks by meta-level abduction
• scientific article; zbMATH DE number 67457 (Why is no real title available?)
• SOLAR: a consequence finding system for advanced reasoning
• Abductive reasoning on molecular interaction maps
• Common abductive explanations in first order logic

Describes a project that uses

Uses Software

• TPTP
• E Theorem Prover

This page was built for publication: SOLAR: An automated deduction system for consequence finding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3568229)