SLDNFA: An Abductive Procedure for Normal Abductive Programs.
Marc DeneckerDanny De SchreyePublished in: JICSLP (1992)
Keyphrases
- abductive reasoning
- abductive logic programming
- plan recognition
- explanation based learning
- logic programming
- proof procedure
- constraint logic programming
- background knowledge
- iterative procedure
- logic programs
- domain knowledge
- probabilistic logic
- description logics
- operating system
- theorem proving
- information retrieval
- computer programs
- multiscale
- belief updating
- artificial intelligence