Abductive, Inductive and Deductive Reasoning about Resources.
Peter W. O'HearnPublished in: CSL (2010)
Keyphrases
- explanation based learning
- functional programs
- deductive reasoning
- inductive learning
- logic programming
- limited resources
- causal reasoning
- resource management
- neural network
- resource constraints
- web resources
- logic programs
- resource requirements
- computing environments
- concept learning
- inductive logic programming
- background knowledge
- object oriented
- spatial reasoning
- qualitative reasoning
- website
- constraint logic programming
- machine learning
- database
- abductive logic programming