The Logic of Large Enough.

Eerke A. Boiten Dan Grundy

Published in: MPC (2010)

Keyphrases

modal logic
logic programming
classical logic
databases
search engine
real time
proof theory
predicate logic
computational properties
logic synthesis
dynamic logic
set theory
logical framework
multi valued
evolutionary algorithm
case study
decision making
neural network