A Logic-Independent IDE.

Published in: UITP (2014)

Keyphrases

predicate logic
modal logic
multi valued
real time
genetic algorithm
artificial intelligence
information systems
website
multiscale
data model
logic programming
classical logic
set theory
epistemic logic