Keyphrases
- logical theories
- situation calculus
- belief revision
- inductive logic programming
- propositional logic
- context free grammars
- uncertain databases
- conceptual structures
- natural language
- natural language processing
- reasoning about actions
- artificial intelligence
- uncertain data
- data mining
- frequent itemset mining
- text mining
- natural deduction