Automated Reasoning

4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Editors:

ISBN: 978-3-540-71069-1 (Print) 978-3-540-71070-7 (Online)

Table of contents (44 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Session 1: Invited Talk

    1. No Access

      Book Chapter

      Pages 1-1

      Software Verification: Roles and Challenges for Automatic Decision Procedures

  3. Session 2: Specific Theories

    1. No Access

      Book Chapter

      Pages 2-17

      Proving Bounds on Real-Valued Functions with Computations

    2. No Access

      Book Chapter

      Pages 18-33

      Linear Quantifier Elimination

    3. No Access

      Book Chapter

      Pages 34-49

      Quantitative Separation Logic and Programs with Lists

    4. No Access

      Book Chapter

      Pages 50-66

      On Automating the Calculus of Relations

  4. Session 3: Automated Verification

    1. No Access

      Book Chapter

      Pages 67-82

      Towards SMT Model Checking of Array-Based Systems

    2. No Access

      Book Chapter

      Pages 83-99

      Preservation of Proof Obligations from Java to the Java Virtual Machine

    3. No Access

      Book Chapter

      Pages 100-115

      Efficient Well-Definedness Checking

  5. Session 4: Protocol Verification

    1. No Access

      Book Chapter

      Pages 116-131

      Proving Group Protocols Secure Against Eavesdroppers

  6. Session 5: System Descriptions 1

    1. No Access

      Book Chapter

      Pages 132-138

      Automated Implicit Computational Complexity Analysis (System Description)

    2. No Access

      Book Chapter

      Pages 139-146

      LogAnswer - A Deduction-Based Question Answering System (System Description)

    3. No Access

      Book Chapter

      Pages 147-153

      A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)

    4. No Access

      Book Chapter

      Pages 154-161

      The Abella Interactive Theorem Prover (System Description)

    5. No Access

      Book Chapter

      Pages 162-170

      LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)

    6. No Access

      Book Chapter

      Pages 171-178

      KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)

    7. Session 6: Invited Talk

      1. No Access

        Book Chapter

        Pages 179-193

        The Complexity of Conjunctive Query Answering in Expressive Description Logics

      Session 7: Modal Logics

      1. No Access

        Book Chapter

        Pages 194-209

        A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments

      2. No Access

        Book Chapter

        Pages 210-225

        Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse

  7. Session 8: Herbrand Award Ceremony

    1. Session 9: Description Logics

      1. No Access

        Book Chapter

        Pages 226-241

        Automata-Based Axiom Pinpointing

      2. No Access

        Book Chapter

        Pages 242-258

        Individual Reuse in Description Logic Reasoning

previous Page of 3