The Pure Logic of Ground.

Published in: Rev. Symb. Log. (2012)

Keyphrases

logic programming
definite clause
deontic logic
asynchronous circuits
predicate logic
defeasible logic
knowledge representation
classical logic
probabilistic logic
database
modal logic
databases
multi valued
logical framework
data model
formal language
multi agent
formal theory
database systems
real world