Meeting of the Association for Symbolic Logic: Sydney, 1984.
Phillip J. StainesPublished in: J. Symb. Log. (1986)
Keyphrases
- logic programming
- modal logic
- classical logic
- predicate logic
- artificial intelligence
- deontic logic
- multi valued
- symbolic description
- high level
- symbolic representation
- defeasible logic
- logical framework
- computational properties
- binary decision diagrams
- meeting room
- truth values
- proof theory
- real time
- association analysis
- multi party
- programming language
- website
- neural network
- data sets