A two-level logic perspective on (simultaneous) substitutions.

Kaustuv Chaudhuri

Published in: CPP (2018)

Keyphrases

multi valued
viewpoint
modal logic
logic programming
real time
decision making
classical logic
predicate logic
databases
data mining
machine learning
learning algorithm
artificial intelligence
information systems
multiscale
delay insensitive