Computation in Logic and Logic in Computation.

Published in: CoRR (2016)

Keyphrases

information systems
data sets
decision making
evolutionary algorithm
logic programming
modal logic
databases
automated reasoning
multi valued
classical logic
computational properties
defeasible logic
digital circuits
predicate logic