01438nas a2200337 i 450099100227065970753620020708132447.0m cr 011205c19569999us || | |eng 1095-72190040-585Xb1414797x-39ule_instPERLE008830ExLDip.to Matematica e Fisica - Sez. MatematicaengCDU 519.2Theory of probability and its applicationsTheory of probability and its applications[e-journal] /Society for Industrial and Applied Mathematics. - 1956-Philadelphia,1956-Traduzione di: Teoriya veroyatnostei i ee primeneniyaPubblicato anche in formato cartaceoAccesso elettronico: LE013 1956-2014Society for Industrial and Applied Mathematicsauthorhttp://id.loc.gov/vocabulary/relators/aut285123Theory Probab. Appl.ISSN (print version):0040-585Xhttp://epubs.siam.org/journal/tprbauE-journal (Abstract)http://search.proquest.com/publication/666297E-journal (Available from 1956 to 2014 on ProQuest Site).b1414797x04-03-2219-09-13991002270659707536Theory of probability and its applications1443206UNISALENTOle01301-01-01s# -engus 0004464nam 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