Language Operators for Multiset Languages and Modal Logic.
Nils Erik FlickManfred KudlekPublished in: NCMA (2012)
Keyphrases
- modal logic
- modal operators
- dynamic logic
- temporal logic
- conditional logic
- target language
- inference rules
- native language
- object oriented languages
- english text
- description languages
- linguistic resources
- nonmonotonic logics
- classical logic
- default logic
- language specific
- formal language
- epistemic logic
- highly expressive
- source language
- aggregate functions
- expressive power
- autoepistemic logic
- formal languages
- programming language
- machine translation system
- natural language
- prime implicates
- machine translation
- cross language information retrieval
- situation calculus
- knowledge base
- explanation based generalization
- desirable properties
- bilingual dictionaries
- description logics
- nonmonotonic reasoning