Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Galmiche, Didier (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1227
• Θέματα: Architecture, Computer.; Artificial intelligence.; Mathematical logic.; Computer System Implementation.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

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...

Πίνακας περιεχομένων:

• 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.