An interval logic for natural language semantics.
Savas KonurPublished in: Advances in Modal Logic (2008)
Keyphrases
- natural language
- formal language
- logic programming
- proof theory
- logical formulas
- sound and complete axiomatization
- semantic interpretation
- knowledge representation
- formal semantics
- sound and complete with respect
- semantic representation
- nonmonotonic logics
- propositional dynamic logic
- logical framework
- conditional logic
- epistemic logic
- proof theoretic
- conceptual graphs
- natural language interface
- dynamic logic
- active rules
- modal operators
- alternating time temporal logic
- computational properties
- operational semantics
- higher order logic
- language processing
- model theoretic
- information extraction
- algebraic structure
- rule engine
- derivation rules
- automated reasoning
- machine learning
- autoepistemic logic
- fixed point semantics
- semantic analysis
- modal logic
- classical logic
- proof procedures
- rewrite systems
- probabilistic logic programs
- valued semantics
- logical rules
- knowledge representation language
- asynchronous circuits
- semantic information
- natural language processing
- knowledge base
- abstract argumentation frameworks
- predicate logic
- default theories
- natural language understanding
- intuitionistic logic
- probabilistic logic
- default reasoning
- default logic
- question answering
- logic programs