Towards Resolution-based Reasoning for Connected Logics.

Cláudia Nalon Oliver Kutz

Published in: LSFA (2013)

Keyphrases

expressive power
high resolution
inference rules
connected components
modal logic
conditional logic
real time
neural network
sampling rate
nonmonotonic logics
connected regions
consequence finding