On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi.

Published in: Fundam. Informaticae (1999)

Keyphrases

goal oriented
search space
first order logic
consequence finding
sequent calculi
database
background knowledge
qualitative spatial and temporal reasoning
neural network
data sets
expert systems
horn clauses
reasoning problems