Meeting of the Association for Symbolic Logic: Biloxi, 1979.
Daniel HalpernWilliam W. TaitJohn T. BaldwinPublished in: J. Symb. Log. (1981)
Keyphrases
- automated reasoning
- logic programming
- modal logic
- binary decision diagrams
- classical logic
- symbolic representation
- multi valued
- meeting room
- proof theory
- data sets
- expressive power
- genetic algorithm
- logical framework
- privacy preserving
- defeasible logic
- set theory
- predicate logic
- case study
- neural learning
- information systems