Meeting of the Association for Symbolic Logic: Perth, 1983.
Graham PriestPublished in: J. Symb. Log. (1984)
Keyphrases
- logic programming
- modal logic
- symbolic representation
- real time
- classical logic
- databases
- symbolic reasoning
- multi valued
- defeasible logic
- sound and complete axiomatization
- symbolic description
- natural deduction
- digital circuits
- automated reasoning
- high level
- artificial intelligence
- genetic algorithm
- information retrieval