Logic and Engineering of Natural Language Semantics (LENLS) 11.
Koji MineshimaPublished in: JSAI-isAI Workshops (2014)
Keyphrases
- natural language
- formal language
- logic programming
- proof theory
- sound and complete axiomatization
- semantic representation
- semantic interpretation
- knowledge representation
- logical formulas
- epistemic logic
- sound and complete with respect
- propositional dynamic logic
- conceptual graphs
- nonmonotonic logics
- formal semantics
- dynamic logic
- proof theoretic
- modal logic
- engineering design
- derivation rules
- operational semantics
- natural language interface
- intuitionistic logic
- modal operators
- question answering
- logical framework
- classical logic
- active rules
- natural language processing
- rule engine
- model theoretic
- computational properties
- automated reasoning
- higher order logic
- proof procedures
- highly expressive
- alternating time temporal logic
- autoepistemic logic
- artificial intelligence
- semantic information
- semantic analysis
- default reasoning
- language processing
- conditional logic
- deductive databases
- logic programs
- software engineering
- predicate calculus
- fixed point semantics
- machine learning
- natural language understanding
- logical rules
- algebraic structure
- action theories
- model checking
- asynchronous circuits
- description logics