Mechanizing Mathematical Reasoning

A Portrait of a Scientist: Logic, AI and Politics. - A Portrait of a Scientist: Logic, AI and Politics. - Logic and Deduction. - Some Reflections on Proof Transformations. - Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. - SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. - Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. - Footprints of Conditionals. - Time for Thinking Big in AI. - Solving First-Order Constraints over the Monadic Class. - From MKRP to ? MEGA. - Decidable Variants of Higher-Order Unification. - Normal Natural Deduction Proofs (in Non-classical Logics). - History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! . - The Flowering of Automated Reasoning. - Applications of Logics. - Description Logics as Ontology Languages for the Semantic Web. - Living Books, Automated Deduction and Other Strange Things. - An Essay on Sabotage and Obstruction. - Bridging Theorem Proving and Mathematical Knowledge Retrieval. - Formal Description of Natural Languages: An HPSG Grammar of Polish. - Psychological Validity of Schematic Proofs. - Natural Language Proof Explanation. - Why Proof Planning for Maths Education and How? . - Formal Methods and Security. - Towards MultiMedia Instruction in Safe and Secure Systems. - The Impact of Models in Software Development. - Formal Software Development in MAYA. - A Unification Algorithm for Analysis of Protocols with Blinded Signatures. - Exploiting Generic Aspects of Security Models in Formal Developments. - Verification Support Environment. - Agents and Planning. - SAT-Based Cooperative Planning: A Proposal. - Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots. -Agents with Exact Foreknowledge. - Self-organisation in Holonic Multiagent Systems.