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