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 Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], eds
Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], eds
Resource Information
The item Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], 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 Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], 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.
- Summary
- "This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic."--PUBLISHER'S WEBSITE
- Language
- eng
- Extent
- x, 329 pages
- Contents
-
- On sets, types, fixed points, and checkerboards / Peter B. Andrews, Matthew Bishop
- Fibred tableaux for multi-implication logics / Marcello D'Agostino, Dov M. Gabbay
- Interpolation for a sequent calculus of generalized quantifiers / Natasha Alechina
- Almost duplication-free tableau calculi for propositional Lax logics / Alessandro Avellone, Mauro Ferrari
- Combining many-valued and intuitionistic tableaux / Matthias Baaz, Christian G. Fermüller
- Cyclic connections / Gérard Becher
- Incremental theory reasoning methods for semantic tableaux / Bernhard Beckert, Christian Pape --The disconnection method : a confluent integration of unification in the analytic framework / Jean-Paul Billon
- Sequent calculi for default and autoepistemic logics / Piero A. Bonatti
- Minimal model generation with positive unit hyper-resolution tableaux / François Bry, Adnan Yahya
- Distributed modal theorem proving with KE / Jeremy Pitt, Jim Cunningham
- A simple tableau system for the logic of elsewhere / Stéphane Demri
- Situational calculus, linear connection proofs and STRIPS-like planning : an experimental comparison / Bertram Fronhöfer
- Efficient loop-check for backward proof search in some non-classical propositional logics / Alain Heuerding, Michael Seyfried, Heinrich Zimmermann
- Strong normalization for all-style LK[superscript tq] / Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
- T-string-unification : unifying prefixes in non-classical proof methods / Jens Otten, Christoph Kreitz
- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits / Michael Mendler
- A tableau calculus for minimal model reasoning / Ilkka Niemelä
- On the intuitionistic force of classical search / Eike Ritter, David Pym, Lincoln Wallen
- Proof-search in intuitionistic logic based on constraint satisfaction / Andrei Voronkov
- Isbn
- 9783540612087
- Label
- Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
- Title
- Theorem proving with analytic tableaux and related methods
- Title remainder
- 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
- Statement of responsibility
- P. Miglioli [and others], eds
- Subject
-
- Automatic theorem proving -- Congresses
- Automatische bewijsvoering
- Automatisches Beweisverfahren
- Conference papers and proceedings
- Kongreß
- Kongreß -- Terrasini Favarotta -- 1996
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical -- Congresses
- Logique mathématique -- Congrès
- Logique mathématique nonclassique -- Congrès
- Nonclassical mathematical logic
- Nonclassical mathematical logic -- Congresses
- Terrasini Favarotta (1996)
- Théorèmes -- Démonstration automatique | Congrès
- démonstration théorème
- logique intuitionniste
- logique linéaire
- logique modale
- logique temporelle
- raisonnement automatique
- tableau
- tableau sémantique
- théorie démonstration
- Automatic theorem proving
- Language
- eng
- Summary
- "This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic."--PUBLISHER'S WEBSITE
- Cataloging source
- DLC
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.9.A96
- LC item number
- T33 1996
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1996
- http://bibfra.me/vocab/lite/meetingName
- TABLEAUX '96
- Nature of contents
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
- Miglioli, P
- Series statement
-
- Lecture notes in computer science
- Lecture notes in artificial intelligence
- Series volume
- 1071.
- http://library.link/vocab/subjectName
-
- Automatic theorem proving
- Nonclassical mathematical logic
- Logic, Symbolic and mathematical
- tableau sémantique
- logique intuitionniste
- logique linéaire
- logique temporelle
- raisonnement automatique
- logique modale
- tableau
- démonstration théorème
- théorie démonstration
- Automatic theorem proving
- Logic, Symbolic and mathematical
- Nonclassical mathematical logic
- Automatische bewijsvoering
- Théorèmes
- Logique mathématique nonclassique
- Logique mathématique
- Automatisches Beweisverfahren
- Kongreß
- Label
- Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], 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
- On sets, types, fixed points, and checkerboards / Peter B. Andrews, Matthew Bishop -- Fibred tableaux for multi-implication logics / Marcello D'Agostino, Dov M. Gabbay -- Interpolation for a sequent calculus of generalized quantifiers / Natasha Alechina -- Almost duplication-free tableau calculi for propositional Lax logics / Alessandro Avellone, Mauro Ferrari -- Combining many-valued and intuitionistic tableaux / Matthias Baaz, Christian G. Fermüller -- Cyclic connections / Gérard Becher -- Incremental theory reasoning methods for semantic tableaux / Bernhard Beckert, Christian Pape --The disconnection method : a confluent integration of unification in the analytic framework / Jean-Paul Billon -- Sequent calculi for default and autoepistemic logics / Piero A. Bonatti -- Minimal model generation with positive unit hyper-resolution tableaux / François Bry, Adnan Yahya -- Distributed modal theorem proving with KE / Jeremy Pitt, Jim Cunningham -- A simple tableau system for the logic of elsewhere / Stéphane Demri -- Situational calculus, linear connection proofs and STRIPS-like planning : an experimental comparison / Bertram Fronhöfer -- Efficient loop-check for backward proof search in some non-classical propositional logics / Alain Heuerding, Michael Seyfried, Heinrich Zimmermann -- Strong normalization for all-style LK[superscript tq] / Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco -- T-string-unification : unifying prefixes in non-classical proof methods / Jens Otten, Christoph Kreitz -- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits / Michael Mendler -- A tableau calculus for minimal model reasoning / Ilkka Niemelä -- On the intuitionistic force of classical search / Eike Ritter, David Pym, Lincoln Wallen -- Proof-search in intuitionistic logic based on constraint satisfaction / Andrei Voronkov
- Dimensions
- 24 cm.
- Extent
- x, 329 pages
- Isbn
- 9783540612087
- Lccn
- 96017235
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- System control number
-
- (OCoLC)34604201
- (OCoLC)ocm34604201
- Label
- Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], 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
- On sets, types, fixed points, and checkerboards / Peter B. Andrews, Matthew Bishop -- Fibred tableaux for multi-implication logics / Marcello D'Agostino, Dov M. Gabbay -- Interpolation for a sequent calculus of generalized quantifiers / Natasha Alechina -- Almost duplication-free tableau calculi for propositional Lax logics / Alessandro Avellone, Mauro Ferrari -- Combining many-valued and intuitionistic tableaux / Matthias Baaz, Christian G. Fermüller -- Cyclic connections / Gérard Becher -- Incremental theory reasoning methods for semantic tableaux / Bernhard Beckert, Christian Pape --The disconnection method : a confluent integration of unification in the analytic framework / Jean-Paul Billon -- Sequent calculi for default and autoepistemic logics / Piero A. Bonatti -- Minimal model generation with positive unit hyper-resolution tableaux / François Bry, Adnan Yahya -- Distributed modal theorem proving with KE / Jeremy Pitt, Jim Cunningham -- A simple tableau system for the logic of elsewhere / Stéphane Demri -- Situational calculus, linear connection proofs and STRIPS-like planning : an experimental comparison / Bertram Fronhöfer -- Efficient loop-check for backward proof search in some non-classical propositional logics / Alain Heuerding, Michael Seyfried, Heinrich Zimmermann -- Strong normalization for all-style LK[superscript tq] / Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco -- T-string-unification : unifying prefixes in non-classical proof methods / Jens Otten, Christoph Kreitz -- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits / Michael Mendler -- A tableau calculus for minimal model reasoning / Ilkka Niemelä -- On the intuitionistic force of classical search / Eike Ritter, David Pym, Lincoln Wallen -- Proof-search in intuitionistic logic based on constraint satisfaction / Andrei Voronkov
- Dimensions
- 24 cm.
- Extent
- x, 329 pages
- Isbn
- 9783540612087
- Lccn
- 96017235
- Media category
- unmediated
- Media MARC source
- rdamedia
- Media type code
-
- n
- Other physical details
- illustrations
- System control number
-
- (OCoLC)34604201
- (OCoLC)ocm34604201
Subject
- Automatic theorem proving -- Congresses
- Automatische bewijsvoering
- Automatisches Beweisverfahren
- Conference papers and proceedings
- Kongreß
- Kongreß -- Terrasini Favarotta -- 1996
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical -- Congresses
- Logique mathématique -- Congrès
- Logique mathématique nonclassique -- Congrès
- Nonclassical mathematical logic
- Nonclassical mathematical logic -- Congresses
- Terrasini Favarotta (1996)
- Théorèmes -- Démonstration automatique | Congrès
- démonstration théorème
- logique intuitionniste
- logique linéaire
- logique modale
- logique temporelle
- raisonnement automatique
- tableau
- tableau sémantique
- théorie démonstration
- Automatic theorem proving
Genre
Member of
- Lecture notes in computer science, Lecture notes in artificial intelligence
- Lecture notes in computer science, 1071
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/Theorem-proving-with-analytic-tableaux-and/fAPMCsKhEYI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Theorem-proving-with-analytic-tableaux-and/fAPMCsKhEYI/">Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], 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 Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], 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/Theorem-proving-with-analytic-tableaux-and/fAPMCsKhEYI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Theorem-proving-with-analytic-tableaux-and/fAPMCsKhEYI/">Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings, P. Miglioli [and others], 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>