SOLAR

swMATH888MaRDI QIDQ13632FDOQ13632

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1735932

Described by source

• SOLAR: An automated deduction system for consequence finding

Cited In (25)

• Title not available (Why is that?)
• The adapted solar wind system as cause for a momentum transfer to the Sun and its consequences for the orbital motions of Keplerian objects
• Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
• Translation of first order formulas into ground formulas via a completion theory
• Out-of-Core Implementations of Cholesky Factorization: Loop-Based versus Recursive Algorithms
• Towards automated first-order abduction: the cut-based approach
• SOLAR: a consequence finding system for advanced reasoning
• Multi-agent confidential abductive reasoning
• TopLog
• SOLAR
• ProGolem
• Discovering Rules by Meta-level Abduction
• PrASP
• SCIFF
• A generic framework for implicate generation modulo theories
• GenePath
• SBGN
• Abduction of distributed theories through local interactions
• Meta-interpretive learning: application to grammatical inference
• Abduction with probabilistic logic programming under the distribution semantics
• Quantifier-free equational logic and prime implicate generation
• Completing causal networks by meta-level abduction
• Mode-Directed Inverse Entailment for Full Clausal Theories
• Abductive reasoning on molecular interaction maps
• Completing SBGN-AF networks by logic-based hypothesis finding

This page was built for software: SOLAR