Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau.

Mapetlwane Litha Mokwana John Andrew van der Poll

Published in: SAICSIT (2015)

Keyphrases

search algorithm
description logics
high resolution
tabu search algorithm
conflict detection
databases
neural network
machine learning
artificial intelligence
information systems
image sequences
special case
temporal resolution