swMATH888MaRDI QIDQ13632FDOQ13632
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1735932
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
