Logic Colloqium '95, Haifa, Israel.

Heinz-Dieter Ebbinghaus

Published in: Arch. Math. Log. (1999)

Keyphrases

logic programming
automated reasoning
classical logic
asynchronous circuits
modal logic
predicate logic
learning algorithm
modal operators
abductive reasoning
natural deduction
neural network
formal theory
probabilistic logic
multi valued
united states
similarity measure
case study
website
data mining