Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. (Q1770206)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Hutter, Dieter; Stephan, Werner}, A portrait of a scientist: logic, AI and politics, 1-13 [Zbl 1098.01514] \textit{Andrews, Peter B.}, Some reflections on proof transformations, 14-29 [Zbl 1098.68114] \textit{Armando, Alessandro; Compagna, Luca; Ranise, Silvio}, Rewrite and Decision procedure Laboratory: Combining rewriting, satisfiability checking, and lemma speculation, 30-45 [Zbl 1098.68694] \textit{Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando}, SAT-based decision procedures for automated reasoning: A unifying perspective, 46-58 [Zbl 1098.68693] \textit{Barringer, Howard; Gabbay, Dov; Woods, John}, Temporal dynamics of support and attack networks: From argumentation to zoology. Initial results., 59-98 [Zbl 1098.68122] \textit{Beierle, Christoph; Kern-Isberner, Gabriele}, Footprints of conditionals, 99-119 [Zbl 1098.68123] \textit{Bibel, Wolfgang}, Time for thinking big in AI, 120-131 [Zbl 1098.68635] \textit{Chubarov, Dimitri; Voronkov, Andrei}, Solving first-order constraints over the monadic class, 132-138 [Zbl 1098.68116] \textit{Kerber, Manfred}, From MKRP to \(\Omega\)mega, 139-153 [Zbl 1098.68698] \textit{Schmidt-Schauß, Manfred}, Decidable variants of higher-order unification, 154-168 [Zbl 1098.03025] \textit{Sieg, Wilfried; Cittadini, Saverio}, Normal natural deduction proofs (in non-classical logics), 169-191 [Zbl 1098.03026] \textit{Wirth, Claus-Peter}, History and future of implicit and inductionless induction: Beware the old jade and the zombie!, 192-203 [Zbl 1098.68699] \textit{Wos, Larry}, The flowering of automated reasoning, 204-227 [Zbl 1098.68700] \textit{Baader, Franz; Horrocks, Ian; Sattler, Ulrike}, Description logics as ontology languages for the semantic web, 228-248 [Zbl 1098.68705] \textit{Baumgartner, Peter; Furbach, Ulrich}, Living books, automated deduction and other strange things, 249-267 [Zbl 1098.68695] \textit{van Benthem, Johan}, An essay on sabotage and obstruction, 268-276 [Zbl 1098.68632] \textit{Benzmüller, Christoph; Meier, Andreas; Sorge, Volker}, Bridging theorem proving and mathematical knowledge retrieval, 277-296 [Zbl 1098.68696] \textit{Bolc, Leonard}, Formal description of natural languages: An HPSG grammar of Polish, 297-320 [Zbl 1098.68902] \textit{Jamnik, Mateja; Bundy, Alan}, Psychological validity of schematic proofs, 321-341 [Zbl 1098.03024] \textit{Fiedler, Armin}, Natural language proof explanation, 342-363 [Zbl 1098.68697] \textit{Melis, Erica}, Why proof planning for maths education and how?, 364-378 [Zbl 1098.97501] \textit{Krieg-Brückner, Bernd}, Towards multimedia instruction in safe and secure systems, 379-395 [Zbl 1098.97500] \textit{Broy, Manfred}, The impact of models in software development, 396-406 [Zbl 1098.68543] \textit{Hutter, Dieter; Autexier, Serge}, Formal software development in MAYA, 407-432 [Zbl 1098.68549] \textit{Kapur, Deepak; Narendran, Paliath; Wang, Lida}, A unification algorithm for analysis of protocols with blinded signatures, 433-451 [Zbl 1098.68039] \textit{Mantel, Heiko; Schairer, Axel}, Exploiting generic aspects of security models in formal developments, 452-475 [Zbl 1098.68588] \textit{Stephan, Werner; Langenstein, Bruno; Nonnengart, Andreas; Rock, Georg}, Verification support environment, 476-493 [Zbl 1098.68545] \textit{Benedetti, Marco; Aiello, Luigia Carlucci}, SAT-based cooperative planning: A proposal, 494-513 [Zbl 1098.68701] \textit{Beetz, Michael}, Towards comprehensive computational models for plan-based control of autonomous robots, 514-527 [Zbl 1098.68713] \textit{Doran, Jim}, Agents with exact foreknowledge, 528-542 [Zbl 1098.68912] \textit{Fischer, Klaus}, Self-organisation in holonic multiagent systems, 543-563 [Zbl 1098.68913]