Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987.

Roderic A. Girle I. C. Hinckfuss

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

Keyphrases

annual conference
selected papers
logic programming
automated reasoning
database
data sets
classical logic
dynamic logic
abductive reasoning
formal theory
predicate logic
digital circuits
defeasible logic
modal logic
expert systems
computer science
data mining
real time