Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
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 t...
Gardado en:
| Autor Principal: | |
|---|---|
| Autor Corporativo: | |
| Outros autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science. Lecture notes in artificial intelligence
1071 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Theorem proving with analytic tableaux and related methods, 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17th, 1996, proceedings, P. Miglioli, U. Moscato, D. Mundici ... [et al.], eds, 1996, Berlin, Springer, 1 vol. (X-329 p.), Lecture notes in computer science, 3-540-61208-4 • Theorem Proving with Analytic Tableaux and Related Methods, Texte imprimé, 9783662175521 |
| LEADER | 04648nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 969717 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155178296 | ||
| 020 | |a 9783540683681 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Miglioli, Pierangelo, |d 1946- | |
| 245 | 1 | 0 | |a Theorem proving with analytic tableaux and related methods : |b 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings |c [edited by] P. Miglioli, U. Moscato, D. Mundici... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1071 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a On sets, types, fixed points, and checkerboards -- Fibred tableaux for multi-implication logics -- Interpolation for a sequent calculus of generalized quantifiers -- Almost duplication-free tableau calculi for prepositional lax logics -- Combining many-valued and intuitionistic tableaux -- Cyclic connections -- Incremental theory reasoning methods for semantic tableaux -- The disconnection method -- Sequent calculi for default and autoepistemic logics -- Minimal model generation with positive unit hyper-resolution tableaux -- Distributed modal theorem proving with KE -- A simple tableau system for the logic of elsewhere -- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison -- Efficient loop-check for backward proof search in some non-classical propositional logics -- Strong normalization for all-style LKtq -- T-string unification: Unifying prefixes in non-classical proof methods -- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits -- A tableau calculus for minimal model reasoning -- On the intuitionistic force of classical search (Extended abstract) -- Proof-search in intuitionistic logic based on constraint satisfaction. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique mathématique non classique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Moscato, Ugo. |4 pbd | |
| 700 | 1 | |a Mundici, Daniele, |d 1946- |4 pbd | |
| 711 | 2 | |a Workshop on Theorem Proving with Analytic Tableaux and Related Methods |n (05 |d :1996 |c :Terrasini). |4 aut | |
| 776 | 0 | |0 025316206 |t Theorem proving with analytic tableaux and related methods |o 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17th, 1996 |o proceedings |f P. Miglioli, U. Moscato, D. Mundici ... [et al.], eds |d 1996 |c Berlin |n Springer |p 1 vol. (X-329 p.) |s Lecture notes in computer science |z 3-540-61208-4 | |
| 776 | 0 | |t Theorem Proving with Analytic Tableaux and Related Methods |b Texte imprimé |z 9783662175521 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61208-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-BLJP2ZN1-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750671025 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61208-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75401987X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61208-4 |z Accès INSA CVL | |
| 997 | |0 969717 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||