Keyphrases
- logic programming
- logic programs
- causal networks
- linear constraints
- background knowledge
- probabilistic reasoning
- artificial intelligence
- bayesian networks
- database systems
- linear programming
- information extraction
- first order logic
- belief revision
- image sequences
- reasoning tasks
- penalty function
- constraint solving
- high level