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:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes 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. The 20 revised full papers and two system descriptions presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. All current issues surrounding the  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Electronic books
Conference papers and proceedings
Kopenhagen (2002)
Congresses
Congrès
Additional Physical Format: Print version:TABLEAUX 2002 (2002 : Copenhagen, Denmark)
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
(OCoLC)50072162
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Uwe Egly; C Fermüller
ISBN: 9783540456162 3540456163
OCLC Number: 50425731
Description: 1 online resource (x, 339 pages) : illustrations.
Contents: Invited Papers --
Proof Analysis by Resolution --
Using Linear Logic to Reason about Sequent Systems --
Research Papers --
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic --
Tableaux for Quantified Hybrid Logic --
Tableau-Based Automated Deduction for Duration Calculus --
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge --
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic --
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks --
Tableau Calculi for the Logics of Finite k-Ary Trees --
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition --
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment --
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas --
Integration of Equality Reasoning into the Disconnection Calculus --
Analytic Sequent Calculi for Abelian and?ukasiewicz Logics --
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief --
A Confluent Theory Connection Calculus --
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices --
Question Answering: From Partitions to Prolog --
A General Theorem Prover for Quantified Modal Logics --
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem --
A New Indefinite Semantics for Hilbert's Epsilon --
A Tableau Calculus for Combining Non-disjoint Theories --
System Descriptions Papers --
LINK: A Proof Environment Based on Proof Nets --
DCTP 1.2 --
System Abstract.
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.).

Abstract:

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.  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/50425731> # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "50425731" ;
   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#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Place/kopenhagen_2002> ; # Kopenhagen <2002>
   schema:about <http://dewey.info/class/006.333/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/898358993#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
   schema:bookFormat schema:EBook ;
   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 "This book constitutes 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. The 20 revised full papers and two system descriptions presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed. Among the logic calculi investigated are linear logic, temporal logic, modal logics, hybrid logic, multi-modal logics, fuzzy logics, Goedel logic, Lukasiewicz logic, intermediate logics, quantified boolean logic, and, of course, classical first-order logic."@en ;
   schema:description "Invited Papers -- Proof Analysis by Resolution -- Using Linear Logic to Reason about Sequent Systems -- Research Papers -- A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic -- Tableaux for Quantified Hybrid Logic -- Tableau-Based Automated Deduction for Duration Calculus -- Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge -- A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic -- Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks -- Tableau Calculi for the Logics of Finite k-Ary Trees -- A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas -- Integration of Equality Reasoning into the Disconnection Calculus -- Analytic Sequent Calculi for Abelian and?ukasiewicz Logics -- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief -- A Confluent Theory Connection Calculus -- On Uniform Word Problems Involving Bridging Operators on Distributive Lattices -- Question Answering: From Partitions to Prolog -- A General Theorem Prover for Quantified Modal Logics -- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem -- A New Indefinite Semantics for Hilbert's Epsilon -- A Tableau Calculus for Combining Non-disjoint Theories -- System Descriptions Papers -- LINK: A Proof Environment Based on Proof Nets -- DCTP 1.2 -- System Abstract."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/898358993> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Kopenhagen (2002)"@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:isSimilarTo <http://www.worldcat.org/oclc/50072162> ;
   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 "50425731" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/50425731#PublicationEvent/berlin_new_york_springer_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/898358993#Agent/springer> ; # Springer
   schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/3-540-45616-3> ;
   schema:url <http://link.springer.de/link/service/series/0558/tocs/t2381.htm> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-43929-5> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540456163> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-43929-5> ;
   schema:url <http://dx.doi.org/10.1007/3-540-45616-3> ;
   schema:url <http://link.springer.com/10.1007/3-540-45616-3> ;
   schema:workExample <http://worldcat.org/isbn/9783540456162> ;
   schema:workExample <http://dx.doi.org/10.1007/3-540-45616-3> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/50425731> ;
    .


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/50425731> ; # 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://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

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

<http://www.worldcat.org/oclc/50072162>
    a schema:CreativeWork ;
   rdfs:label "Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings" ;
   schema:description "Print version:TABLEAUX 2002 (2002 : Copenhagen, Denmark)" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/50425731> ; # Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
    .

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