Keyphrases
- formal theory
- proof theory
- computer algebra
- theoretical framework
- set theory
- higher order
- deductive reasoning
- building blocks
- probability theory
- algebraic structure
- commonsense reasoning
- general theory
- finite model theory
- proof theoretic
- modular architecture
- nonmonotonic logics
- causal reasoning
- databases
- computational properties
- logical framework
- theoretical basis
- belief functions
- modal logic
- logic programming
- neural network