Keyphrases
- revised selected papers
- lecture notes
- computer science
- lecture notes in artificial intelligence
- natural language
- formal language
- international workshop
- proof theory
- logic programming
- sound and complete with respect
- sound and complete axiomatization
- semantic interpretation
- propositional dynamic logic
- artificial intelligence
- logical formulas
- semantic representation
- nonmonotonic logics
- machine learning
- epistemic logic
- dynamic logic
- machine learning for multimodal interaction
- formal semantics
- proof theoretic
- derivation rules
- conceptual graphs
- knowledge representation
- conditional logic
- model theoretic
- operational semantics
- active rules
- modal operators
- modal logic
- rewrite systems
- researchers and practitioners
- logical framework
- computational properties
- semantic analysis
- data mining
- predicate logic
- rule engine
- highly expressive
- natural language processing
- computational intelligence
- logic programs
- classical logic
- fuzzy logic
- nonmonotonic reasoning
- knowledge discovery
- default reasoning
- alternating time temporal logic
- international symposium