Keyphrases
- extended abstract
- expressive power
- formal language
- logic programming
- modal logic
- highly expressive
- language independent
- multi valued
- classical logic
- computational properties
- multilingual information retrieval
- deontic logic
- set theory
- databases
- multi lingual
- automated reasoning
- grammatical inference
- language identification
- predicate logic
- constraint language
- first order logic
- query language