The Logic of Justification.

Sergei N. Artëmov

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

Keyphrases

logic programming
classical logic
predicate logic
logical framework
databases
information systems
database
neural network
artificial intelligence
computational properties
nonmonotonic logics
proof theory