Fifth Southeastern Logic Symposium.

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

Keyphrases

united states
artificial intelligence
predicate logic
modal logic
proof theory
computer science
logic programming
automated reasoning
classical logic
real time
neural network
sound and complete axiomatization
dynamic logic
probability theory
database systems
learning algorithm
real world
data sets