Sign in
Axioms in Definitional Calculi.
Per Kreuger
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