Integration of Abductive Reasoning and Constraint Optimization in SCIFF.
Marco GavanelliMarco AlbertiEvelina LammaPublished in: ICLP (2009)
Keyphrases
- abductive reasoning
- constraint optimization
- abductive logic programming
- logic programs
- inference rules
- constraint satisfaction
- constraint programming
- nonmonotonic reasoning
- reasoning tasks
- plan recognition
- probabilistic logic
- constraint networks
- natural language understanding
- constraint satisfaction problems
- proof procedure
- natural language
- automated reasoning
- machine learning
- branch and bound search
- general purpose