Borrow it
- African Studies Library
- Alumni Medical Library
- Astronomy Library
- Fineman and Pappas Law Libraries
- Frederick S. Pardee Management Library
- Howard Gotlieb Archival Research Center
- Mugar Memorial Library
- Music Library
- Pikering Educational Resources Library
- School of Theology Library
- Science & Engineering Library
- Stone Science Library
The Resource Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.)
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.)
Resource Information
The item Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
- Language
- eng
- Extent
- x, 339 pages
- 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
- Isbn
- 9783540439295
- Label
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
- Title
- Automated reasoning with analytic tableaux and related methods
- Title remainder
- international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
- Statement of responsibility
- Uwe Egly, Christian G. Fermüller (eds.)
- Subject
-
- Automatic theorem proving -- Congresses
- Automatisches Beweisverfahren
- Conference papers and proceedings
- Kongress -- Kopenhagen -- 2002
- Kopenhagen (2002)
- Kopenhagen <2002>
- Kunstmatige intelligentie
- Kunstmatige intelligentie
- Redeneren
- Redeneren
- Théorèmes -- Démonstration automatique -- Congrès
- Théorèmes -- Démonstration automatique | Congrès
- démonstration théorème
- logique linéaire
- logique mathématique
- logique temporelle
- programmation en logique
- raisonnement logique
- système hybride
- tableau analytique
- vérification formelle
- Automatic theorem proving
- Language
- eng
- Cataloging source
- DLC
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.9.A96
- LC item number
- T33 2002
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2002
- http://bibfra.me/vocab/lite/meetingName
- TABLEAUX 2002
- Nature of contents
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
-
- 1960-
- 1963-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Egly, Uwe
- Fermüller, C.
- Series statement
- Lecture notes in computer science
- Series volume
- 2381. Lecture notes in artificial intelligence
- http://library.link/vocab/subjectName
-
- Automatic theorem proving
- Kunstmatige intelligentie
- Redeneren
- système hybride
- logique linéaire
- logique temporelle
- logique mathématique
- programmation en logique
- raisonnement logique
- vérification formelle
- tableau analytique
- démonstration théorème
- Théorèmes
- Automatic theorem proving
- Kunstmatige intelligentie
- Redeneren
- Théorèmes
- Automatisches Beweisverfahren
- Kopenhagen <2002>
- Label
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Dimensions
- 24 cm.
- Dimensions
- unknown
- Extent
- x, 339 pages
- Isbn
- 9783540439295
- Isbn Type
- (softcover : alk. paper)
- Lccn
- 2002026689
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- Specific material designation
- remote
- System control number
-
- (OCoLC)50072162
- (OCoLC)ocm50072162
- Label
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.)
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- volume
- Carrier category code
-
- nc
- Carrier MARC source
- rdacarrier
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Dimensions
- 24 cm.
- Dimensions
- unknown
- Extent
- x, 339 pages
- Isbn
- 9783540439295
- Isbn Type
- (softcover : alk. paper)
- Lccn
- 2002026689
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- Specific material designation
- remote
- System control number
-
- (OCoLC)50072162
- (OCoLC)ocm50072162
Subject
- Automatic theorem proving -- Congresses
- Automatisches Beweisverfahren
- Conference papers and proceedings
- Kongress -- Kopenhagen -- 2002
- Kopenhagen (2002)
- Kopenhagen <2002>
- Kunstmatige intelligentie
- Kunstmatige intelligentie
- Redeneren
- Redeneren
- Théorèmes -- Démonstration automatique -- Congrès
- Théorèmes -- Démonstration automatique | Congrès
- démonstration théorème
- logique linéaire
- logique mathématique
- logique temporelle
- programmation en logique
- raisonnement logique
- système hybride
- tableau analytique
- vérification formelle
- Automatic theorem proving
Genre
Member of
- Lecture notes in computer science, Lecture notes in artificial intelligence
- Lecture notes in computer science, 2381
Library Locations
-
African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 -71.108227
-
-
Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 -71.105717
-
Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 -71.107023
-
Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 -71.099547
-
Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 -71.108227
-
-
Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 -71.108227
-
Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 -71.101425
-
School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 -71.107235
-
Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 -71.102257
-
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Automated-reasoning-with-analytic-tableaux-and/tCPmwLZUP0A/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Automated-reasoning-with-analytic-tableaux-and/tCPmwLZUP0A/">Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Automated-reasoning-with-analytic-tableaux-and/tCPmwLZUP0A/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Automated-reasoning-with-analytic-tableaux-and/tCPmwLZUP0A/">Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings, Uwe Egly, Christian G. Fermüller (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>