The following pages link to SOLAR (Q13632):
Displaying 18 items.
- Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
- Completing causal networks by meta-level abduction (Q374193) (← links)
- The adapted solar wind system as cause for a momentum transfer to the Sun and its consequences for the orbital motions of Keplerian objects (Q684460) (← links)
- A generic framework for implicate generation modulo theories (Q1799090) (← links)
- Abduction with probabilistic logic programming under the distribution semantics (Q2076968) (← links)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)
- Meta-interpretive learning: application to grammatical inference (Q2251448) (← links)
- Multi-agent confidential abductive reasoning (Q2909157) (← links)
- Towards automated first-order abduction: the cut-based approach (Q2909831) (← links)
- Abduction of distributed theories through local interactions (Q2999224) (← links)
- Quantifier-Free Equational Logic and Prime Implicate Generation (Q3454103) (← links)
- Discovering Rules by Meta-level Abduction (Q3582683) (← links)
- Out-of-Core Implementations of Cholesky Factorization: Loop-Based versus Recursive Algorithms (Q3642833) (← links)
- (Q4680007) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187874) (← links)
- Abductive Reasoning on Molecular Interaction Maps (Q5214097) (← links)
- Mode-Directed Inverse Entailment for Full Clausal Theories (Q5452095) (← links)
- Completing SBGN-AF Networks by Logic-Based Hypothesis Finding (Q5500409) (← links)
