Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2005.
Katsuhiko YabushitaPublished in: JSAI Workshops (2005)
Keyphrases
- natural language
- formal language
- logic programming
- proof theory
- epistemic logic
- sound and complete axiomatization
- sound and complete with respect
- semantic interpretation
- logical formulas
- semantic representation
- formal semantics
- propositional dynamic logic
- knowledge representation
- nonmonotonic logics
- natural language interface
- logical framework
- proof theoretic
- alternating time temporal logic
- conceptual graphs
- modal logic
- derivation rules
- valued semantics
- higher order logic
- logical rules
- engineering design
- information extraction
- logic programs
- dynamic logic
- modal operators
- automated reasoning
- artificial intelligence
- software engineering
- predicate calculus
- autoepistemic logic
- predicate logic
- default reasoning
- model theoretic
- semantic information
- conditional logic
- default logic
- knowledge representation language
- operational semantics
- fixed point semantics
- computational properties
- active rules
- machine learning
- language processing
- multi valued
- classical logic
- intuitionistic logic
- logical theories
- semantic analysis
- natural language processing
- proof procedures
- computer science
- rewrite systems