Computer-supported analysis of arguments in climate engineering

DOI10.1007/978-3-030-44638-3_7MaRDI QIDQ5098745zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

argumentationautomated theorem provingclimate engineeringhigher-order logicIsabelleknowledge representation

Mathematics Subject Classification ID

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

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

Cites work

• Change in abstract argumentation frameworks: adding an argument
• Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
• Extending Sledgehammer with SMT solvers
• Isabelle/HOL. A proof assistant for higher-order logic
• 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
• Quantified multimodal logics in simple type theory

Cited in

(2)

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

Describes a project that uses

Uses Software

• Sledgehammer
• Nitpick

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)