Abstract:History in fast-forward.Logic and argumentation are a natural combination.Though the precise origins of logic are hidden in the mists of antiquity, reflection on patterns in legal or philosophical debate may have been one of the driving forces in the genesis of the discipline.But afterwards, the main emphasis over time shifted to consequence relations in an abstract universe of propositions, and the formal systems to which these give rise.Though contacts were never lost entirely between logic and the realities of discussion and debate, the twentieth century saw a deep split.Perelman and Olbrechts-Tyteca (1958) pointed out how actual reasoning may be more like weaving a piece of cloth from many threads than forging a chain with links in linear mathematical proof style, and rhetoric and informal logic then took their own course.Likewise, Toulmin (1958) made a powerful case of how legal procedure and functional schemas -'formalities' rather than logical form -may be the best paradigm for understanding argumentation.Both critics have inspired follow-up frameworks that continue to flourish today (cf.Walton and Krabbe 1995;van Eemeren and Grootendorst 2004).But this split was not inevitable, and it was not forever.Already Lorenzen (1955) used innovative game-theoretical models of dialogue to investigate the foundations of logic, and in more recent times, Dung (1995) introduced formal models of argumentation in a setting of Artificial Intelligence, which turned out to have strong connections to computational logics.Gabbay's programme.Dov Gabbay believes that the interface with argumentation may be the last frontier, where modern logic finds its proper generality and impact on human reasoning practice (cf.Gabbay and Woods 2002).Over the past decade, he has developed a paradigm of networks that applies to reasoning at many levels, from unconscious neural nets in the brain to conscious reasoning of many kinds.As the three papers in this issue show, there is a wealth of substance here, as will be clear to any reader of 'Equational Approach to Argumentation Networks', 'Temporal, Numerical and Meta-Level Dynamics in Argumentation Networks' and 'Model and Temporal Argumentation Networks'.Gabbay's networks unify across different fields, from logic programmes to dynamical systems.They also come with interesting technical properties, including an equational algebraic analysis of connection strength, where stable states can be found by applying the Brouwer fixed-point theorem.Moreover, when network activity is studied as proceeding over time, logic returns at a higher level, too -as a description for the resulting behaviours, and various interesting new modal and temporal languages have emerged in this investigation by Gabbay and his coworkers, as demonstrated in the papers just mentioned.Clearly, this is an immense intellectual space to explore, and at the same time, Gabbay has engaged in an impressive community-building effort, through a stream of books and papers, including handbooks that pull separate research clans together.If you asked me, my stated opinion

Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge

Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge

Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge

Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge

Logic and Interactive RAtionality Yearbook 2012

Present and Future of Formal Argumentation (dagstuhl Perspectives Workshop 15362).

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications

AAAI-07 Workshop Reports.

Space, Time, and Computation: Trends and Problems

Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

Current and Future Challenges in Knowledge Representation and Reasoning

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications

The Tree of Knowledge in Action: Towards a Common Perspective

Proceedings Types for Proofs and Programs, Revised Selected Papers

Proceedings Fifth International Conference on Applied Category Theory

Logico-Computational Aspects of Rationality

Pattern Recognition

The Nets of Reason

Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning

Rationality without Optimization: Bounded Rationality