Logic and Engineering of Natural Language Semantics (LENLS) 3.
Eric McCreadyPublished in: JSAI (2006)
Keyphrases
- natural language
- formal language
- logic programming
- proof theory
- semantic interpretation
- sound and complete axiomatization
- semantic representation
- formal semantics
- logical formulas
- sound and complete with respect
- propositional dynamic logic
- epistemic logic
- computer science
- dynamic logic
- logical rules
- conceptual graphs
- software engineering
- modal operators
- nonmonotonic logics
- proof theoretic
- computational properties
- knowledge representation
- derivation rules
- operational semantics
- active rules
- modal logic
- natural language interface
- model theoretic
- machine learning
- logical framework
- natural language processing
- proof procedures
- alternating time temporal logic
- predicate logic
- engineering design
- default reasoning
- predicate calculus
- semantic analysis
- rule engine
- artificial intelligence
- semantic information
- language processing
- multi valued
- autoepistemic logic
- conditional logic
- algebraic structure
- automated reasoning
- action theories
- natural language generation
- rewrite systems
- partial order
- valued semantics
- question answering
- description logics
- programming language
- fixed point semantics