Abducing through negation as failure: stable models within the independent choice logic
- 1 July 2000
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 44 (1-3) , 5-35
- https://doi.org/10.1016/s0743-1066(99)00071-0
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- A theory of diagnosis from first principlesPublished by Elsevier ,2003
- The independent choice logic for modelling multiple agents under uncertaintyArtificial Intelligence, 1997
- A fixpoint characterization of abductive logic programsThe Journal of Logic Programming, 1996
- Probabilistic Horn abduction and Bayesian networksArtificial Intelligence, 1993
- Abductive Logic ProgrammingJournal of Logic and Computation, 1992
- On the Relationship Between Abduction and DeductionJournal of Logic and Computation, 1991
- Acyclic programsNew Generation Computing, 1991
- Three-valued nonmonotonic formalisms and semantics of logic programsArtificial Intelligence, 1991
- An incremental method for generating prime implicants/implicatesJournal of Symbolic Computation, 1990
- A logic-based calculus of eventsNew Generation Computing, 1986