Automated Reasoning with Analytic Tableaux and Related Methods de Didier Galmiche

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings: Lecture Notes in Computer Science, cartea 1227

Didier Galmiche

en Limba Engleză Paperback – 29 apr 1997

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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 1040^.03 lei
20%

Preț: 333^.46 lei
20%

Preț: 335^.08 lei
20%

Preț: 444^.17 lei
20%

Preț: 238^.01 lei
20%

Preț: 333^.46 lei
20%

Preț: 438^.69 lei
Preț: 440^.52 lei
20%

Preț: 336^.71 lei
20%

Preț: 148^.66 lei
20%

Preț: 310^.26 lei
20%

Preț: 256^.27 lei
20%

Preț: 632^.22 lei
17%

Preț: 427^.22 lei
20%

Preț: 641^.78 lei
20%

Preț: 307^.71 lei
20%

Preț: 1053^.45 lei
20%

Preț: 579^.56 lei
Preț: 373^.56 lei
20%

Preț: 330^.23 lei
15%

Preț: 429^.74 lei
20%

Preț: 607^.39 lei
20%

Preț: 538^.29 lei
Preț: 389^.48 lei
20%

Preț: 326^.98 lei
20%

Preț: 1386^.07 lei
20%

Preț: 1003^.66 lei
20%

Preț: 567^.60 lei
20%

Preț: 575^.48 lei
20%

Preț: 571^.63 lei
20%

Preț: 747^.79 lei
15%

Preț: 568^.74 lei
17%

Preț: 360^.19 lei
20%

Preț: 504^.57 lei
20%

Preț: 172^.69 lei
20%

Preț: 369^.12 lei
20%

Preț: 346^.40 lei
20%

Preț: 574^.05 lei
Preț: 402^.62 lei
20%

Preț: 584^.40 lei
20%

Preț: 747^.79 lei
20%

Preț: 809^.19 lei
20%

Preț: 649^.49 lei
20%

Preț: 343^.16 lei
20%

Preț: 309^.90 lei
20%

Preț: 122^.89 lei

Specificații

ISBN-13: 9783540629207
ISBN-10: 3540629203
Pagini: 392
Ilustrații: XII, 380 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.55 kg
Ediția:1997
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Cuprins

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.