Listings and Logics.

Yijia Chen Jörg Flum

Published in: LICS (2011)

Keyphrases

expressive power
modal logic
website
real estate
inference rules
nonmonotonic logics
epistemic logic
classical logic
temporal logic
propositional calculus
proof theory
query language
data sets
higher order
mobile robot
decision procedures
image segmentation
web pages
feature selection
computer vision