Volume I: Recovery operators in logics of formal inconsistency.
Eduardo Alejandro BarrioWalter CarnielliPublished in: Log. J. IGPL (2020)
Keyphrases
- classical logic
- modal logic
- expressive power
- valued semantics
- valued logic
- formal specification
- australasian database conference
- building blocks
- formal model
- default logic
- neural network
- morphological operators
- recovery algorithm
- logic programs
- conditional logic
- volume rendering
- integrity checking
- proof theory
- edge detection
- relational databases
- genetic algorithm