Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 98 Oisterwijk, The Netherlands, May 5 8, 1998 : proceedings
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science. Lecture notes in artificial intelligence
1397 |
| Teme: | |
| Online pristup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Bilješka: |
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'98, Oisterwijk, The Netherlands, May 5-8, 1998, proceedings, Harrie de Swart, ed, 1998, New York, Springer, 1 vol. (X-324 p.), Lecture notes in computer science, 3-540-64406-7 • Automated Reasoning with Analytic Tableaux and Related Methods, Texte imprimé, 9783662198629 |
Sadržaj:
- Extended Abstracts of Invited Lectures
- Philosophical Aspects of Computerized Verification of Mathematics
- A Science of Reasoning (Extended Abstract)
- Model Checking: Historical Perspective and Example (Extended Abstract)
- Comparison
- Comparison of Theorem Provers for Modal Logics Introduction and Summary
- FaCT and DLP
- Prover KT4
- leanK 2.0
- Logics Workbench 1.0
- Optimised Functional Translation and Resolution
- Benchmark Evaluation of ?KE
- Abstracts of the Tutorials
- Implementation of Propositional Temporal Logics Using BDDs
- Computer Programming as Mathematics in a Programming Language and Proof System CL
- Contributed Research Papers
- A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
- Hyper Tableau The Next Generation
- Fibring Semantic Tableaux
- A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
- A Tableau Method for Interval Temporal Logic with Projection
- Bounded Model Search in Linear Temporal Logic and Its Application to Planning
- On Proof Complexity of Circumscription
- Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities
- Some Remarks on Completeness, Connection Graph Resolution, and Link Deletion
- Simplification and Backjumping in Modal Tableau
- Free Variable Tableaux for a Logic with Term Declarations
- Simplification A General Constraint Propagation Technique for Propositional and Modal Tableaux
- A Tableaux Calculus for Ambiguous Quantifiation
- From Kripke Models to Algebraic Counter-Valuations
- Deleting Redundancy in Proof Reconstruction
- A New One-Pass Tableau Calculus for PLTL
- Decision Procedures for Intuitionistic Propositional Logic by Program Extraction
- Contributed System Descriptions
- The FaCT System
- Implementation of Proof Search in the ImperativeProgramming Language Pizza
- p-SETHEO: Strategy Parallelism in Automated Theorem Proving.