Meeting of the Association for Symbolic Logic: San Antonio, 1987.
Julia F. KnightPublished in: J. Symb. Log. (1988)
Keyphrases
- logic programming
- classical logic
- machine learning
- artificial intelligence
- high level
- modal logic
- multi party
- predicate logic
- asynchronous circuits
- binary decision diagrams
- computational properties
- symbolic representation
- sound and complete axiomatization
- symbolic description
- deontic logic
- real time
- hidden markov models
- information systems
- genetic algorithm
- data mining