04719nam 22006255 450 99646554690331620200704215437.03-540-69046-810.1007/BFb0027400(CKB)1000000000234636(SSID)ssj0000321541(PQKBManifestationID)11246331(PQKBTitleCode)TC0000321541(PQKBWorkID)10280350(PQKB)10463200(DE-He213)978-3-540-69046-7(PPN)15520517X(EXLCZ)99100000000023463620121227d1997 u| 0engurnn|008mamaatxtccrAutomated Reasoning with Analytic Tableaux and Related Methods[electronic resource] International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /edited by Didier Galmiche1st ed. 1997.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1997.1 online resource (XII, 380 p.) Lecture Notes in Artificial Intelligence ;1227Bibliographic Level Mode of Issuance: Monograph3-540-62920-3 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.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.Lecture Notes in Artificial Intelligence ;1227Architecture, ComputerArtificial intelligenceMathematical logicComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Architecture, Computer.Artificial intelligence.Mathematical logic.Computer System Implementation.Artificial Intelligence.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.006.3/33Galmiche Didieredthttp://id.loc.gov/vocabulary/relators/edtTABLEAUX '97BOOK996465546903316Automated Reasoning with Analytic Tableaux and Related Methods772640UNISA