The Resource Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings, edited by David Basin, Michaël Rusinowitch, (electronic resource)

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings, edited by David Basin, Michaël Rusinowitch, (electronic resource)

Label
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
Title
Automated Reasoning
Title remainder
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
Statement of responsibility
edited by David Basin, Michaël Rusinowitch
Creator
Contributor
Editor
Provider
Subject
Language
eng
Summary
This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, FroCoS, FTP, and TABLEAUX. The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions. The papers are organized in topical sections on rewriting, saturation-based theorem proving, combination techniques, verification and systems, reasoning with finite structure, tableaux and non-classical logics, applications and systems, computer mathematics, interactive theorem proving, combinatorial reasoning, and higher-order reasoning
Member of
http://library.link/vocab/creatorName
Basin, David
Image bit depth
0
LC call number
  • Q334-342
  • TJ210.2-211.495
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Rusinowitch, Michaël.
  • SpringerLink
Series statement
Lecture Notes in Computer Science,
Series volume
3097
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Logic design
  • Artificial intelligence
  • Computer Science
  • Artificial Intelligence (incl. Robotics)
  • Mathematical Logic and Formal Languages
  • Logics and Meanings of Programs
  • Software Engineering
Label
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings, edited by David Basin, Michaël Rusinowitch, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Rewriting -- 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 -- Saturation-Based Theorem Proving -- 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 -- Combination Techniques -- 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 -- Verification and Systems -- 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 -- Reasoning with Finite Structure -- Second-Order Logic over Finite Structures – Report on a Research Programme -- Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains -- Tableaux and Non-classical Logics -- PDL with Negation of Atomic Programs -- Counter-Model Search in Gödel-Dummett Logics -- Generalised Handling of Variables in Disconnection Tableaux -- Applications and Systems -- Chain Resolution for the Semantic Web -- Sonic — Non-standard Inferences Go OilEd -- TeMP: A Temporal Monodic Prover -- Dr.Doodle: A Diagrammatic Theorem Prover -- Computer Mathematics -- Solving Constraints by Elimination Methods -- Analyzing Selected Quantified Integer Programs -- Interactive Theorem Proving -- Formalizing O Notation in Isabelle/HOL -- Experiments on Supporting Interactive Proof Using Resolution -- A Machine-Checked Formalization of the Generic Model and the Random Oracle Model -- Combinatorial Reasoning -- Automatic Generation of Classification Theorems for Finite Algebras -- Efficient Algorithms for Computing Modulo Permutation Theories -- Overlapping Leaf Permutative Equations -- Higher-Order Reasoning -- TaMeD: A Tableau Method for Deduction Modulo -- Lambda Logic -- Formalizing Undefinedness Arising in Calculus -- Competition -- The CADE ATP System Competition
Dimensions
unknown
Extent
XII, 491 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540259848
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/b98691
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-25984-8
Label
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings, edited by David Basin, Michaël Rusinowitch, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Rewriting -- 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 -- Saturation-Based Theorem Proving -- 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 -- Combination Techniques -- 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 -- Verification and Systems -- 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 -- Reasoning with Finite Structure -- Second-Order Logic over Finite Structures – Report on a Research Programme -- Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains -- Tableaux and Non-classical Logics -- PDL with Negation of Atomic Programs -- Counter-Model Search in Gödel-Dummett Logics -- Generalised Handling of Variables in Disconnection Tableaux -- Applications and Systems -- Chain Resolution for the Semantic Web -- Sonic — Non-standard Inferences Go OilEd -- TeMP: A Temporal Monodic Prover -- Dr.Doodle: A Diagrammatic Theorem Prover -- Computer Mathematics -- Solving Constraints by Elimination Methods -- Analyzing Selected Quantified Integer Programs -- Interactive Theorem Proving -- Formalizing O Notation in Isabelle/HOL -- Experiments on Supporting Interactive Proof Using Resolution -- A Machine-Checked Formalization of the Generic Model and the Random Oracle Model -- Combinatorial Reasoning -- Automatic Generation of Classification Theorems for Finite Algebras -- Efficient Algorithms for Computing Modulo Permutation Theories -- Overlapping Leaf Permutative Equations -- Higher-Order Reasoning -- TaMeD: A Tableau Method for Deduction Modulo -- Lambda Logic -- Formalizing Undefinedness Arising in Calculus -- Competition -- The CADE ATP System Competition
Dimensions
unknown
Extent
XII, 491 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540259848
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/b98691
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-25984-8

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...