On the logic of theory change iteration of KM-update.
Eduardo FerméSara GonçalvesPublished in: Int. J. Approx. Reason. (2023)
Keyphrases
- formal theory
- commonsense reasoning
- knowledge management
- computer algebra
- theoretical basis
- proof theory
- logic programming
- theoretical framework
- deductive reasoning
- information theory
- probability theory
- set theory
- classical logic
- formal logic
- boolean algebra
- general theory
- database
- relational databases
- information technology
- data structure