On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation.
Hannes StrassAdam Z. WynerPublished in: AAAI Workshops (2017)
Keyphrases
- defeasible reasoning
- controlled natural language
- argumentation systems
- defeasible logic
- legal reasoning
- formal semantics
- nonmonotonic reasoning
- conditional logic
- formal language
- semantic representation
- argumentation frameworks
- nonmonotonic logics
- default reasoning
- information systems
- machine learning
- knowledge representation and reasoning
- answer questions
- software systems
- software engineering
- natural language