Automated Reasoning with Analytic Tableaux and Related Methods
Editat de Didier Galmicheen Limba Engleză Paperback – 29 apr 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.
Preț: 326.88 lei
Preț vechi: 408.60 lei
-20%
Puncte Express: 490
Carte tipărită la comandă
Livrare economică 25 septembrie-09 octombrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540629207
ISBN-10: 3540629203
Pagini: 392
Ilustrații: XII, 380 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.59 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540629203
Pagini: 392
Ilustrații: XII, 380 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.59 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Statistical Methods for Recommender SystemsDeepak K. Agarwal-20%Preț: 386.97 lei483.70 lei -
Internet of Things. IoT InfrastructuresRaffaele Giaffreda-20%Preț: 327.54 lei409.42 lei -
Enhanced Building Information ModelsUmit Isikdag-20%Preț: 326.32 lei407.89 lei -
-20%Preț: 345.90 lei432.37 lei -
Introducing the Oscillations Based ParadigmDarius Plikynas-20%Preț: 657.56 lei821.96 lei -
Critical Systems: Formal Methods and Automated VerificationMaurice H. Ter Beek-20%Preț: 333.13 lei416.42 lei -
-20%Preț: 340.00 lei425.01 lei -
Communication Technologies for VehiclesAlain Pirovano-20%Preț: 314.81 lei393.51 lei -
Automated ReasoningDavid Basin-20%Preț: 660.26 lei825.33 lei -
Advances in Case-Based ReasoningPeter Funk-20%Preț: 651.54 lei814.42 lei -
Knowledge Discovery in Databases: PKDD 2004Jean-Francois Boulicaut-20%Preț: 336.92 lei421.15 lei -
Engineering Knowledge in the Age of the Semantic WebEnrico Motta-20%Preț: 636.19 lei795.24 lei -
Spatial Cognition IV, Reasoning, Action, InteractionChristian Freksa-20%Preț: 661.76 lei827.19 lei -
Embedded Systems DesignBruno Bouyssounouse-20%Preț: 634.75 lei793.44 lei -
-20%Preț: 328.42 lei410.52 lei -
Advances in Knowledge Acquisition and ManagementAchim Hoffmann-20%Preț: 333.74 lei417.18 lei -
Automated Reasoning with Analytic Tableaux and Related MethodsDidier Galmiche-20%Preț: 306.48 lei383.11 lei -
Computer-Based Problem Solving ProcessTeodor Rus-20%Preț: 781.87 lei977.34 lei
Public țintă
ResearchCuprins
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.