A Minimal Hybrid Logic for Intervals.

Published in: Log. J. IGPL (2006)

Keyphrases

information retrieval
modal logic
probability theory
multi valued
probabilistic logic
neural network
logic programming
hybrid learning
automated reasoning
logical framework
classical logic
nonmonotonic logics
proof theory