Keyphrases
- dynamic logic
- formal language
- revised selected papers
- intuitionistic logic
- programming language
- proof theory
- logic programming
- computer science
- operational semantics
- language learning
- neural network
- formal theory
- artificial intelligence
- databases
- lecture notes in artificial intelligence
- classical logic
- rule engine
- modal operators
- natural language
- data model
- linear temporal logic
- data mining
- knowledge base
- context aware
- conditional logic
- relational structures
- knowledge representation
- modal logic
- description logics