Interpreting Abduction in CLP.
Marco GavanelliEvelina LammaPaola MelloMichela MilanoPaolo TorroniPublished in: APPIA-GULP-PRODE (2003)
Keyphrases
- constraint logic programming
- logic programming
- background knowledge
- causal networks
- logic programming language
- abductive reasoning
- constraint programming
- logic programs
- answer set programming
- knowledge representation
- constraint solving
- constraint propagation
- belief revision
- predicate invention
- inductive logic programming
- data sets
- objective function
- social networks
- artificial intelligence
- information retrieval
- neural network