Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract).

Published in: TABLEAUX (1992)

Keyphrases

extended abstract
theory revision
higher order
concept learning
machine learning
knowledge base
action theories
theoretical framework
spatial relations
horn clauses