skip to content
Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings Preview this item
ClosePreview this item
Checking...

Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings

Author: Iliano Cervesato; Helmut Veith; Andrei Voronkov
Publisher: Berlin : Springer-Verlag, ©2008.
Series: Lecture notes in computer science, 5330.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning,  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: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Iliano Cervesato; Helmut Veith; Andrei Voronkov
ISBN: 9783540894391 354089439X 3540894381 9783540894384
OCLC Number: 304564347
Description: 1 online resource.
Contents: Session 1. Constraint Solving --
Symmetry Breaking for Maximum Satisfiability --
Efficient Generation of Unsatisfiability Proofs and Cores in SAT --
Justification-Based Local Search with Adaptive Noise Strategies --
The Max-Atom Problem and Its Relevance --
Session 2. Knowledge Representation 1 --
Towards Practical Feasibility of Core Computation in Data Exchange --
Data-Oblivious Stream Productivity --
Reasoning about XML with Temporal Logics and Automata --
Distributed Consistency-Based Diagnosis --
Session 3. Proof-Theory 1 --
From One Session to Many: Dynamic Tags for Security Protocols --
A Conditional Logical Framework --
Nominal Renaming Sets --
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic --
Invited Talk --
Model Checking – My 27-Year Quest to Overcome the State Explosion Problem --
Session 4. Automata --
On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata --
Recurrent Reachability Analysis in Regular Model Checking --
Alternation Elimination by Complementation (Extended Abstract) --
Discounted Properties of Probabilistic Pushdown Automata --
Session 5. Linear Arithmetic --
A Quantifier Elimination Algorithm for Linear Real Arithmetic --
(LIA) --
Model Evolution with Linear Integer Arithmetic Constraints --
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic --
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking --
Session 6. Verification --
On Bounded Reachability of Programs with Set Comprehensions --
Program Complexity in Hierarchical Module Checking --
Valigator: A Verification Tool with Bound and Invariant Generation --
Reveal: A Formal Verification Tool for Verilog Designs --
Invited Talks --
A Formal Language for Cryptographic Pseudocode --
Reasoning Using Knots --
Session 7. Knowledge Representation 2 --
Role Conjunctions in Expressive Description Logics --
Default Logics with Preference Order: Principles and Characterisations --
On Computing Constraint Abduction Answers --
Fast Counting with Bounded Treewidth --
Session 8. Proof-Theory 2 --
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution --
Focusing Strategies in the Sequent Calculus of Synthetic Connectives --
An Algorithmic Interpretation of a Deep Inference System --
Weak ??-Normalization and Normalization by Evaluation for System F --
Session 9. Quantified Constraints --
Variable Dependencies of Quantified CSPs --
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings --
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates --
A Logic of Singly Indexed Arrays --
Session 10. Modal and Temporal Logics --
On the Computational Complexity of Spatial Logics with Connectedness Constraints --
Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification --
The Variable Hierarchy for the Lattice ?-Calculus --
A Formalised Lower Bound on Undirected Graph Reachability --
Session 11. Rewriting --
Improving Context-Sensitive Dependency Pairs --
Complexity, Graphs, and the Dependency Pair Method --
Uncurrying for Termination --
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation --
A Higher-Order Iterative Path Ordering --
Variable Dependencies of Quantified CSPs.
Series Title: Lecture notes in computer science, 5330.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Responsibility: Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.).

