1 option
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / edited by Didier Galmiche.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 1227.
- Lecture Notes in Artificial Intelligence ; 1227
- Language:
- English
- Subjects (All):
- Computer architecture.
- Artificial intelligence.
- Logic, Symbolic and mathematical.
- Computer System Implementation.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Mathematical Logic and Foundations.
- Local Subjects:
- Computer System Implementation.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Mathematical Logic and Foundations.
- Physical Description:
- 1 online resource (XII, 380 pages).
- Edition:
- First edition 1997.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-69046-7
- 9783540690467
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.