skip to content
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings Preview this item
ClosePreview this item
Checking...

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Author: Matthias Baaz; Andrei Voronkov
Publisher: Berlin ; New York : Springer, ©2002.
Series: Lecture notes in computer science, 2514.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are  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 proceedings
Tiflis (2002)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Matthias Baaz; Andrei Voronkov
ISBN: 3540000100 9783540000105
OCLC Number: 50693211
Description: xiii, 463 pages : illustrations ; 24 cm.
Contents: Improving On-Demand Strategy Annotations / M. Alpuente, S. Escobar, B. Gramlich and S. Lucas --
First-Order Logic as a Constraint Programming Language / K. R. Apt and C. F. M. Vermeulen --
Maintenance of Formal Software Developments by Stratified Verification / Serge Autexier and Dieter Hutter --
A Note on Universal Measures for Weak Implicit Computational Complexity / Arnold Beckmann --
Extending Compositional Message Sequence Graphs / Benedikt Bollig, Martin Leucker and Philipp Lucas --
Searching for Invariants Using Temporal Resolution / James Brotherston, Anatoli Degtyarev, Michael Fisher and Alexei Lisitsa --
Proof Planning for Feature Interactions: A Preliminary Report / Claudio Castellini and Alan Smaill --
An Extension of BDI[subscript CTL] with Functional Dependencies and Components / Mehdi Dastani and Leendert van der Torre --
Binding Logic: Proofs and Models / Gilles Dowek, Therese Hardin and Claude Kirchner --
Directed Automated Theorem Proving / Stefan Edelkamp and Peter Leven --
A Framework for Splitting BDI Agents / Xiaocong Fan and John Yen --
On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics / Mauro Ferrari, Camillo Fiorentini and Guido Fiorino --
Using BDDs with Combinations of Theories / Pascal Fontaine and E. Pascal Gribomont --
On Expressive Description Logics with Composition of Roles in Number Restrictions / Fabio Grandi --
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation / Gianluigi Greco, Sergio Greco, Irina Trubtsyna and Ester Zumpano --
A Non-commutative Extension of MELL / Alessio Guglielmi and Lutz Strassburger --
Procedural Semantics for Fuzzy Disjunctive Programs / Dusan Guller --
Pushdown Specifications / Orna Kupferman, Nir Piterman and Moshe Y. Vardi --
Theorem Proving with Sequence Variables and Flexible Arity Symbols / Temur Kutsia --
Games, Probability, and the Quantitative [mu]-Calculus qM[mu] / A. K. McIver and C. C. Morgan --
Parallelism and Tree Regular Constraints / Joachim Niehren and Mateu Villaret --
Godel Logics and Cantor-Bendixon Analysis / Norbert Preining --
A Semantics for Proof Plans with Applications to Interactive Proof Planning / Julian Richardson --
An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction / Jose Espirito Santo --
Proof Development with [omega]MEGA: [square root of]2 Is Irrational / J. Sickmann, C. Benzmuller, A. Fiedler, A. Meier and M. Pollet --
A Local System for Linear Logic / Lutz Strassburger --
Investigating Type-Certifying Compilation with Isabelle / Martin Strecker --
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions / Don Syme and Andrew D. Gordon --
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics / Sergio Tessaris and Ian Horrocks --
Fuzzy Prolog: A Simple General Implementation Using CLP(R) / Claudio Vaucheret, Sergio Guadarrama and Susana Munoz.
Series Title: Lecture notes in computer science, 2514.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Matthias Baaz, 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/50693211> # Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "50693211" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1103728834#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/kongress> ; # Kongress
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://dewey.info/class/006.3/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/programmierlogik> ; # Programmierlogik
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/logic_programming> ; # Logic programming
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/programmation_logique> ; # Programmation logique
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/1103728834#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/8047455> ; # Andrei Voronkov
    schema:contributor <http://viaf.org/viaf/2724418> ; # Matthias Baaz
    schema:copyrightYear "2002" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1103728834#Meeting/lpar_conference_9th_2002_tbilisi_georgia> ; # LPAR (Conference) (9th : 2002 : Tʻbilisi, Georgia)
    schema:datePublished "2002" ;
    schema:description "Improving On-Demand Strategy Annotations / M. Alpuente, S. Escobar, B. Gramlich and S. Lucas -- First-Order Logic as a Constraint Programming Language / K. R. Apt and C. F. M. Vermeulen -- Maintenance of Formal Software Developments by Stratified Verification / Serge Autexier and Dieter Hutter -- A Note on Universal Measures for Weak Implicit Computational Complexity / Arnold Beckmann -- Extending Compositional Message Sequence Graphs / Benedikt Bollig, Martin Leucker and Philipp Lucas -- Searching for Invariants Using Temporal Resolution / James Brotherston, Anatoli Degtyarev, Michael Fisher and Alexei Lisitsa -- Proof Planning for Feature Interactions: A Preliminary Report / Claudio Castellini and Alan Smaill -- An Extension of BDI[subscript CTL] with Functional Dependencies and Components / Mehdi Dastani and Leendert van der Torre -- Binding Logic: Proofs and Models / Gilles Dowek, Therese Hardin and Claude Kirchner -- Directed Automated Theorem Proving / Stefan Edelkamp and Peter Leven -- A Framework for Splitting BDI Agents / Xiaocong Fan and John Yen -- On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics / Mauro Ferrari, Camillo Fiorentini and Guido Fiorino -- Using BDDs with Combinations of Theories / Pascal Fontaine and E. Pascal Gribomont -- On Expressive Description Logics with Composition of Roles in Number Restrictions / Fabio Grandi -- Query Optimization of Disjunctive Databases with Constraints through Binding Propagation / Gianluigi Greco, Sergio Greco, Irina Trubtsyna and Ester Zumpano -- A Non-commutative Extension of MELL / Alessio Guglielmi and Lutz Strassburger -- Procedural Semantics for Fuzzy Disjunctive Programs / Dusan Guller -- Pushdown Specifications / Orna Kupferman, Nir Piterman and Moshe Y. Vardi -- Theorem Proving with Sequence Variables and Flexible Arity Symbols / Temur Kutsia -- Games, Probability, and the Quantitative [mu]-Calculus qM[mu] / A. K. McIver and C. C. Morgan -- Parallelism and Tree Regular Constraints / Joachim Niehren and Mateu Villaret -- Godel Logics and Cantor-Bendixon Analysis / Norbert Preining -- A Semantics for Proof Plans with Applications to Interactive Proof Planning / Julian Richardson -- An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction / Jose Espirito Santo -- Proof Development with [omega]MEGA: [square root of]2 Is Irrational / J. Sickmann, C. Benzmuller, A. Fiedler, A. Meier and M. Pollet -- A Local System for Linear Logic / Lutz Strassburger -- Investigating Type-Certifying Compilation with Isabelle / Martin Strecker -- Automating Type Soundness Proofs via Decision Procedures and Guided Reductions / Don Syme and Andrew D. Gordon -- Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics / Sergio Tessaris and Ian Horrocks -- Fuzzy Prolog: A Simple General Implementation Using CLP(R) / Claudio Vaucheret, Sergio Guadarrama and Susana Munoz."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1103728834> ;
    schema:genre "Conference proceedings"@en ;
    schema:genre "Tiflis (2002)"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1103728834#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/1103728834#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:name "Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings"@en ;
    schema:productID "50693211" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/50693211#PublicationEvent/berlin_new_york_springer_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1103728834#Agent/springer> ; # Springer
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2514.htm> ;
    schema:url <http://dx.doi.org/10.1007/3-540-36078-6> ;
    schema:workExample <http://worldcat.org/isbn/9783540000105> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA273934> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/50693211> ;
    .


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

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

<http://experiment.worldcat.org/entity/work/data/1103728834#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/50693211> ; # Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1103728834#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/50693211> ; # Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1103728834#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
    schema:name "Intelligence artificielle"@fr ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/1103728834#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/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://link.springer-ny.com/link/service/series/0558/tocs/t2514.htm>
    rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/2724418> # Matthias Baaz
    a schema:Person ;
    schema:familyName "Baaz" ;
    schema:givenName "Matthias" ;
    schema:name "Matthias Baaz" ;
    .

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

<http://www.worldcat.org/title/-/oclc/50693211>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/50693211> ; # Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
    schema:dateModified "2015-03-05" ;
    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.