Coverart for item
The Resource Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings, Jürgen Giesl, Reiner Hähnle (eds.)

Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings, Jürgen Giesl, Reiner Hähnle (eds.)

Label
Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings
Title
Automated reasoning
Title remainder
5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings
Statement of responsibility
Jürgen Giesl, Reiner Hähnle (eds.)
Title variation
IJCAR 2010
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 28 revised full research papers and 12 revised system descriptions presented together with 1 full paper and 2 abstracts of invited talks were carefully reviewed and selected from 63 full paper and 26 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on logical frameworks and combination of systems; description logic; higher-order logic; verification; first-order logic; non-classical logic; induction; decision procedures; arithmetic; applications; and termination
Member of
Cataloging source
GW5XE
Dewey number
  • 006.3/33
  • 511.3/6028563
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A96
LC item number
I33 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
IJCAR (Conference)
Nature of contents
  • dictionaries
  • bibliography
NLM call number
QA 76.9.A96
http://library.link/vocab/relatedWorkOrContributorName
  • Giesl, Jürgen
  • Hähnle, Reiner
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
6173.
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Computer logic
  • Artificial Intelligence
  • Logic
  • Théorèmes
  • Logique informatique
  • Informatique
  • Automatic theorem proving
  • Computer logic
Label
Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings, Jürgen Giesl, Reiner Hähnle (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Logical Frameworks and Combination of Systems -- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) -- MCMT: A Model Checker Modulo Theories -- On Hierarchical Reasoning in Combinations of Theories -- Description Logic I -- Global Caching for Coalgebraic Description Logics -- Tractable Extensions of the Description Logic with Numerical Datatypes -- Higher-Order Logic -- Analytic Tableaux for Higher-Order Logic with Choice -- Monotonicity Inference for Higher-Order Formulas -- Sledgehammer: Judgement Day -- Invited Talk -- Logic between Expressivity and Complexity -- Verification -- Multi-Prover Verification of Floating-Point Programs -- Verifying Safety Properties with the TLA?+? Proof System -- MUNCH -- Automated Reasoner for Sets and Multisets -- A Slice-Based Decision Procedure for Type-Based Partial Orders -- Hierarchical Reasoning for the Verification of Parametric Systems -- First-Order Logic -- Interpolation and Symbol Elimination in Vampire -- iProver-Eq: An Instantiation-Based Theorem Prover with Equality -- Classical Logic with Partial Functions -- Non-Classical Logic -- Automated Reasoning for Relational Probabilistic Knowledge Representation -- Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse -- Terminating Tableaux for Hybrid Logic with Eventualities -- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion -- Focused Inductive Theorem Proving -- Decision Procedures -- A Decidable Class of Nested Iterated Schemata -- RegSTAB: A SAT Solver for Propositional Schemata -- Linear Quantifier Elimination as an Abstract Decision Procedure -- A Decision Procedure for CTL* Based on Tableaux and Automata -- URBiVA: Uniform Reduction to Bit-Vector Arithmetic -- Keynote Talk -- Induction, Invariants, and Abstraction -- Arithmetic -- A Single-Significant-Digit Calculus for Semi-Automated Guesstimation -- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents -- An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic -- Invited Talk -- Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development -- Applications -- Automating Security Analysis: Symbolic Equivalence of Constraint Systems -- System Description: The Proof Transformation System CERES -- Premise Selection in the Naproche System -- On the Saturation of YAGO -- Description Logic II -- Optimized Description Logic Reasoning via Core Blocking -- An Extension of Complex Role Inclusion Axioms in the Description Logic -- Termination -- Decreasing Diagrams and Relative Termination -- Monotonicity Criteria for Polynomial Interpretations over the Naturals -- Termination Tools in Ordered Completion
Control code
663093897
Dimensions
unknown
Extent
1 online resource (xii, 534 pages)
Form of item
online
Isbn
9783642142031
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-14203-1
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-14202-4
Specific material designation
remote
System control number
(OCoLC)663093897
Label
Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings, Jürgen Giesl, Reiner Hähnle (eds.)
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Logical Frameworks and Combination of Systems -- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) -- MCMT: A Model Checker Modulo Theories -- On Hierarchical Reasoning in Combinations of Theories -- Description Logic I -- Global Caching for Coalgebraic Description Logics -- Tractable Extensions of the Description Logic with Numerical Datatypes -- Higher-Order Logic -- Analytic Tableaux for Higher-Order Logic with Choice -- Monotonicity Inference for Higher-Order Formulas -- Sledgehammer: Judgement Day -- Invited Talk -- Logic between Expressivity and Complexity -- Verification -- Multi-Prover Verification of Floating-Point Programs -- Verifying Safety Properties with the TLA?+? Proof System -- MUNCH -- Automated Reasoner for Sets and Multisets -- A Slice-Based Decision Procedure for Type-Based Partial Orders -- Hierarchical Reasoning for the Verification of Parametric Systems -- First-Order Logic -- Interpolation and Symbol Elimination in Vampire -- iProver-Eq: An Instantiation-Based Theorem Prover with Equality -- Classical Logic with Partial Functions -- Non-Classical Logic -- Automated Reasoning for Relational Probabilistic Knowledge Representation -- Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse -- Terminating Tableaux for Hybrid Logic with Eventualities -- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion -- Focused Inductive Theorem Proving -- Decision Procedures -- A Decidable Class of Nested Iterated Schemata -- RegSTAB: A SAT Solver for Propositional Schemata -- Linear Quantifier Elimination as an Abstract Decision Procedure -- A Decision Procedure for CTL* Based on Tableaux and Automata -- URBiVA: Uniform Reduction to Bit-Vector Arithmetic -- Keynote Talk -- Induction, Invariants, and Abstraction -- Arithmetic -- A Single-Significant-Digit Calculus for Semi-Automated Guesstimation -- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents -- An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic -- Invited Talk -- Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development -- Applications -- Automating Security Analysis: Symbolic Equivalence of Constraint Systems -- System Description: The Proof Transformation System CERES -- Premise Selection in the Naproche System -- On the Saturation of YAGO -- Description Logic II -- Optimized Description Logic Reasoning via Core Blocking -- An Extension of Complex Role Inclusion Axioms in the Description Logic -- Termination -- Decreasing Diagrams and Relative Termination -- Monotonicity Criteria for Polynomial Interpretations over the Naturals -- Termination Tools in Ordered Completion
Control code
663093897
Dimensions
unknown
Extent
1 online resource (xii, 534 pages)
Form of item
online
Isbn
9783642142031
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-14203-1
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-14202-4
Specific material designation
remote
System control number
(OCoLC)663093897

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...