LEADER 04607nam  22006375  450 
001 996465413203316
005 20200701081247.0
024 7 $a10.1007/11554554
035   $a(CKB)1000000000213247
035   $a(SSID)ssj0000316400
035   $a(PQKBManifestationID)11285845
035   $a(PQKBTitleCode)TC0000316400
035   $a(PQKBWorkID)10275554
035   $a(PQKB)10749660
035   $a(DE-He213)978-3-540-31822-4
035   $a(MiAaPQ)EBC3067667
035   $a(PPN)123097452
035   $a(EXLCZ)991000000000213247
100   $a20100316d2005      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 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /$fedited by Bernhard Beckert
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (XIV, 346 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v3702
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$aPrinted edition: 9783540289319 
320   $aIncludes bibliographical references and index.
327   $aInvited Talks -- Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach -- Description Logics in Ontology Applications -- Automated Reasoning in the Context of the Semantic Web -- Formal Versus Rigorous Mathematics: How to Get Your Papers Published -- Research Papers -- Consistency of Variable Splitting in Free Variable Systems of First-Order Logic -- On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic -- A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic -- Cyclic Proofs for First-Order Logic with Inductive Definitions -- A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity -- Embedding Static Analysis into Tableaux and Sequent Based Frameworks -- A Calculus for Type Predicates and Type Coercion -- A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics -- Comparing Instance Generation Methods for Automated Reasoning -- An Order-Sorted Quantified Modal Logic for Meta-ontology -- A Redundancy Analysis of Sequent Proofs -- A Tableau Algorithm for Description Logics with Concrete Domains and GCIs -- The Space Efficiency of OSHL -- Efficient Query Processing with Compiled Knowledge Bases -- Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic -- Automatic ?Descente Infinie? Induction Reasoning -- A Decision Procedure for the Alternation-Free Two-Way Modal ?-Calculus -- On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency -- System Descriptions -- Pdk: The System and Its Language -- Proof Output and Transformation for Disconnection Tableaux -- LoTREC: Logical Tableaux Research Engineering Companion -- A Tableau-Based Explainer for DL Subsumption -- CondLean 3.0: Improving CondLean for Stronger Conditional Logics -- The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic -- Unit Propagation in a Tableau Framework.
410  0$aLecture Notes in Artificial Intelligence ;$v3702
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer programming
606   $aSoftware engineering
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer programming.
615  0$aSoftware engineering.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
676   $a006.3
702   $aBeckert$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465413203316
996   $aAutomated Reasoning with Analytic Tableaux and Related Methods$92556460
997   $aUNISA