skip to content
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings Preview this item
ClosePreview this item
Checking...

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

Author: David Basin; Michaël Rusinowitsch
Publisher: Berlin ; New York : Springer, 2004.
Series: Lecture notes in computer science, 3097.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland.

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

Genre/Form: Conference papers and proceedings
Kongress
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: David Basin; Michaël Rusinowitsch
ISBN: 3540223452 9783540223450
OCLC Number: 55808028
Description: xii, 491 pages : illustrations ; 24 cm.
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 Godel-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.
Series Title: Lecture notes in computer science, 3097.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: David Basin, Michaël Rusinowitsch (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/55808028> # Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "55808028" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2864437816#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/computer_logic> ; # Computer logic
   schema:about <http://dewey.info/class/006.333/e22/> ;
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/programmierlogik> ; # Programmierlogik
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/raisonnement_informatique> ; # Raisonnement (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/logique_informatique> ; # Logique informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Place/cork_2004> ; # Cork (2004)
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/demonstration_automatique_de_theoremes> ; # Démonstration automatique de théorèmes
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
   schema:about <http://experiment.worldcat.org/entity/work/data/2864437816#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/17893778> ; # Michaël Rusinowitsch
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2864437816#Person/basin_david> ; # David Basin
   schema:creator <http://experiment.worldcat.org/entity/work/data/2864437816#Meeting/ijcar_conference_2nd_2004_cork_ireland> ; # IJCAR (Conference) (2nd : 2004 : Cork, Ireland)
   schema:datePublished "2004" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2864437816> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2864437816#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
   schema:name "Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings"@en ;
   schema:productID "55808028" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/55808028#PublicationEvent/berlin_new_york_springer_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2864437816#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/b98691> ;
   schema:url <http://swbplus.bsz-bw.de/bsz112141161inh.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz112141161vor.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz112141161cov.htm> ;
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t3097.htm> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3097> ;
   schema:workExample <http://worldcat.org/isbn/9783540223450> ;
   umbel:isLike <http://d-nb.info/971491550> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/55808028> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2864437816#Meeting/ijcar_conference_2nd_2004_cork_ireland> # IJCAR (Conference) (2nd : 2004 : Cork, Ireland)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2864437816#Place/cork_ireland> ; # Cork, Ireland)
   schema:name "IJCAR (Conference) (2nd : 2004 : Cork, Ireland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2864437816#Person/basin_david> # David Basin
    a schema:Person ;
   schema:familyName "Basin" ;
   schema:givenName "David" ;
   schema:name "David Basin" ;
    .

<http://experiment.worldcat.org/entity/work/data/2864437816#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/55808028> ; # Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/2864437816#Topic/demonstration_automatique_de_theoremes> # Démonstration automatique de théorèmes
    a schema:Intangible ;
   schema:name "Démonstration automatique de théorèmes"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2864437816#Topic/logique_informatique> # Logique informatique
    a schema:Intangible ;
   schema:name "Logique informatique"@fr ;
   schema:name "Logique (Informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2864437816#Topic/raisonnement_informatique> # Raisonnement (Informatique)
    a schema:Intangible ;
   schema:name "Raisonnement (Informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2864437816#Topic/theoremes_demonstration_automatique> # Théorèmes--Démonstration automatique
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique"@fr ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
   schema:name "Computer logic"@en ;
    .

<http://viaf.org/viaf/17893778> # Michaël Rusinowitsch
    a schema:Person ;
   schema:familyName "Rusinowitsch" ;
   schema:givenName "Michaël" ;
   schema:name "Michaël Rusinowitsch" ;
    .

<http://worldcat.org/isbn/9783540223450>
    a schema:ProductModel ;
   schema:isbn "3540223452" ;
   schema:isbn "9783540223450" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/55808028> ; # Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/55808028>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/55808028> ; # Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
   schema:dateModified "2017-09-02" ;
   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.