Logic and Engineering of Natural Language Semantics 2004.
Norihiro OgataPublished in: JSAI Workshops (2004)
Keyphrases
- natural language
- formal language
- logic programming
- proof theory
- sound and complete axiomatization
- semantic interpretation
- semantic representation
- sound and complete with respect
- nonmonotonic logics
- logical formulas
- epistemic logic
- propositional dynamic logic
- logical framework
- formal semantics
- conditional logic
- dynamic logic
- modal logic
- proof theoretic
- modal operators
- operational semantics
- conceptual graphs
- knowledge representation
- model theoretic
- higher order logic
- classical logic
- fixed point semantics
- natural language interface
- predicate logic
- knowledge representation language
- rule engine
- semantic analysis
- engineering design
- alternating time temporal logic
- predicate calculus
- machine learning
- computational properties
- nonmonotonic reasoning
- logic programs
- semantic information
- computer science
- natural language processing
- multi valued
- language processing
- derivation rules
- valued semantics
- intuitionistic logic
- inference rules
- artificial intelligence
- programming language
- logical theories
- autoepistemic logic
- logical rules
- default reasoning
- natural language generation
- deontic logic
- reasoning about actions