Modular Semantics for Theories: An Approach to Paraconsistent Reasoning.
Holger AndreasPublished in: J. Philos. Log. (2018)
Keyphrases
- logic programming
- derivation rules
- formal semantics
- database systems
- neural network
- modular neural networks
- theoretical framework
- semantic information
- artificial intelligence
- conceptual graphs
- cognitive psychology
- speech acts
- nonmonotonic logics
- model theoretic
- action theories
- modal operators
- logical formulas
- data sets