Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. ProceedingsAuthor: David Basin, Michaël Rusinowitch Published by Springer Berlin Heidelberg ISBN: 978-3-540-22345-0 DOI: 10.1007/b98691Table of Contents:Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting Efficient Checking of Term Ordering Constraints Improved Modular Termination Proofs Using Dependency Pairs Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure Redundancy Notions for Paramodulation with Non-monotonic Orderings A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures Decision Procedures for Recursive Data Structures with Integer Constraints Modular Proof Systems for Partial Functions with Weak Equality A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics Using Automated Theorem Provers to Certify Auto-generated Aerospace Software argo-lib: A Generic Platform for Decision Procedures The ICS Decision Procedures for Embedded Deduction System Description: E 0.81 Second-Order Logic over Finite Structures – Report on a Research Programme Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains PDL with Negation of Atomic Programs Counter-Model Search in Gödel-Dummett Logics Generalised Handling of Variables in Disconnection Tableaux, Includes bibliographical references and index