Conferences in DBLP
Peter B. Andrews Some Reflections on Proof Transformations. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:14-29 [Conf ] Alessandro Armando , Luca Compagna , Silvio Ranise Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:30-45 [Conf ] Alessandro Armando , Claudio Castellini , Enrico Giunchiglia , Fausto Giunchiglia , Armando Tacchella SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:46-58 [Conf ] Howard Barringer , Dov M. Gabbay , John Woods Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:59-98 [Conf ] Christoph Beierle , Gabriele Kern-Isberner Footprints of Conditionals. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:99-119 [Conf ] Wolfgang Bibel Time for Thinking Big in AI. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:120-131 [Conf ] Dimitri Chubarov , Andrei Voronkov Solving First-Order Constraints over the Monadic Class. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:132-138 [Conf ] Manfred Kerber From MKRP to Omega. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:139-153 [Conf ] Manfred Schmidt-Schauß Decidable Variants of Higher-Order Unification. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:154-168 [Conf ] Wilfried Sieg , Saverio Cittadini Normal Natural Deduction Proofs (in Non-classical Logics). [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:169-191 [Conf ] Claus-Peter Wirth History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:192-203 [Conf ] Larry Wos The Flowering of Automated Reasoning. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:204-227 [Conf ] Franz Baader , Ian Horrocks , Ulrike Sattler Description Logics as Ontology Languages for the Semantic Web. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:228-248 [Conf ] Peter Baumgartner , Ulrich Furbach Living Books, Automated Deduction and Other Strange Things. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:249-267 [Conf ] Johan van Benthem An Essay on Sabotage and Obstruction. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:268-276 [Conf ] Christoph Benzmüller , Andreas Meier , Volker Sorge Bridging Theorem Proving and Mathematical Knowledge Retrieval. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:277-296 [Conf ] Leonard Bolc Formal Description of Natural Languages: An HPSG Grammar of Polish. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:297-320 [Conf ] Mateja Jamnik , Alan Bundy Psychological Validity of Schematic Proofs. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:321-341 [Conf ] Armin Fiedler Natural Language Proof Explanation. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:342-363 [Conf ] Erica Melis Why Proof Planning for Maths Education and How?. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:364-378 [Conf ] Bernd Krieg-Brückner Towards MultiMedia Instruction in Safe and Secure Systems. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:379-395 [Conf ] Manfred Broy The Impact of Models in Software Development. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:396-406 [Conf ] Dieter Hutter , Serge Autexier Formal Software Development in MAYA. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:407-432 [Conf ] Deepak Kapur , Paliath Narendran , Lida Wang A Unification Algorithm for Analysis of Protocols with Blinded Signatures. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:433-451 [Conf ] Heiko Mantel , Axel Schairer Exploiting Generic Aspects of Security Models in Formal Developments. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:452-475 [Conf ] Werner Stephan , Bruno Langenstein , Andreas Nonnengart , Georg Rock Verification Support Environment. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:476-493 [Conf ] Marco Benedetti , Luigia Carlucci Aiello SAT-Based Cooperative Planning: A Proposal. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:494-513 [Conf ] Michael Beetz Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:514-527 [Conf ] Jim Doran Agents with Exact Foreknowledge. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:528-542 [Conf ] Klaus Fischer Self-organisation in Holonic Multiagent Systems. [Citation Graph (0, 0)][DBLP ] Mechanizing Mathematical Reasoning, 2005, pp:543-563 [Conf ]