Abductive logic programming¶
KAKAS, A. C., KOWALSKI, R. A., & TONI, F. (1992). Abductive logic programming. Journal of Logic and Computation, 2(6), 719-770.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Abductive Reasoning
- Artificial intelligence and machine reasoning: Abductive logic programming, model-based diagnosis, and probabilistic causal inference all formalize the abductive pattern as a computational procedure — given observations and a background theory, find the minimal hypothesis set that best explains the observations, an agenda Kakas, Kowalski, and Toni (1992) consolidated for the logic-programming branch.
This sourceSurvey and consolidation of abductive logic programming as a computational formalization of abduction: given observations and a background theory, find a minimal hypothesis set that, together with the theory, entails the observations.
- Artificial intelligence and machine reasoning: Abductive logic programming, model-based diagnosis, and probabilistic causal inference all formalize the abductive pattern as a computational procedure — given observations and a background theory, find the minimal hypothesis set that best explains the observations, an agenda Kakas, Kowalski, and Toni (1992) consolidated for the logic-programming branch.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:e7c5e2d49a89 · see in the full table