Keyphrases
- theory revision
- action theories
- higher order
- propositional theories
- first order logic
- situation calculus
- classical first order logic
- logic programs
- knowledge base
- theoretical framework
- stochastic dominance
- qualitative decision theory
- principal component analysis
- data sets
- horn clauses
- cognitive psychology
- domain knowledge
- legal knowledge
- machine learning
- universally quantified
- neural network