Coverart for item
The Resource Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings, Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.), (electronic resource)

Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings, Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.), (electronic resource)

Label
Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings
Title
Automated Reasoning
Title remainder
fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings
Statement of responsibility
Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Title variation
IJCAR 2008
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata
Member of
Cataloging source
GW5XE
Image bit depth
0
LC call number
QA76.9.A96
LC item number
I38 2008eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
IJCAR 2008
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Armando, Alessandro
  • Baumgartner, Peter
  • Dowek, Gilles
Series statement
Lecture Notes in Computer Science,
Series volume
5195
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Computer logic
  • Automatic theorem proving
  • Computer logic
  • Informatique
Label
Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings, Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.), (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Contents
Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating the Calculus of Relations -- Session 3: Automated Verification -- Towards SMT Model Checking of Array-Based Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well-Definedness Checking -- Session 4: Protocol Verification -- Proving Group Protocols Secure Against Eavesdroppers -- Session 5: System Descriptions 1 -- Automated Implicit Computational Complexity Analysis (System Description) -- LogAnswer - A Deduction-Based Question Answering System (System Description) -- A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) -- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) -- The Complexity of Conjunctive Query Answering in Expressive Description Logics -- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments -- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse -- Session 8: Herbrand Award Ceremony -- Automata-Based Axiom Pinpointing -- Individual Reuse in Description Logic Reasoning -- The Logical Difference Problem for Description Logic Terminologies -- Session 10: System Descriptions 2 -- Aligator: A Mathematica Package for Invariant Generation (System Description) -- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) -- iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description) -- An Experimental Evaluation of Global Caching for (System Description) -- Multi-completion with Termination Tools (System Description) -- MTT: The Maude Termination Tool (System Description) -- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) -- Canonicity! -- Unification and Matching Modulo Leaf-Permutative Equational Presentations -- Modularity of Confluence -- Automated Complexity Analysis Based on the Dependency Pair Method -- Canonical Inference for Implicational Systems -- Challenges in the Automated Verification of Security Protocols -- Session 14: Theorem Proving 1 -- Deciding Effectively Propositional Logic Using DPLL and Substitution Sets -- Proof Systems for Effectively Propositional Logic -- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance -- CASC-J4 The 4th IJCAR ATP System Competition -- Session 16: Theorem Proving 2 -- Labelled Splitting -- Engineering DPLL(T) + Saturation -- THF0 – The Core of the TPTP Language for Higher-Order Logic -- Focusing in Linear Meta-logic -- Certifying a Tree Automata Completion Checker -- Automated Induction with Constrained Tree Automata
Dimensions
unknown
Extent
1 online resource (xii, 556 p.)
File format
multiple file formats
Form of item
electronic
Isbn
9783540710707
Level of compression
uncompressed
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Stock number
978-3-540-71069-1
System control number
  • (OCoLC)288565700
  • (OCoLC)ocn288565700
Label
Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings, Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.), (electronic resource)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Contents
Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating the Calculus of Relations -- Session 3: Automated Verification -- Towards SMT Model Checking of Array-Based Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well-Definedness Checking -- Session 4: Protocol Verification -- Proving Group Protocols Secure Against Eavesdroppers -- Session 5: System Descriptions 1 -- Automated Implicit Computational Complexity Analysis (System Description) -- LogAnswer - A Deduction-Based Question Answering System (System Description) -- A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) -- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) -- The Complexity of Conjunctive Query Answering in Expressive Description Logics -- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments -- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse -- Session 8: Herbrand Award Ceremony -- Automata-Based Axiom Pinpointing -- Individual Reuse in Description Logic Reasoning -- The Logical Difference Problem for Description Logic Terminologies -- Session 10: System Descriptions 2 -- Aligator: A Mathematica Package for Invariant Generation (System Description) -- leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) -- iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description) -- An Experimental Evaluation of Global Caching for (System Description) -- Multi-completion with Termination Tools (System Description) -- MTT: The Maude Termination Tool (System Description) -- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) -- Canonicity! -- Unification and Matching Modulo Leaf-Permutative Equational Presentations -- Modularity of Confluence -- Automated Complexity Analysis Based on the Dependency Pair Method -- Canonical Inference for Implicational Systems -- Challenges in the Automated Verification of Security Protocols -- Session 14: Theorem Proving 1 -- Deciding Effectively Propositional Logic Using DPLL and Substitution Sets -- Proof Systems for Effectively Propositional Logic -- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance -- CASC-J4 The 4th IJCAR ATP System Competition -- Session 16: Theorem Proving 2 -- Labelled Splitting -- Engineering DPLL(T) + Saturation -- THF0 – The Core of the TPTP Language for Higher-Order Logic -- Focusing in Linear Meta-logic -- Certifying a Tree Automata Completion Checker -- Automated Induction with Constrained Tree Automata
Dimensions
unknown
Extent
1 online resource (xii, 556 p.)
File format
multiple file formats
Form of item
electronic
Isbn
9783540710707
Level of compression
uncompressed
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Stock number
978-3-540-71069-1
System control number
  • (OCoLC)288565700
  • (OCoLC)ocn288565700

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 ...