Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.

Nick Bezhanishvili Balder ten Cate

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

Keyphrases

multi valued
machine learning
logic programming
transfer learning
neural network
genetic algorithm
artificial intelligence
website
information technology
user satisfaction
morphological operators
hybrid learning
probabilistic logic
nonmonotonic logics
epistemic logic
proof theory