Mechanizing Mathematical Reasoning

DOI10.1007/b106663zbMath1098.68122OpenAlexW2484955858MaRDI QIDQ5717463

Howard Barringer, John Woods, Dov M. Gabbay

Publication date: 10 January 2006

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

Full work available at URL: https://doi.org/10.1007/b106663

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Reasoning about preferences in argumentation frameworks ⋮ Optimization of dialectical outcomes in dialogical argumentation ⋮ Inference procedures and engine for probabilistic argumentation ⋮ RAFDivider  : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks ⋮ Completeness theorems for reactive modal logics ⋮ Introducing reactive modal tableaux ⋮ A logic of argumentation for specification and verification of abstract argumentation frameworks ⋮ Modelling defeasible and prioritized support in bipolar argumentation ⋮ AFRA: argumentation framework with recursive attacks ⋮ Equilibrium states in numerical argumentation networks ⋮ Integrated preference argumentation and applications in consumer behaviour analyses ⋮ Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger ⋮ Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks ⋮ Instantiating abstract argumentation with classical logic arguments: postulates and properties ⋮ A neural cognitive model of argumentation with application to legal inference and decision making ⋮ Valued preference-based instantiation of argumentation frameworks with varied strength defeats ⋮ Resource-origins of nonmonotonicity ⋮ Principles Of Talmudic Logic ⋮ Introducing Equational Semantics for Argumentation Networks ⋮ Arguing with Valued Preference Relations ⋮ Weighted argument systems: basic definitions, algorithms, and complexity results ⋮ Modal and Temporal Argumentation Networks ⋮ Semantics for higher level attacks in extended argumentation frames. I: Overview ⋮ Meta-argumentation modelling. I: Methodology and techniques ⋮ Modal logics of reactive frames ⋮ Modal provability foundations for argumentation networks ⋮ Logical modes of attack in argumentation networks ⋮ Fibring argumentation frames ⋮ Valid attacks in argumentation frameworks with recursive attacks ⋮ Encompassing Attacks to Attacks in Abstract Argumentation Frameworks ⋮ Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension ⋮ Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction ⋮ Probabilistic qualification of attack in abstract argumentation

This page was built for publication: Mechanizing Mathematical Reasoning