![Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings /](/search/themes/bootstrap3/images/libros.png)
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 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 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.
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1996
|
| Subjects: | Computer science., Computers., Artificial intelligence., Mathematical logic., Computer Science., Theory of Computation., Artificial Intelligence (incl. Robotics)., Mathematical Logic and Foundations., |
| Online Access: | http://dx.doi.org/10.1007/3-540-61208-4 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:199449 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:1994492018-07-30T23:26:21ZTheorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / Miglioli, P. editor. Moscato, U. editor. Mundici, D. editor. Ornaghi, M. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1996.engThis 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.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.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.Computer science.Computers.Artificial intelligence.Mathematical logic.Computer Science.Theory of Computation.Artificial Intelligence (incl. Robotics).Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/3-540-61208-4URN:ISBN:9783540683681 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Computers. Artificial intelligence. Mathematical logic. Computer Science. Theory of Computation. Artificial Intelligence (incl. Robotics). Mathematical Logic and Foundations. Computer science. Computers. Artificial intelligence. Mathematical logic. Computer Science. Theory of Computation. Artificial Intelligence (incl. Robotics). Mathematical Logic and Foundations. |
| spellingShingle |
Computer science. Computers. Artificial intelligence. Mathematical logic. Computer Science. Theory of Computation. Artificial Intelligence (incl. Robotics). Mathematical Logic and Foundations. Computer science. Computers. Artificial intelligence. Mathematical logic. Computer Science. Theory of Computation. Artificial Intelligence (incl. Robotics). Mathematical Logic and Foundations. Miglioli, P. editor. Moscato, U. editor. Mundici, D. editor. Ornaghi, M. editor. SpringerLink (Online service) Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / |
| description |
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. |
| format |
Texto |
| topic_facet |
Computer science. Computers. Artificial intelligence. Mathematical logic. Computer Science. Theory of Computation. Artificial Intelligence (incl. Robotics). Mathematical Logic and Foundations. |
| author |
Miglioli, P. editor. Moscato, U. editor. Mundici, D. editor. Ornaghi, M. editor. SpringerLink (Online service) |
| author_facet |
Miglioli, P. editor. Moscato, U. editor. Mundici, D. editor. Ornaghi, M. editor. SpringerLink (Online service) |
| author_sort |
Miglioli, P. editor. |
| title |
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / |
| title_short |
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / |
| title_full |
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / |
| title_fullStr |
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / |
| title_full_unstemmed |
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings / |
| title_sort |
theorem proving with analytic tableaux and related methods [electronic resource] : 5th international workshop, tableaux '96 terrasini, palermo, italy, may 15–17, 1996 proceedings / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
1996 |
| url |
http://dx.doi.org/10.1007/3-540-61208-4 |
| work_keys_str_mv |
AT migliolipeditor theoremprovingwithanalytictableauxandrelatedmethodselectronicresource5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings AT moscatoueditor theoremprovingwithanalytictableauxandrelatedmethodselectronicresource5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings AT mundicideditor theoremprovingwithanalytictableauxandrelatedmethodselectronicresource5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings AT ornaghimeditor theoremprovingwithanalytictableauxandrelatedmethodselectronicresource5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings AT springerlinkonlineservice theoremprovingwithanalytictableauxandrelatedmethodselectronicresource5thinternationalworkshoptableaux96terrasinipalermoitalymay15171996proceedings |
| _version_ |
1756267292812902400 |