SOLAR
From MaRDI portal
SOLAR Q13632
Cited in
(25)- Abductive reasoning on molecular interaction maps
- Completing SBGN-AF networks by logic-based hypothesis finding
- scientific article; zbMATH DE number 2172623 (Why is no real title available?)
- The adapted solar wind system as cause for a momentum transfer to the Sun and its consequences for the orbital motions of Keplerian objects
- Translation of first order formulas into ground formulas via a completion theory
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
- 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
- PrASP
- SCIFF
- GenePath
- SBGN
- Discovering Rules by Meta-level Abduction
- A generic framework for implicate generation modulo theories
- 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
This page was built for software: SOLAR
