A Non-Monotonic Deduction System Based on (A)TMS.

Hartmut Freitag Michael Reinfrank

Published in: ECAI (1988)

Keyphrases

inference rules
theorem proving
intuitionistic logic
automated deduction
anti unification
data sets
truth maintenance systems
neural network
higher order
fixed point
automated theorem proving