Login / Signup
Towards More Effective Tableaux Reasoning for CKR.
Loris Bozzato
Martin Homola
Luciano Serafini
Published in:
Description Logics (2012)
Keyphrases
</>
genetic algorithm
cost effective
machine learning
knowledge base
qualitative reasoning
neural network
information retrieval
artificial neural networks
knowledge representation
logic programs
spatial reasoning
automated reasoning
decision procedures
proof procedure