The Next 700 Separation Logics - (Invited Paper).

Matthew J. Parkinson

Published in: VSTTE (2010)

Keyphrases

invited paper
expressive power
modal logic
inference rules
machine learning
conditional logic
propositional calculus
data mining
artificial neural networks
lessons learned
learning technologies
classical logic
nonmonotonic logics