The Logic of NEAR and FAR.

Heshan Du Natasha Alechina Kristin Stock Michael Jackson

Published in: COSIT (2013)

Keyphrases

modal logic
logic programming
classical logic
predicate logic
neural network
information systems
defeasible logic
set theory
genetic algorithm
evolutionary algorithm
logical framework
dynamic logic
sound and complete axiomatization