On the Costs of Nonclassical Logic.

Volker Halbach Carlo Nicolai

Published in: J. Philos. Log. (2018)

Keyphrases

logic programming
receptive fields
total cost
modal logic
automated reasoning
multi valued
classical logic
genetic algorithm
real time
data sets
probability theory
logical framework
predicate logic
epistemic logic