XI Brazilian Conference on Mathematical Logic.
Itala M. Loffredo D'OttavianoWalter Alexandre CarnielliAntonio Mario SetteMichael B. WrigleyPublished in: Log. J. IGPL (1997)
Keyphrases
- computer algebra
- classical logic
- logic programming
- mathematical theory
- selected papers
- automated reasoning
- international conference
- mathematical expressions
- annual conference
- predicate logic
- defeasible logic
- invited talk
- knowledge discovery and data mining
- advances in artificial intelligence
- logical framework
- multi valued
- epistemic logic
- modal operators
- asynchronous circuits
- proof theory
- modal logic
- mathematical knowledge