Abstract:

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar,  Read more...

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/304564347> # Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "304564347" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906163294#Place/berlin> ; # Berlin
   schema:about <http://dewey.info/class/005.115/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/906163294#Topic/informatique> ; # Informatique
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/906163294#Topic/logic_programming> ; # Logic programming
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/21676994> ; # Helmut Veith
   schema:contributor <http://viaf.org/viaf/306104499> ; # Iliano Cervesato
   schema:contributor <http://viaf.org/viaf/8047455> ; # Andrei Voronkov
   schema:copyrightYear "2008" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/906163294#Meeting/lpar_conference_2008_dawhah_qatar> ; # LPAR (Conference) (2008 : Dawhah, Qatar)
   schema:datePublished "2008" ;
   schema:description "This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics."@en ;
   schema:description "Session 1. Constraint Solving -- Symmetry Breaking for Maximum Satisfiability -- Efficient Generation of Unsatisfiability Proofs and Cores in SAT -- Justification-Based Local Search with Adaptive Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1 -- Towards Practical Feasibility of Core Computation in Data Exchange -- Data-Oblivious Stream Productivity -- Reasoning about XML with Temporal Logics and Automata -- Distributed Consistency-Based Diagnosis -- Session 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional Logical Framework -- Nominal Renaming Sets -- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic -- Invited Talk -- Model Checking – My 27-Year Quest to Overcome the State Explosion Problem -- Session 4. Automata -- On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata -- Recurrent Reachability Analysis in Regular Model Checking -- Alternation Elimination by Complementation (Extended Abstract) -- Discounted Properties of Probabilistic Pushdown Automata -- Session 5. Linear Arithmetic -- A Quantifier Elimination Algorithm for Linear Real Arithmetic -- (LIA) -- Model Evolution with Linear Integer Arithmetic Constraints -- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic -- Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set Comprehensions -- Program Complexity in Hierarchical Module Checking -- Valigator: A Verification Tool with Bound and Invariant Generation -- Reveal: A Formal Verification Tool for Verilog Designs -- Invited Talks -- A Formal Language for Cryptographic Pseudocode -- Reasoning Using Knots -- Session 7. Knowledge Representation 2 -- Role Conjunctions in Expressive Description Logics -- Default Logics with Preference Order: Principles and Characterisations -- On Computing Constraint Abduction Answers -- Fast Counting with Bounded Treewidth -- Session 8. Proof-Theory 2 -- Cut Elimination for First Order Gödel Logic by Hyperclause Resolution -- Focusing Strategies in the Sequent Calculus of Synthetic Connectives -- An Algorithmic Interpretation of a Deep Inference System -- Weak ??-Normalization and Normalization by Evaluation for System F -- Session 9. Quantified Constraints -- Variable Dependencies of Quantified CSPs -- Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings -- Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates -- A Logic of Singly Indexed Arrays -- Session 10. Modal and Temporal Logics -- On the Computational Complexity of Spatial Logics with Connectedness Constraints -- Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification -- The Variable Hierarchy for the Lattice ?-Calculus -- A Formalised Lower Bound on Undirected Graph Reachability -- Session 11. Rewriting -- Improving Context-Sensitive Dependency Pairs -- Complexity, Graphs, and the Dependency Pair Method -- Uncurrying for Termination -- Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation -- A Higher-Order Iterative Path Ordering -- Variable Dependencies of Quantified CSPs."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/906163294> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906163294#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906163294#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906163294#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary. SL 7, Artificial intelligence
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906163294#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/906163294#CreativeWork/> ;
   schema:name "Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings"@en ;
   schema:productID "304564347" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/304564347#PublicationEvent/berlin_springer_verlag_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/906163294#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-89438-4> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-540-89438-4> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-89439-1> ;
   schema:url <http://www.myilibrary.com?id=190470> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89438-4> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-540-89439-1> ;
   schema:url <http://site.ebrary.com/id/10266853> ;
   schema:url <http://link.springer.com/10.1007/978-3-540-89439-1> ;
   schema:workExample <http://worldcat.org/isbn/9783540894391> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-540-89439-1> ;
   schema:workExample <http://worldcat.org/isbn/9783540894384> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/304564347> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/906163294#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/906163294#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/304564347> ; # Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/906163294#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/304564347> ; # Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
   schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/906163294#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/304564347> ; # Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/906163294#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary. SL 7, Artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/304564347> ; # Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
   schema:name "LNCS sublibrary. SL 7, Artificial intelligence" ;
    .

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

<http://link.springer.com/10.1007/978-3-540-89439-1>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/21676994> # Helmut Veith
    a schema:Person ;
   schema:familyName "Veith" ;
   schema:givenName "Helmut" ;
   schema:name "Helmut Veith" ;
    .

<http://viaf.org/viaf/306104499> # Iliano Cervesato
    a schema:Person ;
   schema:familyName "Cervesato" ;
   schema:givenName "Iliano" ;
   schema:name "Iliano Cervesato" ;
    .

<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/entity/work/data/906163294#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/304564347> ; # Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
    .

<http://worldcat.org/isbn/9783540894384>
    a schema:ProductModel ;
   schema:isbn "3540894381" ;
   schema:isbn "9783540894384" ;
    .

<http://worldcat.org/isbn/9783540894391>
    a schema:ProductModel ;
   schema:isbn "354089439X" ;
   schema:isbn "9783540894391" ;
    .

<http://www.worldcat.org/title/-/oclc/304564347>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/304564347> ; # Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings
   schema:dateModified "2017-12-23" ;
   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.