skip to content
Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 ; proceedings Preview this item
ClosePreview this item
Checking...

Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 ; proceedings

Author: Jürgen Giesl; Reiner Hähnle
Publisher: Berlin [u.a.] Springer 2010
Series: Lecture notes in computer science; Lecture notes in artificial intelligence
Edition/Format:   Computer file : EnglishView all editions and formats
Summary:

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

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jürgen Giesl; Reiner Hähnle
ISBN: 3642142028 9783642142024 9783642142031 3642142036
OCLC Number: 845838129
Notes: Literaturangaben
Description: Online-Ressource (XII, 534 S.)
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.
Series Title: Lecture notes in computer science; Lecture notes in artificial intelligence
Responsibility: Jürgen Giesl; Reiner Hähnle (eds.)
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/845838129> # Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 ; proceedings
    a schema:CreativeWork, bgn:ComputerFile ;
   library:oclcnum "845838129" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774024034#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/774024034#Place/edinburgh_2010> ; # Edinburgh <2010>
   schema:about <http://experiment.worldcat.org/entity/work/data/774024034#Topic/programmierlogik> ; # Programmierlogik
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/774024034#Topic/computer_science> ; # Computer Science
   schema:about <http://id.loc.gov/authorities/subjects/sh85029473> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/774024034#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/774024034#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/774024034#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.loc.gov/authorities/subjects/sh85078117> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/774024034#Thing/kongress> ; # Kongress
   schema:about <http://dewey.info/class/004/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85008180> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:contributor <http://experiment.worldcat.org/entity/work/data/774024034#Meeting/ijcar_5_2010_07_16_19_edinburgh> ; # IJCAR (5 2010.07.16-19 Edinburgh)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/774024034#Meeting/international_joint_conference_on_automated_reasoning_5_2010_07_16_19_edinburgh> ; # International Joint Conference on Automated Reasoning (5 2010.07.16-19 Edinburgh)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/774024034#Meeting/ijcar_5_2010_edinburgh> ; # IJCAR 5 2010 Edinburgh
   schema:contributor <http://viaf.org/viaf/52376428> ; # Jürgen Giesl
   schema:contributor <http://viaf.org/viaf/32090269> ; # Reiner Hähnle
   schema:datePublished "2010" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/774024034> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774024034#Series/> ; #
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774024034#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science Lecture notes in artificial intelligence
   schema:name "Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 ; proceedings" ;
   schema:productID "845838129" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845838129#PublicationEvent/berlin_u_a_springer2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/774024034#Agent/springer> ; # Springer
   schema:url <http://d-nb.info/1004824262/34> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-20100721539> ;
   schema:url <http://swbplus.bsz-bw.de/bsz327015659cov.htm> ;
   schema:url <http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10403681> ;
   schema:url <http://www.gbv.de/dms/bowker/toc/9783642142024.pdf> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-14203-1> ;
   schema:url <http://www.springerlink.com/content/978-3-642-14203-1> ;
   schema:workExample <http://worldcat.org/isbn/9783642142031> ;
   schema:workExample <http://worldcat.org/isbn/9783642142024> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-14203-1> ;
   umbel:isLike <http://d-nb.info/1004824262> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845838129> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/774024034#Meeting/international_joint_conference_on_automated_reasoning_5_2010_07_16_19_edinburgh> # International Joint Conference on Automated Reasoning (5 2010.07.16-19 Edinburgh)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/774024034#Place/edinburgh> ; # Edinburgh)
   schema:name "International Joint Conference on Automated Reasoning (5 2010.07.16-19 Edinburgh)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024034#Place/edinburgh> # Edinburgh)
    a schema:Place ;
   schema:name "Edinburgh)" ;
   schema:name "Edinburgh" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024034#Place/edinburgh_2010> # Edinburgh <2010>
    a schema:Place ;
   schema:name "Edinburgh <2010>" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024034#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845838129> ; # Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 ; proceedings
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024034#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845838129> ; # Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 ; proceedings
   schema:name "Lecture notes in computer science Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/774024034#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
   schema:name "Automatisches Beweisverfahren" ;
    .

<http://id.loc.gov/authorities/subjects/sh85008180> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029473> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity" ;
    .

<http://id.loc.gov/authorities/subjects/sh85078117> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://viaf.org/viaf/32090269> # Reiner Hähnle
    a schema:Person ;
   schema:familyName "Hähnle" ;
   schema:givenName "Reiner" ;
   schema:name "Reiner Hähnle" ;
    .

<http://viaf.org/viaf/52376428> # Jürgen Giesl
    a schema:Person ;
   schema:familyName "Giesl" ;
   schema:givenName "Jürgen" ;
   schema:name "Jürgen Giesl" ;
    .

<http://worldcat.org/isbn/9783642142024>
    a schema:ProductModel ;
   schema:isbn "3642142028" ;
   schema:isbn "9783642142024" ;
    .

<http://worldcat.org/isbn/9783642142031>
    a schema:ProductModel ;
   schema:isbn "3642142036" ;
   schema:isbn "9783642142031" ;
    .

<http://www.worldcat.org/title/-/oclc/845838129>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/845838129> ; # Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 ; proceedings
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.