A Typed Resolution Principle for Deduction with Conditional Typing Theory.

Published in: Artif. Intell. (1995)

Keyphrases

high resolution
higher order
real time
deductive reasoning
database
data sets
data mining
machine learning
knowledge base
computational model
theoretical foundation
theoretical basis
general theory
computer algebra