Computer-Supported Analysis of Arguments in Climate Engineering

DOI10.1007/978-3-030-44638-3_7OpenAlexW3013626828MaRDI QIDQ5098745

Christoph Benzmüller, David Fuenmayor

Publication date: 30 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

knowledge representationhigher-order logicautomated theorem provingargumentationIsabelleclimate engineering

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Higher-order logic (03B16) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Climate science and climate modeling (86A08)

Related Items (1)

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

Uses Software

• Nitpick
• Sledgehammer

Cites Work

• Isabelle/HOL. A proof assistant for higher-order logic
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Quantified multimodal logics in simple type theory
• Extending Sledgehammer with SMT solvers
• Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
• Change in Abstract Argumentation Frameworks: Adding an Argument
• Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder

This page was built for publication: Computer-Supported Analysis of Arguments in Climate Engineering