Mechanizing Mathematical Reasoning

DOI10.1007/b106663zbMath1098.68122MaRDI 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

68T27: Logic in artificial intelligence

Related Items

Optimization of dialectical outcomes in dialogical argumentation, Valued preference-based instantiation of argumentation frameworks with varied strength defeats, Weighted argument systems: basic definitions, algorithms, and complexity results, AFRA: argumentation framework with recursive attacks, Instantiating abstract argumentation with classical logic arguments: postulates and properties, Reasoning about preferences in argumentation frameworks, Equilibrium states in numerical argumentation networks, Resource-origins of nonmonotonicity, Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction, Inference procedures and engine for probabilistic argumentation, 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, Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger, 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, Probabilistic qualification of attack in abstract argumentation, A neural cognitive model of argumentation with application to legal inference and decision making, Introducing Equational Semantics for Argumentation Networks, Arguing with Valued Preference Relations, Principles Of Talmudic Logic, Modal and Temporal Argumentation Networks, Encompassing Attacks to Attacks in Abstract Argumentation Frameworks, Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension