LEADER 05509nam 22007695 450 001 996465736503316 005 20200630151520.0 010 $a3-540-69937-6 024 7 $a10.1007/978-3-540-69937-8 035 $a(CKB)1000000000440812 035 $a(SSID)ssj0000355553 035 $a(PQKBManifestationID)11261338 035 $a(PQKBTitleCode)TC0000355553 035 $a(PQKBWorkID)10340565 035 $a(PQKB)10260703 035 $a(DE-He213)978-3-540-69937-8 035 $a(MiAaPQ)EBC3068477 035 $a(PPN)12705197X 035 $a(EXLCZ)991000000000440812 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information and Computation$b[electronic resource] $e15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /$fedited by Wilfrid Hodges, Ruy de Queiroz 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (VIII, 313 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5110 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-69936-8 320 $aIncludes bibliographical references and index. 327 $aTutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming -- On the Descriptive Complexity of Linear Algebra -- Talks on Quantum Computing -- On Game Semantics of the Affine and Intuitionistic Logics -- The Grammar of Scope -- Contributed Papers -- Conjunctive Grammars and Alternating Pushdown Automata -- Expressive Power and Decidability for Memory Logics -- Reasoning with Uncertainty by Nmatrix?Metric Semantics -- A Propositional Dynamic Logic for CCS Programs -- Towards Ontology Evolution in Physics -- Nominal Matching and Alpha-Equivalence -- Interval Additive Generators of Interval T-Norms -- Propositional Dynamic Logic as a Logic of Belief Revision -- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method -- On the Formal Semantics of IF-Like Logics -- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations -- Labelled Calculi for ?ukasiewicz Logics -- An Infinitely-Often One-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined by Kolmogorov Complexity -- Adversary Lower Bounds for Nonadaptive Quantum Algorithms -- On Second-Order Monadic Groupoidal Quantifiers -- Inference Processes for Quantified Predicate Knowledge -- Using ? -ctl to Specify Complex Planning Goals -- Hyperintensional Questions -- Skolem Theory and Generalized Quantifiers -- On a Graph Calculus for Algebras of Relations. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. 410 0$aLecture Notes in Artificial Intelligence ;$v5110 606 $aLogic 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputers 606 $aAlgorithms 606 $aMathematical logic 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aLogic. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aMathematical logic. 615 14$aLogic. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aMathematical Logic and Formal Languages. 676 $a160 702 $aHodges$b Wilfrid$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465736503316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA