LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing.
David A. RosenbluethJulio C. PeraltaPublished in: ILPS (1994)
Keyphrases
- logic programs
- abductive reasoning
- logic programming
- stable models
- answer set programming
- answer sets
- fixpoint
- background knowledge
- stable model semantics
- bayesian networks
- term rewriting systems
- probabilistic inference
- belief networks
- computational properties
- autoepistemic logic
- expert systems
- prolog programs
- strong equivalence
- probabilistic reasoning
- inference mechanism
- data model
- artificial intelligence