From algebra to logic: there and back again - the story of a hierarchy.
Pascal WeilPublished in: CoRR (2014)
Keyphrases
- boolean algebra
- set theory
- relation algebra
- classical logic
- algebraic structure
- algebraic expressions
- logic programming
- data model
- modal logic
- computational properties
- algebraic geometry
- predicate logic
- nonmonotonic logics
- logical framework
- relational algebra
- hierarchical structure
- query language
- neural network
- epistemic logic
- normal form
- story generation
- artificial intelligence