Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979.
Leszek PacholskiJedrzej WierzejewskiPublished in: J. Symb. Log. (1981)
Keyphrases
- logic programming
- modal logic
- years ago
- classical logic
- predicate logic
- automated reasoning
- delay insensitive
- proof theory
- multi valued
- natural deduction
- logical framework
- computational molecular biology
- symbolic description
- set theory
- defeasible logic
- databases
- multi party
- symbolic representation
- information systems
- machine learning