Listings and logics.

Yijia Chen Jörg Flum

Published in: Electron. Colloquium Comput. Complex. (2011)

Keyphrases

modal logic
expressive power
website
real estate
inheritance reasoning
propositional calculus
conditional logic
nonmonotonic reasoning
propositional dynamic logic
nonmonotonic logics
classical logic
database
default logic
hidden markov models
proof theory
data model
image sequences
learning algorithm