Semantics of Notation3 Logic: A Solution for Implicit Quantification.
Dörthe ArndtRuben VerborghJos De RooHong SunErik MannensRik Van de WallePublished in: RuleML (2015)
Keyphrases
- logic programming
- nonmonotonic logics
- sound and complete with respect
- proof theory
- optimal solution
- sound and complete axiomatization
- semantic information
- closed form
- epistemic logic
- operational semantics
- model theoretic
- computational properties
- proof theoretic
- multi valued
- formal semantics
- modal logic
- description logics
- evolutionary algorithm