Login / Signup
Teh Logic of Infons.
Yuri Gurevich
Itay Neeman
Published in:
Bull. EATCS (2009)
Keyphrases
</>
logic programming
modal logic
multi valued
classical logic
logical framework
database systems
databases
artificial intelligence
case study
data structure
automated reasoning
nonmonotonic logics
predicate logic
epistemic logic