Conferences in DBLP
Peter B. Andrews Some Reflections on Proof Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Armando , Luca Compagna , Silvio Ranise Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Howard Barringer , Dov M. Gabbay , John Woods Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Beierle , Gabriele Kern-Isberner Footprints of Conditionals. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Bibel Time for Thinking Big in AI. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitri Chubarov , Andrei Voronkov Solving First-Order Constraints over the Monadic Class. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Kerber From MKRP to Omega. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Schmidt-Schauß Decidable Variants of Higher-Order Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Wilfried Sieg , Saverio Cittadini Normal Natural Deduction Proofs (in Non-classical Logics). [Citation Graph (0, 0)][DBLP ] Conf ] Claus-Peter Wirth History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! [Citation Graph (0, 0)][DBLP ] Conf ] Larry Wos The Flowering of Automated Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Ian Horrocks , Ulrike Sattler Description Logics as Ontology Languages for the Semantic Web. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumgartner , Ulrich Furbach Living Books, Automated Deduction and Other Strange Things. [Citation Graph (0, 0)][DBLP ] Conf ] Johan van Benthem An Essay on Sabotage and Obstruction. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Benzmüller , Andreas Meier , Volker Sorge Bridging Theorem Proving and Mathematical Knowledge Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Leonard Bolc Formal Description of Natural Languages: An HPSG Grammar of Polish. [Citation Graph (0, 0)][DBLP ] Conf ] Mateja Jamnik , Alan Bundy Psychological Validity of Schematic Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Armin Fiedler Natural Language Proof Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Erica Melis Why Proof Planning for Maths Education and How?. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Krieg-Brückner Towards MultiMedia Instruction in Safe and Secure Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy The Impact of Models in Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter , Serge Autexier Formal Software Development in MAYA. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Paliath Narendran , Lida Wang A Unification Algorithm for Analysis of Protocols with Blinded Signatures. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Mantel , Axel Schairer Exploiting Generic Aspects of Security Models in Formal Developments. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Stephan , Bruno Langenstein , Andreas Nonnengart , Georg Rock Verification Support Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Benedetti , Luigia Carlucci Aiello SAT-Based Cooperative Planning: A Proposal. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Beetz Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Doran Agents with Exact Foreknowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Fischer Self-organisation in Holonic Multiagent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 