New Formalized Results on the Meta-Theory of a Paraconsistent Logic.

Anders Schlichtkrull

Published in: TYPES (2018)

Keyphrases

real time
theoretical framework
domain knowledge
general theory
genetic algorithm
information systems
knowledge base
decision trees
case study
cooperative
theoretical basis
meta reasoning