Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018
Published in: Advances in Modal Logic (2018)
Keyphrases
- modal logic
- international conference
- temporal logic
- knowledge discovery and data mining
- advances in artificial intelligence
- learning analytics and knowledge
- lecture notes in artificial intelligence
- inference rules
- epistemic logic
- czech republic
- situation calculus
- annual conference
- classical logic
- nonmonotonic logics
- invited talk
- default logic
- model checking
- artificial intelligence
- book constitutes the refereed proceedings
- international workshop
- international symposium
- student research workshop
- selected papers
- carefully reviewed and selected from submissions
- autoepistemic logic
- incomplete information
- conference on artificial intelligence
- progress in artificial intelligence
- description logic alc
- computational intelligence