Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 August 1, 2002 : proceedings
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science. Lecture notes in artificial intelligence
2381 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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 2002, Copenhagen, Denmark, July 30-August 1, 2002, Proceedings, Uwe Egly, Christian G. Fernmüller (eds.), Berlin, Springer, 2002, 1 vol. (X-339 p.), Lecture notes in computer science, 3-540-43929-3 • Automated Reasoning with Analytic Tableaux and Related Methods, Texte imprimé, 9783662181591 |
Obsah:
- Invited Papers
- Proof Analysis by Resolution
- Using Linear Logic to Reason about Sequent Systems
- Research Papers
- A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic
- Tableaux for Quantified Hybrid Logic
- Tableau-Based Automated Deduction for Duration Calculus
- Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
- A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic
- Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
- Tableau Calculi for the Logics of Finite k-Ary Trees
- A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition
- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
- Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas
- Integration of Equality Reasoning into the Disconnection Calculus
- Analytic Sequent Calculi for Abelian and ?ukasiewicz Logics
- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief
- A Confluent Theory Connection Calculus
- On Uniform Word Problems Involving Bridging Operators on Distributive Lattices
- Question Answering: From Partitions to Prolog
- A General Theorem Prover for Quantified Modal Logics
- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem
- A New Indefinite Semantics for Hilbert s Epsilon
- A Tableau Calculus for Combining Non-disjoint Theories
- System Descriptions Papers
- LINK: A Proof Environment Based on Proof Nets
- DCTP 1.2 System Abstract.