Axioms in Definitional Calculi.

Published in: ELP (1993)

Keyphrases

question answering
knowledge base
first order logic
sequent calculi
qualitative spatial and temporal reasoning
data sets
horn clauses
neural network
information retrieval
database systems
expert systems
qualitative spatial