I/O Logics with a Consistency Check.

Xavier Parent Leendert W. N. van der Torre

Published in: DEON (2018)

Keyphrases

consistency check
input output
expressive power
feature points
modal logic
stereo matching
file system
inference rules
main memory
default logic
nonmonotonic logics
propositional dynamic logic
query processing
image features
temporal logic