Computer-supported analysis of arguments in climate engineering

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

Authors: David Fuenmayor, Christoph Benzmüller 

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

Recommendations

• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface
• A flexible approach to argumentation framework analysis using theorem proving
• scientific article; zbMATH DE number 756023
• Computational models of argument. Proceedings of COMMA 2008. 2nd international conference on computational models of argument, Toulouse, France, May 28--30, 2008

zbMATH Keywords

argumentationknowledge representationautomated theorem provinghigher-order logicIsabelleclimate engineering

Mathematics Subject Classification ID

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

Cites Work

• Nitpick: a counterexample generator for higher-order logic based on a relational model finder
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Isabelle/HOL. A proof assistant for higher-order logic
• Quantified multimodal logics in simple type theory
• Extending Sledgehammer with SMT solvers
• Change in abstract argumentation frameworks: adding an argument
• Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments

Cited In (2)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• Climate engineering under deep uncertainty

Uses Software

• Nitpick
• Sledgehammer

This page was built for publication: Computer-supported analysis of arguments in climate engineering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5098745)