Semantics of Concurrent Revisions.

Sebastian Burckhardt Daan Leijen

Published in: ESOP (2011)

Keyphrases

formal semantics
data mining
machine learning
semantic information
default reasoning
real time
neural network
information systems
knowledge base
high level
source code
logic programming
semantic representation
active rules
nonmonotonic logics