Parameterized Metatheory for Continuous Markovian Logic

Kim G. Larsen Radu Mardare Claus R. Thrane

Published in: QFM (2012)

Keyphrases

logic programming
modal logic
databases
logical framework
classical logic
computational properties
discrete space
abductive reasoning
real time
data mining
natural language
nonmonotonic logics
asynchronous circuits