Automated reasoning with analytic tableaux and related methods : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited pa...
Сохранить в:
| Главный автор: | |
|---|---|
| Соавтор: | |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science. Lecture notes in artificial intelligence
1227 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automated reasoning with analytic tableaux and related methods, International Conference, TABLEAUX ½97, Pont-à-Mousson, France, May 1997, proceedings, Didier Galmiche (ed.), 1997, Berlin, Springer, 1 vol. (XII-372 p.), Lecture notes in computer science, 3-540-62920-3 • Automated Reasoning with Analytic Tableaux and Related Methods, Texte imprimé, 9783662173473 |
| LEADER | 04870nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 971317 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15520517X | ||
| 020 | |a 9783540690467 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 006.333 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Galmiche, Didier, |d 1958- | |
| 245 | 1 | 0 | |a Automated reasoning with analytic tableaux and related methods : |b [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings |c [edited by] Didier Galmiche. |
| 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 1227 |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 MGTP: A model generation theorem prover Its advanced features and applications -- Three faces of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis applications -- Free variable tableaux for propositional modal logics -- A sequent calculus for skeptical Default Logic -- A fast saturation strategy for set-theoretic tableaux -- Hintikka multiplicities in matrix decision methods for some propositional modal logics -- Automated natural deduction prover and experiments -- Non-elementary speed-ups in proof length by different variants of classical analytic calculi -- Ordered tableaux: Extensions and applications -- Two loop detection mechanisms: A comparison -- Subgoal alternation in model elimination -- Projection: A unification procedure for tableaux in Conceptual Graphs -- On quasitautologies -- Tableaux methods for access control in distributed systems -- Proving correctness of labeled transition systems by semantic tableaux -- Tableau methods for PA-processes -- A tableau proof system for a mazurkiewicz trace logic with fixpoints -- ileanTAP: An intuitionistic theorem prover -- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models -- A framework for using knowledge in tableau proofs -- A sequent calculus for reasoning in four-valued Description Logics -- Tableaux for functional dependencies and independencies. | |
| 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 book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Raisonnement | ||
| 650 | |a Actes de congrès | ||
| 711 | 2 | |a International Conference on Automated Reasoning with Analytic Tableaux and Related Methods |n (06 |d :1997 |c :Pont-à-Mousson). |4 aut | |
| 776 | 0 | |0 029424682 |t Automated reasoning with analytic tableaux and related methods |o International Conference, TABLEAUX ½97, Pont-à-Mousson, France, May 1997 |o proceedings |f Didier Galmiche (ed.) |d 1997 |c Berlin |n Springer |p 1 vol. (XII-372 p.) |s Lecture notes in computer science |z 3-540-62920-3 | |
| 776 | 0 | |t Automated Reasoning with Analytic Tableaux and Related Methods |b Texte imprimé |z 9783662173473 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0027400 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-8XNV4GXQ-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750653884 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0027400 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754004015 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0027400 |z Accès INSA CVL | |
| 997 | |0 971317 |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/ | ||