skip to content
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings Preview this item
ClosePreview this item
Checking...

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings

Author: Uwe Egly; C Fermüller
Publisher: Berlin ; New York : Springer, ©2002.
Series: Lecture notes in computer science, 2381.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:

These are the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002.

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
Kopenhagen (2002)
Congresses
Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Uwe Egly; C Fermüller
ISBN: 3540439293 9783540439295
OCLC Number: 50072162
Description: x, 339 pages : illustrations ; 24 cm.
Contents: Proof Analysis by Resolution / Matthias Baaz --
Using Linear Logic to Reason about Sequent Systems / Dale Miller and Elaine Pimentel --
A Schutte-Tait Style Cut-Elimination Proof for First-Order Godel Logic / Matthias Baaz and Agata Ciabattoni --
Tableaux for Quantified Hybrid Logic / Patrick Blackburn and Maarten Marx --
Tableau-Based Automated Deduction for Duration Calculus / Nathalie Chetcuti-Sperandio --
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge / Marta Cialdea Mayer and Carla Limongelli --
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic / Anatoli Degtyarev, Michael Fisher and Boris Konev --
Model Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks / Thomas Eiter, Volker Klotz, Hans Tompits and Stefan Woltran --
Tableau Calculi for the Logics of Finite k-Ary Trees / Mauro Ferrari, Camillo Fiorentini and Guido Fiorino --
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition / Martin Giese --
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment / Jan Hladik --
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas / Reinhold Letz --
Integration of Equality Reasoning into the Disconnection Calculus / Reinhold Letz and Gernot Stenz --
Analytic Sequent Calculi for Abelian and Lukasiewicz Logics / George Metcalfe, Nicola Olivetti and Dov Gabbay --
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief / Linch Anh Nguyen --
A Confluent Theory Connection Calculus / Uwe Petermann --
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices / Viorica Sofronie-Stokkermans --
Question Answering: From Partitions to Prolog / Balder ten Cate and Chung-chieh Shan --
A General Theorem Prover for Quantified Modal Logics / V. Thion, S. Cerrito and Marta Cialdea Mayer --
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem / Dan E. Willard --
A New Indefinite Semantics for Hilbert's Epsilon / Claus-Peter Wirth --
A Tableau Calculus for Combining Non-disjoint Theories / Calogero G. Zarba --
LINK: A Proof Environment Based on Proof Nets / L. Habert, J.-M. Notin and D. Galmiche --
DCTP 1.2 --
System Abstract / Gernot Stenz.
Series Title: Lecture notes in computer science, 2381.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Uwe Egly, Christian G. Fermüller (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/50072162> # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "50072162" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/898358993#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://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Topic/redeneren> ; # Redeneren
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Place/kopenhagen_2002> ; # Kopenhagen <2002>
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Topic/theoremes_demonstration_automatique_congres> ; # Théorèmes--Démonstration automatique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:about <http://dewey.info/class/006.333/e21/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/80368589> ; # Uwe Egly
   schema:contributor <http://viaf.org/viaf/85226528> ; # Christian Fermüller
   schema:copyrightYear "2002" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/898358993#Meeting/tableaux_2002_2002_copenhagen_denmark> ; # TABLEAUX 2002 (2002 : Copenhagen, Denmark)
   schema:datePublished "2002" ;
   schema:description "Proof Analysis by Resolution / Matthias Baaz -- Using Linear Logic to Reason about Sequent Systems / Dale Miller and Elaine Pimentel -- A Schutte-Tait Style Cut-Elimination Proof for First-Order Godel Logic / Matthias Baaz and Agata Ciabattoni -- Tableaux for Quantified Hybrid Logic / Patrick Blackburn and Maarten Marx -- Tableau-Based Automated Deduction for Duration Calculus / Nathalie Chetcuti-Sperandio -- Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge / Marta Cialdea Mayer and Carla Limongelli -- A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic / Anatoli Degtyarev, Michael Fisher and Boris Konev -- Model Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks / Thomas Eiter, Volker Klotz, Hans Tompits and Stefan Woltran -- Tableau Calculi for the Logics of Finite k-Ary Trees / Mauro Ferrari, Camillo Fiorentini and Guido Fiorino -- A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition / Martin Giese -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment / Jan Hladik -- Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas / Reinhold Letz -- Integration of Equality Reasoning into the Disconnection Calculus / Reinhold Letz and Gernot Stenz -- Analytic Sequent Calculi for Abelian and Lukasiewicz Logics / George Metcalfe, Nicola Olivetti and Dov Gabbay -- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief / Linch Anh Nguyen -- A Confluent Theory Connection Calculus / Uwe Petermann -- On Uniform Word Problems Involving Bridging Operators on Distributive Lattices / Viorica Sofronie-Stokkermans -- Question Answering: From Partitions to Prolog / Balder ten Cate and Chung-chieh Shan -- A General Theorem Prover for Quantified Modal Logics / V. Thion, S. Cerrito and Marta Cialdea Mayer -- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem / Dan E. Willard -- A New Indefinite Semantics for Hilbert's Epsilon / Claus-Peter Wirth -- A Tableau Calculus for Combining Non-disjoint Theories / Calogero G. Zarba -- LINK: A Proof Environment Based on Proof Nets / L. Habert, J.-M. Notin and D. Galmiche -- DCTP 1.2 -- System Abstract / Gernot Stenz."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/898358993> ;
   schema:genre "Kongress"@en ;
   schema:genre "Kopenhagen (2002)"@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/898358993#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:name "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings"@en ;
   schema:productID "50072162" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/50072162#PublicationEvent/berlin_new_york_springer_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/898358993#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz099961385cov.htm> ;
   schema:url <http://link.springer.de/link/service/series/0558/tocs/t2381.htm> ;
   schema:url <http://ezproxy.rice.edu/login?url=http://link.springer-ny.com/link/service/series/0558/tocs/t2381.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz099961385kap.htm> ;
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2381.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz099961385inh.htm> ;
   schema:url <http://link.springer.com/10.1007/3-540-45616-3> ;
   schema:url <http://dx.doi.org/10.1007/3-540-45616-3> ;
   schema:workExample <http://worldcat.org/isbn/9783540439295> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA252666> ;
   umbel:isLike <http://d-nb.info/964615371> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/50072162> ;
    .


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/898358993#Meeting/tableaux_2002_2002_copenhagen_denmark> # TABLEAUX 2002 (2002 : Copenhagen, Denmark)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/898358993#Place/copenhagen_denmark> ; # Copenhagen, Denmark)
   schema:name "TABLEAUX 2002 (2002 : Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898358993#Place/copenhagen_denmark> # Copenhagen, Denmark)
    a schema:Place ;
   schema:name "Copenhagen, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898358993#Place/kopenhagen_2002> # Kopenhagen <2002>
    a schema:Place ;
   schema:name "Kopenhagen <2002>" ;
    .

<http://experiment.worldcat.org/entity/work/data/898358993#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/50072162> ; # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/898358993#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
   schema:name "Kunstmatige intelligentie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/898358993#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/898358993#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/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

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

<http://link.springer.de/link/service/series/0558/tocs/t2381.htm>
   rdfs:comment "Available to Stanford-affiliated users at" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t2381.htm>
   rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/80368589> # Uwe Egly
    a schema:Person ;
   schema:birthDate "1960" ;
   schema:familyName "Egly" ;
   schema:givenName "Uwe" ;
   schema:name "Uwe Egly" ;
    .

<http://viaf.org/viaf/85226528> # Christian Fermüller
    a schema:Person ;
   schema:birthDate "1963" ;
   schema:familyName "Fermüller" ;
   schema:givenName "Christian" ;
   schema:givenName "C." ;
   schema:name "Christian Fermüller" ;
    .

<http://worldcat.org/isbn/9783540439295>
    a schema:ProductModel ;
   schema:isbn "3540439293" ;
   schema:isbn "9783540439295" ;
    .

<http://www.worldcat.org/title/-/oclc/50072162>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/50072162> ; # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
   schema:dateModified "2017-12-25" ;
   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.