Borrow it
Coverart for item
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

Creator
Contributor
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
Work
Publication
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
Instance
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
Creator
Contributor
Subject
Genre
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
Member of
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
Instantiates
Publication
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
Publication
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

Genre

Member of

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784

Library Links

Zepheira Logo
Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by Boston University Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...