LEADER 05346nam 22008175 450 001 996465819303316 005 20200701033248.0 010 $a3-540-45206-0 024 7 $a10.1007/b12030 035 $a(CKB)1000000000212153 035 $a(SSID)ssj0000321540 035 $a(PQKBManifestationID)11227090 035 $a(PQKBTitleCode)TC0000321540 035 $a(PQKBWorkID)10279478 035 $a(PQKB)10462861 035 $a(DE-He213)978-3-540-45206-5 035 $a(MiAaPQ)EBC3087815 035 $a(PPN)155183001 035 $a(EXLCZ)991000000000212153 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods$b[electronic resource] $eInternational Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings /$fedited by Marta Cialdea Mayer, Fiora Pirri 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (X, 270 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2796 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-40787-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aShort Abstracts of Invited Lectures -- Non Commutative Logic: A Survey (Abstract) -- Dynamical Method in Algebra: A Survey (Abstract) -- Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract) -- Research Papers -- Tableaux with Four Signs as a Unified Framework -- A Labelled Sequent-Calculus for Observation Logic -- Bounded ?ukasiewicz Logics -- Parallel Dialogue Games and Hypersequents for Intermediate Logics -- Simplification Rules for Constrained Formula Tableaux -- Tableau Calculi for Preference-Based Conditional Logics -- A General Tableau Method for Propositional Interval Temporal Logics -- Universal Variables in Disconnection Tableaux -- A Tableau Algorithm for Reasoning about Concepts and Similarity -- XPath and Modal Logics of Finite DAG?s -- Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation -- A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models -- Automatic Abstraction of Equations in a Logic of Equality -- A Free Variable Sequent Calculus with Uniform Variable Splitting -- System Description -- The Tableaux Work Bench -- Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic -- Logistica 2.0: A Technology for Implementing Automatic Deduction Systems -- Fair Constraint Merging Tableaux in Lazy Functional Programming Style -- SOLAR: A Consequence Finding System for Advanced Reasoning -- CondLean: A Theorem Prover for Conditional Logics. 330 $aThis book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi. 410 0$aLecture Notes in Artificial Intelligence ;$v2796 606 $aArtificial intelligence 606 $aNumber theory 606 $aComputer science 606 $aComputer programming 606 $aSoftware engineering 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aNumber Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M25001 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aNumber theory. 615 0$aComputer science. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aNumber Theory. 615 24$aComputer Science, general. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $aCialdea Mayer$b Marta$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPirri$b Fiora$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTABLEAUX 2003 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465819303316 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$9772640 997 $aUNISA