Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981.

Ayda I. Arruda Xavier Caicedo Rolando Chuaqui Newton C. A. da Costa

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

Keyphrases

nonmonotonic logics
modal logic
defeasible logic
deontic logic
symbolic representation
artificial intelligence
high level
classical logic
predicate logic
symbolic reasoning
database
case study
expert systems
artificial neural networks
privacy preserving