04464nam 22007095 450 99646537540331620240131165646.03-540-45616-310.1007/3-540-45616-3(CKB)1000000000211784(SSID)ssj0000321539(PQKBManifestationID)11227089(PQKBTitleCode)TC0000321539(PQKBWorkID)10280761(PQKB)11043503(DE-He213)978-3-540-45616-2(MiAaPQ)EBC3071738(PPN)155218115(EXLCZ)99100000000021178420121227d2002 u| 0engurnn#008mamaatxtccrAutomated Reasoning with Analytic Tableaux and Related Methods[electronic resource] International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings /edited by Uwe Egly, Christian G. Fernmüller1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (X, 346 p.)Lecture Notes in Artificial Intelligence ;2381Bibliographic Level Mode of Issuance: Monograph3-540-43929-3 Includes bibliographical references and index.Invited Papers -- Proof Analysis by Resolution -- Using Linear Logic to Reason about Sequent Systems -- Research Papers -- A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic -- Tableaux for Quantified Hybrid Logic -- Tableau-Based Automated Deduction for Duration Calculus -- Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge -- A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic -- Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks -- Tableau Calculi for the Logics of Finite k-Ary Trees -- A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas -- Integration of Equality Reasoning into the Disconnection Calculus -- Analytic Sequent Calculi for Abelian and ?ukasiewicz Logics -- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief -- A Confluent Theory Connection Calculus -- On Uniform Word Problems Involving Bridging Operators on Distributive Lattices -- Question Answering: From Partitions to Prolog -- A General Theorem Prover for Quantified Modal Logics -- Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem -- A New Indefinite Semantics for Hilbert’s Epsilon -- A Tableau Calculus for Combining Non-disjoint Theories -- System Descriptions Papers -- LINK: A Proof Environment Based on Proof Nets -- DCTP 1.2 — System Abstract.Lecture Notes in Artificial Intelligence ;2381Artificial intelligenceMathematical logicSoftware engineeringComputer programmingArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial intelligence.Mathematical logic.Software engineering.Computer programming.Artificial Intelligence.Mathematical Logic and Formal Languages.Software Engineering.Programming Techniques.006.3/33Egly Uwe1960-edthttp://id.loc.gov/vocabulary/relators/edtFernmüller Christian Gedthttp://id.loc.gov/vocabulary/relators/edtTABLEAUX 2002MiAaPQMiAaPQMiAaPQBOOK996465375403316Automated Reasoning with Analytic Tableaux and Related Methods2556460UNISA