SOLAR
From MaRDI portal
Software:13632
swMATH888MaRDI QIDQ13632FDOQ13632
Author name not available (Why is that?)
Cited In (18)
- 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
- Quantifier-Free Equational Logic and Prime Implicate Generation
- Multi-agent confidential abductive reasoning
- Discovering Rules by Meta-level Abduction
- Abductive Reasoning on Molecular Interaction Maps
- A generic framework for implicate generation modulo theories
- Completing SBGN-AF Networks by Logic-Based Hypothesis Finding
- Abduction of distributed theories through local interactions
- Meta-interpretive learning: application to grammatical inference
- Abduction with probabilistic logic programming under the distribution semantics
- Automated Reasoning with Analytic Tableaux and Related Methods
- Completing causal networks by meta-level abduction
- Mode-Directed Inverse Entailment for Full Clausal Theories
This page was built for software: SOLAR
