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:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
LPAR (Conference).
Logic for programming, artificial intelligence, and reasoning.
Berlin ; New York : Springer, ©2005
(DLC) 2005936393
(OCoLC)62462336
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Geoff Sutcliffe; Andrei Voronkov
ISBN: 9783540316503 3540316507 354030553X 9783540305538
OCLC Number: 262681891
Description: 1 online resource (xiv, 744 pages) : illustrations.
Contents: Independently Checkable Proofs from Decision Procedures: Issues and Progress.- Zap: Automated Theorem Proving for Software Analysis.- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools.- Scaling Up: Computers vs. Common Sense.- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.- Disjunctive Constraint Lambda Calculi.- Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees.- The nomore?+?+ Approach to Answer Set Solving.- Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.- The Four Sons of Penrose.- An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures.- Second-Order Principles in Specification Languages for Object-Oriented Programs.- Strong Normalization of the Dual Classical Sequent Calculus.- Termination of Fair Computations in Term Rewriting.- On Confluence of Infinitary Combinatory Reduction Systems.- Matching with Regular Constraints.- Recursive Path Orderings Can Also Be Incremental.- Automating Coherent Logic.- The Theorema Environment for Interactive Proof Development.- A First Order Extension of Stalmarck's Method.- Regular Derivations in Basic Superposition-Based Calculi.- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.- Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.- Monotone AC-Tree Automata.- On the Specification of Sequent Systems.- Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic.- Integration of a Software Model Checker into Isabelle.- Experimental Evaluation of Classical Automata Constructions.- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.- Reasoning About Incompletely Defined Programs.- Model Checking Abstract State Machines with Answer Set Programming.- Characterizing Provability in BI's Pointer Logic Through Resource Graphs.- A Unified Memory Model for Pointers.- Treewidth in Verification: Local vs. Global.- Pushdown Module Checking.- Functional Correctness Proofs of Encryption Algorithms.- Towards Automated Proof Support for Probabilistic Distributed Systems.- Algebraic Intruder Deductions.- Satisfiability Checking for PC(ID).- Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning.- Another Complete Local Search Method for SAT.- Inference from Controversial Arguments.- Programming Cognitive Agents in Defeasible Logic.- The Relationship Between Reasoning About Privacy and Default Logics.- Comparative Similarity, Tree Automata, and Diophantine Equations.- Analytic Tableaux for KLM Preferential and Cumulative Logics.- Bounding Resource Consumption with Godel-Dummett Logics.- On Interpolation in Existence Logics.- Incremental Integrity Checking: Limitations and Possibilities.- Concepts of Automata Construction from LTL.
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/262681891> # 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, schema:MediaObject ;
    library:oclcnum "262681891" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/322796061#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/322796061#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/322796061#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/322796061#Topic/computers_software_development_&_engineering_tools> ; # COMPUTERS--Software Development & Engineering--Tools
    schema:about <http://experiment.worldcat.org/entity/work/data/322796061#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/322796061#Topic/logic_programming> ; # Logic programming
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/322796061#Topic/computers_software_development_&_engineering_general> ; # COMPUTERS--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/322796061#Topic/computers_programming_open_source> ; # COMPUTERS--Programming--Open Source
    schema:about <http://dewey.info/class/005.115/e22/> ;
    schema:alternateName "LPAR 2005" ;
    schema:bookFormat schema:EBook ;
    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/322796061#Meeting/lpar_conference> ; # LPAR (Conference)
    schema:datePublished "2005" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/322796061> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/322796061#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:isSimilarTo <http://www.worldcat.org/oclc/62462336> ;
    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 "262681891" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262681891#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/322796061#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/link.asp?id=x67267wl4837> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3068299> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=183630> ;
    schema:url <http://dx.doi.org/10.1007/11591191> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3835> ;
    schema:url <http://www.myilibrary.com?id=140670> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11591191> ;
    schema:url <http://site.ebrary.com/id/10531258> ;
    schema:workExample <http://worldcat.org/isbn/9783540305538> ;
    schema:workExample <http://worldcat.org/isbn/9783540316503> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262681891> ;
    .


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/322796061#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262681891> ; # 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://experiment.worldcat.org/entity/work/data/322796061#Topic/computers_programming_open_source> # COMPUTERS--Programming--Open Source
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming--Open Source"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/322796061#Topic/computers_software_development_&_engineering_general> # COMPUTERS--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/322796061#Topic/computers_software_development_&_engineering_tools> # COMPUTERS--Software Development & Engineering--Tools
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--Tools"@en ;
    .

<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/262681891> ; # 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/oclc/62462336>
    a schema:CreativeWork ;
    rdfs:label "Logic for programming, artificial intelligence, and reasoning." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262681891> ; # Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
    .

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