On the logic of theory change: iteration of expansion.
Eduardo FerméRenata WassermannPublished in: J. Braz. Comput. Soc. (2018)
Keyphrases
- formal theory
- set theory
- computer algebra
- theoretical framework
- boolean algebra
- proof theory
- probability theory
- logical framework
- general theory
- proof theoretic
- logic programming
- theoretical basis
- automated reasoning
- multi valued
- algebraic structure
- commonsense reasoning
- database
- default reasoning
- genetic algorithm
- information retrieval
- data sets