Algorithmic Semantics of Ambiguous Modifiers with the Type Theory of Acyclic Recursion.
Roussanka LoukanovaPublished in: Web Intelligence/IAT Workshops (2012)
Keyphrases
- general theory
- np hard
- deductive databases
- closed world assumption
- speech acts
- theoretical framework
- logic programming
- conceptual model
- decision theory
- np complete
- semantic interpretation
- data dependencies
- model theoretic
- database schemes
- type checking
- database query languages
- abstract argumentation frameworks
- proof theoretic
- relational databases