skip to content
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings Preview this item
ClosePreview this item

Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

Author: H Ganzinger; David A McAllester; Andrei Voronkov
Publisher: Berlin ; New York : Springer, ©1999.
Series: Lecture notes in computer science, 1705.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted  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: Kongress
Conference papers and proceedings
Tiflis (1999)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: H Ganzinger; David A McAllester; Andrei Voronkov
ISBN: 3540664920 9783540664925
OCLC Number: 42578905
Description: xii, 395 pages : illustrations ; 24 cm.
Contents: Proofs About Lists Using Ellipsis / Alan Bundy and Julian Richardson --
On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System / Miki Hermann, Laurent Juban and Phokion G. Kolaitis --
Solving Combinatorial Problems with Regular Local Search Algorithms / Ramon Bejar and Felip Manya --
Evidence Algorithm and Sequent Logical Inference Search / Anatoli I. Degtyarev, Alexander V. Lyaletski and Marina K. Morokhovets --
First Order Linear Temporal Logic over Finite Time Structures / Serenella Cerrito, Marta Cialdea Mayer and Sebastien Praud --
Model Checking Games for the Alternation-Free [mu]-Calculus and Alternating Automata / Martin Leucker --
Animating TLA Specifications / Yassine Mokhtari and Stephan Merz --
Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems / Enno Ohlebusch --
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups / Uwe Waldmann --
Regular Sets of Descendants for Constructor-Based Rewrite Systems / Pierre Rety --
Practical Reasoning for Expressive Description Logics / Ian Horrocks, Ulrike Sattler and Stephan Tobies --
Complexity of Terminological Reasoning Revisited / Carsten Lutz --
On the Complexity of Single-Rule Datalog Queries / Georg Gottlob and Christos Papadimitriou --
Abstracting Properties in Concurrent Constraint Programming / Rene Moreno --
A Fixpoint Semantics for Reasoning About Finite Failure / Roberta Gori --
Extensions to the Estimation Calculus / Jeremy Gow, Alan Bundy and Ian Green --
Beth Definability for the Guarded Fragment / Eva Hoogland, Maarten Marz and Martin Otto --
Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas / Michael Dierkes --
Resource Management in Linear Logic Proof Search Revisited / Pablo Lopez and Ernesto Pimentel --
Focusing and Proof-Nets in Linear and Non-commutative Logic / Jean-Marc Andreoli and Roberto Maieli --
CHAT Is [theta](SLG-WAM) / Bart Demoen and Kanstantinos Sagonas. Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog / Nikolay Pelov and Maurice Bruynooghe --
A Partial Evaluation Framework for Curry Programs / Elvira Albert, Maria Alpuente and Michael Hanus / [and others].
Series Title: Lecture notes in computer science, 1705.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Harald Ganzinger, David McAllester, 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/42578905> # Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "42578905" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/865458252#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://dewey.info/class/005.115/e21/> ;
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/kongress> ; # Kongress
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/programmation_logique> ; # Programmation logique
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/programmierlogik> ; # Programmierlogik
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/logic_programming> ; # Logic programming
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/865458252#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/256382642> ; # David A. McAllester
    schema:contributor <http://viaf.org/viaf/35028679> ; # Harald Ganzinger
    schema:contributor <http://viaf.org/viaf/8047455> ; # Andrei Voronkov
    schema:copyrightYear "1999" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/865458252#Meeting/lpar_conference_6th_1999_tbilisi_georgia> ; # LPAR (Conference) (6th : 1999 : Tʻbilisi, Georgia)
    schema:datePublished "1999" ;
    schema:description "Proofs About Lists Using Ellipsis / Alan Bundy and Julian Richardson -- On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System / Miki Hermann, Laurent Juban and Phokion G. Kolaitis -- Solving Combinatorial Problems with Regular Local Search Algorithms / Ramon Bejar and Felip Manya -- Evidence Algorithm and Sequent Logical Inference Search / Anatoli I. Degtyarev, Alexander V. Lyaletski and Marina K. Morokhovets -- First Order Linear Temporal Logic over Finite Time Structures / Serenella Cerrito, Marta Cialdea Mayer and Sebastien Praud -- Model Checking Games for the Alternation-Free [mu]-Calculus and Alternating Automata / Martin Leucker -- Animating TLA Specifications / Yassine Mokhtari and Stephan Merz -- Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems / Enno Ohlebusch -- Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups / Uwe Waldmann -- Regular Sets of Descendants for Constructor-Based Rewrite Systems / Pierre Rety -- Practical Reasoning for Expressive Description Logics / Ian Horrocks, Ulrike Sattler and Stephan Tobies -- Complexity of Terminological Reasoning Revisited / Carsten Lutz -- On the Complexity of Single-Rule Datalog Queries / Georg Gottlob and Christos Papadimitriou -- Abstracting Properties in Concurrent Constraint Programming / Rene Moreno -- A Fixpoint Semantics for Reasoning About Finite Failure / Roberta Gori -- Extensions to the Estimation Calculus / Jeremy Gow, Alan Bundy and Ian Green -- Beth Definability for the Guarded Fragment / Eva Hoogland, Maarten Marz and Martin Otto -- Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas / Michael Dierkes -- Resource Management in Linear Logic Proof Search Revisited / Pablo Lopez and Ernesto Pimentel -- Focusing and Proof-Nets in Linear and Non-commutative Logic / Jean-Marc Andreoli and Roberto Maieli -- CHAT Is [theta](SLG-WAM) / Bart Demoen and Kanstantinos Sagonas."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/865458252> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Tiflis (1999)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865458252#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865458252#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:name "Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings"@en ;
    schema:productID "42578905" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/42578905#PublicationEvent/berlin_new_york_springer_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/865458252#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz079645062cov.htm> ;
    schema:url <http://dx.doi.org/10.1007/3-540-48242-3> ;
    schema:url <http://link.springer.com/10.1007/3-540-48242-3> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1705> ;
    schema:workExample <http://worldcat.org/isbn/9783540664925> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9968888> ;
    umbel:isLike <http://d-nb.info/957212224> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/42578905> ;
    .


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/865458252#Meeting/lpar_conference_6th_1999_tbilisi_georgia> # LPAR (Conference) (6th : 1999 : Tʻbilisi, Georgia)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/865458252#Place/tbilisi_georgia> ; # Tʻbilisi, Georgia)
    schema:name "LPAR (Conference) (6th : 1999 : Tʻbilisi, Georgia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/865458252#Place/tbilisi_georgia> # Tʻbilisi, Georgia)
    a schema:Place ;
    schema:name "Tʻbilisi, Georgia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/865458252#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/42578905> ; # Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/865458252#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/42578905> ; # Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/865458252#Topic/automatische_bewijsvoering> # Automatische bewijsvoering
    a schema:Intangible ;
    schema:name "Automatische bewijsvoering"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/865458252#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
    schema:name "Logisch programmeren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/865458252#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
    schema:name "Logische Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/865458252#Topic/programmation_logique> # Programmation logique
    a schema:Intangible ;
    schema:name "Programmation logique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/865458252#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/1002056> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

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

<http://link.springer.com/10.1007/3-540-48242-3>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://viaf.org/viaf/256382642> # David A. McAllester
    a schema:Person ;
    schema:familyName "McAllester" ;
    schema:givenName "David A." ;
    schema:name "David A. McAllester" ;
    .

<http://viaf.org/viaf/35028679> # Harald Ganzinger
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Ganzinger" ;
    schema:givenName "Harald" ;
    schema:givenName "H." ;
    schema:name "Harald Ganzinger" ;
    .

<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/9783540664925>
    a schema:ProductModel ;
    schema:isbn "3540664920" ;
    schema:isbn "9783540664925" ;
    .

<http://www.worldcat.org/title/-/oclc/42578905>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/42578905> ; # Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
    schema:dateModified "2018-05-17" ;
    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.