An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.
Walter Alexandre CarnielliMarcelo E. ConiglioItala M. Loffredo D'OttavianoPublished in: Log. J. IGPL (2005)
Keyphrases
- international conference
- advances in artificial intelligence
- international workshop
- proof theory
- classical logic
- koli calling
- computer society
- logic programming
- modal logic
- automated reasoning
- annual conference
- international symposium
- selected papers
- multi valued
- conference on artificial intelligence
- acm sigmod
- knowledge discovery and data mining
- learning analytics and knowledge