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
Checking...

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
Database:WorldCat
Summary:

Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification,  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
Tiflis (1999)
Kongress
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 / [et al.].
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/theoremes_demonstration_automatique_congres> ; # Théorèmes - Démonstration automatique - Congrès
   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://experiment.worldcat.org/entity/work/data/865458252#Topic/programmation_logique_congres> ; # Programmation logique - Congrès
   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://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/programmation_logique_congres> # Programmation logique - Congrès
    a schema:Intangible ;
   schema:name "Programmation logique - Congrès"@en ;
    .

<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://experiment.worldcat.org/entity/work/data/865458252#Topic/theoremes_demonstration_automatique_congres> # Théorèmes - Démonstration automatique - Congrès
    a schema:Intangible ;
   schema:name "Théorèmes - Démonstration automatique - Congrès"@en ;
    .

<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://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 "2016-05-09" ;
   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.