Adding Intensional Machinery to Hybrid Logic.

Torben Braüner

Published in: J. Log. Comput. (2008)

Keyphrases

higher order
logic programming
modal logic
hybrid learning
classical logic
decision trees
computational properties
predicate logic
database
real time
case study
hybrid approaches