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

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)

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)

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

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)