Logic and Engineering of Natural Language Semantics (LENLS) 8.
Alastair ButlerPublished in: JSAI-isAI Workshops (2011)
Keyphrases
- natural language
- formal language
- proof theory
- logic programming
- sound and complete axiomatization
- propositional dynamic logic
- semantic interpretation
- formal semantics
- epistemic logic
- logical formulas
- sound and complete with respect
- semantic representation
- nonmonotonic logics
- conceptual graphs
- active rules
- logical framework
- engineering design
- default reasoning
- model theoretic
- modal logic
- knowledge representation
- dynamic logic
- conditional logic
- computer science
- knowledge representation language
- autoepistemic logic
- modal operators
- natural language interface
- computational properties
- software engineering
- algebraic structure
- automated reasoning
- higher order logic
- proof theoretic
- valued semantics
- rewrite systems
- proof procedures
- derivation rules
- deontic logic
- artificial intelligence
- predicate logic
- natural language processing
- classical logic
- natural language understanding
- deductive databases
- language processing
- alternating time temporal logic
- predicate calculus
- machine learning
- logic programs
- natural language generation
- operational semantics
- default logic
- highly expressive
- temporal logic
- intuitionistic logic
- question answering
- natural language sentences
- information extraction
- kripke models
- fixed point semantics
- linear logic