LEADER 06398nam 22008295 450 001 996465412003316 005 20200702234520.0 010 $a1-280-38296-1 010 $a9786613560872 010 $a3-642-02261-8 024 7 $a10.1007/978-3-642-02261-6 035 $a(CKB)1000000000753979 035 $a(SSID)ssj0000318711 035 $a(PQKBManifestationID)11245862 035 $a(PQKBTitleCode)TC0000318711 035 $a(PQKBWorkID)10310575 035 $a(PQKB)10055160 035 $a(DE-He213)978-3-642-02261-6 035 $a(MiAaPQ)EBC3064294 035 $a(PPN)136306659 035 $a(EXLCZ)991000000000753979 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information and Computation$b[electronic resource] $e16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings /$fedited by Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XI, 409 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5514 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-02260-X 320 $aIncludes bibliographical references and author index. 327 $aTutorials and Invited Talks -- A Characterisation of Definable NP Search Problems in Peano Arithmetic -- Algebraic Valuations as Behavioral Logical Matrices -- Query Answering in Description Logics: The Knots Approach -- Mathematical Logic for Life Science Ontologies -- Recognizability in the Simply Typed Lambda-Calculus -- Logic-Based Probabilistic Modeling -- Contributed Papers -- Completions of Basic Algebras -- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization -- Observational Completeness on Abstract Interpretation -- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability -- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points -- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment -- On-the-Fly Macros -- Abductive Logic Grammars -- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar -- Observational Effort and Formally Open Mappings -- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus -- Property Driven Three-Valued Model Checking on Hybrid Automata -- Team Logic and Second-Order Logic -- Ludics and Its Applications to Natural Language Semantics -- Spoilt for Choice: Full First-Order Hierarchical Decompositions -- Classic-Like Analytic Tableaux for Finite-Valued Logics -- A Duality for Algebras of Lattice-Valued Modal Logic -- An Independence Relation for Sets of Secrets -- Expressing Extension-Based Semantics Based on Stratified Minimal Models -- Deep Inference in Bi-intuitionistic Logic -- : An Action-Based Logic for Reasoning about Contracts -- Ehrenfeucht-Fraďssé Games on Random Structures -- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic -- The Arrow Calculus as a Quantum Programming Language -- Knowledge, Time, and Logical Omniscience. 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 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009. The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, 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 ;$v5514 606 $aArtificial intelligence 606 $aComputers 606 $aAlgorithms 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 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 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 608 $aKongress.$2swd 608 $aTokio (2009)$2swd 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematics of Computing. 615 24$aDiscrete Mathematics in Computer Science. 676 $a006.3 686 $aSS 4800$2rvk 702 $aOno$b Hiroakira$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKanazawa$b Makoto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Logic, Language, Information and Computation 906 $aBOOK 912 $a996465412003316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA