Mechanised assessment of complex natural-language arguments using expressive logic combinations

DOI10.1007/978-3-030-29007-8_7zbMath1435.68315OpenAlexW2969254288MaRDI QIDQ2180221

David Fuenmayor, Christoph Benzmüller

Publication date: 13 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29007-8_7

zbMATH Keywords

higher-order logicdeontic logicargumentationhigher-order theorem provingIsabellelogic combinations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Natural language processing (68T50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: Mechanised assessment of complex natural-language arguments using expressive logic combinations