Initial Results on Justification for the Tabled Transaction Logic.

Published in: AAAI Spring Symposium: Intelligent Event Processing (2009)

Keyphrases

database
classical logic
information systems
logic programming
artificial intelligence
multi valued
knowledge representation
distributed databases
transaction processing
probabilistic logic
real time database systems
predicate logic