Deduction Theorems Within RM and Its Extensions.

Janusz Czelakowski Wieslaw Dziobiak

Published in: J. Symb. Log. (1999)

Keyphrases

inference rules
theorem proving
automated theorem proving
case study
face recognition
data structure
default logic
proof search
machine learning
learning algorithm
image processing
decision trees
multiscale
multi agent