From paraconsistent three-valued logics to multiple-source epistemic logic.
Davide CiucciDidier DuboisPublished in: EUSFLAT Conf. (2013)
Keyphrases
- epistemic logic
- computational model
- multiple sources
- inference rules
- modal logic
- logical framework
- model checking
- domain adaptation
- nonmonotonic logics
- dynamic epistemic logic
- valued semantics
- data sources
- temporal logic
- first order logic
- formal semantics
- multi agent systems
- logic programming
- conditional probabilities
- databases
- theorem prover
- default logic
- multi faceted
- data sets
- target domain