skip to content
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings Preview this item
ClosePreview this item
Checking...

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings

Author: Geoff Sutcliffe; Andrei Voronkov
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3835.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Geoff Sutcliffe; Andrei Voronkov
ISBN: 354030553X 9783540305538 9783540316503 3540316507
OCLC Number: 62462336
Description: xiv, 744 pages : illustrations ; 24 cm.
Contents: Independently Checkable Proofs from Decision Procedures: Issues and Progress / Allen Van Gelder --
Zap: Automated Theorem Proving for Software Analysis / Thomas Ball --
Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools / Robert Nieuwenhuis --
Scaling Up: Computers vs. Common Sense / Doug Lenat --
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem / Alessandro Dal Pal --
Disjunctive Constraint Lambda Calculi / Matthias M. Hl̲zl --
Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees / Yao Wu --
The Approach to Answer Set Solving / Christian Anger --
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages / Gopalan Nadathur --
The Four Sons of Penrose / Nachum Dershowitz --
An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures / Angelo Montanari --
Second-Order Principles in Specification Languages for Object-Oriented Programs / Bernhard Beckert --
Strong Normalization of the Dual Classical Sequent Calculus / Daniel Dougherty --
Termination of Fair Computations in Term Rewriting / Salvador Lucas --
On Confluence of Infinitary Combinatory Reduction Systems / Jeroen Ketema --
Matching with Regular Constraints / Temur Kutsia --
Recursive Path Orderings Can Also Be Incremental / Mirtha-Lina Fernǹdez --
Automating Coherent Logic / Marc Bezem --
The Environment for Interactive Proof Development / Florina Piroi --
A First Order Extension of Stl̄marck℗s Method / Magnus Bjr̲k --
Regular Derivations in Basic Superposition-Based Calculi / Vladimir Aleksic --
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity / Wieslaw Szwast --
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination / Chao Wang --
Monotone AC-Tree Automata / Hitoshi Ohsaki --
On the Specification of Sequent Systems / Elaine Pimentel --
Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic / Amine Chaieb --
Integration of a Software Model Checker into Isabelle / Matthias Daum --
Experimental Evaluation of Classical Automata Constructions / Deian Tabakov --
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics / Wolfgang Ahrendt --
Reasoning About Incompletely Defined Programs / Christoph Walther --
Model Checking Abstract State Machines with Answer Set Programming / Calvin Kai Fan Tang --
Characterizing Provability in / Didier Galmiche --
A Unified Memory Model for Pointers / Harvey Tuch --
Treewidth in Verification: Local vs. Global / Andrea Ferrara --
Pushdown Module Checking / Laura Bozzelli --
Functional Correctness Proofs of Encryption Algorithms / Jianjun Duan --
Towards Automated Proof Support for Probabilistic Distributed Systems / Annabelle K. McIver --
Algebraic Intruder Deductions / David Basin --
Satisfiability Checking for PC(ID) / Maarten Marin︠ --
Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning / Allen Van Gelder.
Series Title: Lecture notes in computer science, 3835.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: LPAR 2005
Responsibility: Geoff Sutcliffe, Andrei Voronkov (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/62462336> # Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "62462336" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4241229218#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/005.115/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4241229218#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/4241229218#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/4241229218#Topic/logic_programming> ; # Logic programming
   schema:alternateName "LPAR 2005" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/8047455> ; # Andrei Voronkov
   schema:contributor <http://viaf.org/viaf/57312945> ; # Geoff Sutcliffe
   schema:copyrightYear "2005" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/4241229218#Meeting/lpar_conference_12th_2005_montego_bay_jamaica> ; # LPAR (Conference) (12th : 2005 : Montego Bay, Jamaica)
   schema:datePublished "2005" ;
   schema:description "Independently Checkable Proofs from Decision Procedures: Issues and Progress / Allen Van Gelder -- Zap: Automated Theorem Proving for Software Analysis / Thomas Ball -- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools / Robert Nieuwenhuis -- Scaling Up: Computers vs. Common Sense / Doug Lenat -- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem / Alessandro Dal Pal -- Disjunctive Constraint Lambda Calculi / Matthias M. Hl̲zl -- Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees / Yao Wu -- The Approach to Answer Set Solving / Christian Anger -- Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages / Gopalan Nadathur -- The Four Sons of Penrose / Nachum Dershowitz -- An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures / Angelo Montanari -- Second-Order Principles in Specification Languages for Object-Oriented Programs / Bernhard Beckert -- Strong Normalization of the Dual Classical Sequent Calculus / Daniel Dougherty -- Termination of Fair Computations in Term Rewriting / Salvador Lucas -- On Confluence of Infinitary Combinatory Reduction Systems / Jeroen Ketema -- Matching with Regular Constraints / Temur Kutsia -- Recursive Path Orderings Can Also Be Incremental / Mirtha-Lina Fernǹdez -- Automating Coherent Logic / Marc Bezem -- The Environment for Interactive Proof Development / Florina Piroi -- A First Order Extension of Stl̄marck℗s Method / Magnus Bjr̲k -- Regular Derivations in Basic Superposition-Based Calculi / Vladimir Aleksic -- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity / Wieslaw Szwast -- Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination / Chao Wang -- Monotone AC-Tree Automata / Hitoshi Ohsaki -- On the Specification of Sequent Systems / Elaine Pimentel -- Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic / Amine Chaieb -- Integration of a Software Model Checker into Isabelle / Matthias Daum -- Experimental Evaluation of Classical Automata Constructions / Deian Tabakov -- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics / Wolfgang Ahrendt -- Reasoning About Incompletely Defined Programs / Christoph Walther -- Model Checking Abstract State Machines with Answer Set Programming / Calvin Kai Fan Tang -- Characterizing Provability in / Didier Galmiche -- A Unified Memory Model for Pointers / Harvey Tuch -- Treewidth in Verification: Local vs. Global / Andrea Ferrara -- Pushdown Module Checking / Laura Bozzelli -- Functional Correctness Proofs of Encryption Algorithms / Jianjun Duan -- Towards Automated Proof Support for Probabilistic Distributed Systems / Annabelle K. McIver -- Algebraic Intruder Deductions / David Basin -- Satisfiability Checking for PC(ID) / Maarten Marin︠ -- Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning / Allen Van Gelder."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4241229218> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4241229218#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Lecture notes in artificial intelligence
   schema:name "Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings"@en ;
   schema:productID "62462336" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/62462336#PublicationEvent/berlin_new_york_springer_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4241229218#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz121708349cov.htm> ;
   schema:url <http://dx.doi.org/10.1007/11591191> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy0608/2005936393.html> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3835> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=014583207&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3835> ;
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t3835.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz121708349vlg.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540316503> ;
   schema:workExample <http://worldcat.org/isbn/9783540305538> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA609781> ;
   umbel:isLike <http://d-nb.info/977012506> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/62462336> ;
    .


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/4241229218#Meeting/lpar_conference_12th_2005_montego_bay_jamaica> # LPAR (Conference) (12th : 2005 : Montego Bay, Jamaica)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4241229218#Place/montego_bay_jamaica> ; # Montego Bay, Jamaica)
   schema:name "LPAR (Conference) (12th : 2005 : Montego Bay, Jamaica)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4241229218#Place/montego_bay_jamaica> # Montego Bay, Jamaica)
    a schema:Place ;
   schema:name "Montego Bay, Jamaica)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4241229218#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/62462336> ; # Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
   schema:name "Logic programming"@en ;
    .

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

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

<http://viaf.org/viaf/57312945> # Geoff Sutcliffe
    a schema:Person ;
   schema:familyName "Sutcliffe" ;
   schema:givenName "Geoff" ;
   schema:name "Geoff Sutcliffe" ;
    .

<http://viaf.org/viaf/8047455> # Andrei Voronkov
    a schema:Person ;
   schema:birthDate "1959" ;
   schema:familyName "Voronkov" ;
   schema:givenName "Andrei" ;
   schema:name "Andrei Voronkov" ;
    .

<http://worldcat.org/isbn/9783540305538>
    a schema:ProductModel ;
   schema:isbn "354030553X" ;
   schema:isbn "9783540305538" ;
    .

<http://worldcat.org/isbn/9783540316503>
    a schema:ProductModel ;
   schema:isbn "3540316507" ;
   schema:isbn "9783540316503" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/62462336> ; # Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/title/-/oclc/62462336>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/62462336> ; # Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : 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.