Modular Markovian Logic.

Luca Cardelli Kim G. Larsen Radu Mardare

Published in: ICALP (2) (2011)

Keyphrases

derivation rules
predicate logic
modular structure
logic programming
modal logic
automated reasoning
classical logic
expert systems
expectation maximization
multi valued
logical framework
computational properties
asynchronous circuits
linear logic
modular neural networks