Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008.
Yasuo NakayamaPublished in: JSAI (2008)
Keyphrases
- natural language
- formal language
- logic programming
- proof theory
- sound and complete axiomatization
- sound and complete with respect
- semantic interpretation
- propositional dynamic logic
- knowledge representation
- semantic representation
- epistemic logic
- formal semantics
- logical formulas
- nonmonotonic logics
- conceptual graphs
- logical framework
- classical logic
- conditional logic
- natural language processing
- natural language interface
- knowledge representation language
- proof theoretic
- computational properties
- model theoretic
- modal operators
- modal logic
- logic programs
- derivation rules
- machine learning
- semantic analysis
- predicate calculus
- alternating time temporal logic
- operational semantics
- knowledge base
- active rules
- computer science
- automated reasoning
- engineering design
- artificial intelligence
- reasoning tasks
- dynamic logic
- deductive databases
- valued semantics
- rewrite systems
- higher order logic
- rule engine
- intuitionistic logic
- predicate logic
- abstract argumentation frameworks
- reasoning about actions
- logical rules
- highly expressive
- default reasoning
- multi valued
- description logics
- natural language understanding
- kripke models
- relational structures