Array Folds Logic.

Przemyslaw Daca Thomas A. Henzinger Andrey Kupriyanov

Published in: CoRR (2016)

Keyphrases

modal logic
random access memory
logic programming
automated reasoning
logical framework
classical logic
multi valued
abductive reasoning
sound and complete axiomatization
real time
antenna array
linear array
set theory
defeasible logic
multi agent systems
bayesian networks
information systems
genetic algorithm