Keyphrases
- logic programming
- abductive reasoning
- probabilistic logic
- causal reasoning
- modal logic
- machine intelligence
- classical logic
- nonmonotonic reasoning
- proof procedure
- case study
- multi valued
- constraint logic programming
- propositional dynamic logic
- information systems
- abductive logic programming
- predicate logic
- defeasible logic
- computational properties
- logical framework
- automated reasoning
- plan recognition
- deductive databases
- image processing