Keyphrases
- czech republic
- classical logic
- atlantic web intelligence
- ambient intelligence
- international conference
- lecture notes
- logic programming
- international symposium
- lecture notes in artificial intelligence
- modal logic
- international workshop
- knowledge discovery and data mining
- possibilistic logic
- valued logic
- intuitionistic logic
- autoepistemic logic
- computer science
- default logic
- artificial intelligence
- possibility theory
- temporal logic
- revision operators
- intelligent systems
- rationality postulates