SOLAR: a consequence finding system for advanced reasoning

DOI10.1007/B12030MaRDI QIDQ5187874zbMATH OpenOpenAlexFDO

Authors Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue

Publication date 9 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12030

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• SOLAR: An automated deduction system for consequence finding
• Linear resolution for consequence finding
• An automata view to goal-directed methods
• scientific article; zbMATH DE number 67457
• scientific article; zbMATH DE number 1931664

Cited in

(7)

• Linear resolution for consequence finding
• SOLAR: An automated deduction system for consequence finding
• Consequence finding algorithms
• Abduction with probabilistic logic programming under the distribution semantics
• Completing causal networks by meta-level abduction
• Mode-Directed Inverse Entailment for Full Clausal Theories
• scientific article; zbMATH DE number 67457 (Why is no real title available?)

Describes a project that uses

Uses Software

• ModLeanTAP
• leanTAP
• OTTER
• SOLAR

This page was built for publication: SOLAR: a consequence finding system for advanced reasoning

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