Logic and Linguistics Meeting, Stanford, 1987.
K. Jon BarwiseRichmond H. ThomasonPublished in: J. Symb. Log. (1988)
Keyphrases
- computer science
- multi valued
- natural language
- modal logic
- language learning
- formal theory
- classical logic
- computational properties
- defeasible logic
- propositional dynamic logic
- learning algorithm
- natural deduction
- asynchronous circuits
- deontic logic
- truth values
- automated reasoning
- natural language processing
- multi agent systems
- e learning
- artificial intelligence