Keyphrases
- computer algebra
- mathematical theory
- advances in artificial intelligence
- multi valued
- modal logic
- selected papers
- keynote address
- classical logic
- human reasoning
- predicate logic
- mathematical models
- defeasible logic
- graphics and image processing
- panel discussion
- international conference
- annual conference
- sound and complete axiomatization
- koli calling
- information systems
- mathematical expressions
- poster session
- digital circuits
- computational properties
- automated reasoning
- knowledge discovery and data mining
- logic programming