Logic and Engineering of Natural Language Semantics (LENLS) 7.
Eric McCreadyPublished in: JSAI-isAI Workshops (2010)
Keyphrases
- natural language
- formal language
- logic programming
- proof theory
- logical formulas
- formal semantics
- semantic interpretation
- nonmonotonic logics
- propositional dynamic logic
- sound and complete with respect
- sound and complete axiomatization
- epistemic logic
- semantic representation
- conceptual graphs
- knowledge representation
- logical framework
- dynamic logic
- computational properties
- classical logic
- conditional logic
- machine learning
- model theoretic
- proof theoretic
- artificial intelligence
- natural language processing
- modal logic
- multi valued
- computer science
- intuitionistic logic
- higher order logic
- active rules
- knowledge representation language
- modal operators
- algebraic structure
- logical rules
- default logic
- semantic analysis
- default reasoning
- deductive databases
- software engineering
- language processing
- valued semantics
- natural language interface
- rewrite systems
- abstract argumentation frameworks
- highly expressive
- question answering
- engineering design
- design process
- autoepistemic logic
- natural language sentences
- predicate calculus
- automated reasoning
- alternating time temporal logic