An Approach to Tableau Inferencing with "Hardwired" Heuristics.

Hal Berghel Richard Rankin Farrukh Burney

Published in: SIGSMALL/PC Symposium (1990)

Keyphrases

search algorithm
database
description logics
heuristic search
heuristic methods
knowledge representation
exact algorithms
tabu search algorithm
greedy heuristics
optimization problems
logic programs
search methods
beam search
greedy heuristic
automated theorem proving