Going Forth and Drawing Back: An Intensional Approach in Nonmonotonic Inference.

Yi Mao Beihai Zhou Beishui Liao

Published in: FLAP (2015)

Keyphrases

nonmonotonic inference
nonmonotonic reasoning
conditional logic
higher order
query evaluation
default reasoning
logic programming
data integration
sketch recognition
default logic
context dependent
engineering drawings
hand drawn
information systems
belief revision
fixed point
high level