LEADER 05855nam 22008655 450 001 9910483641903321 005 20251226202444.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 $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,$x2945-9141 ;$v5514 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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 ArrowCalculus 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,$x2945-9141 ;$v5514 606 $aArtificial intelligence 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aArtificial Intelligence 606 $aTheory of Computation 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aMathematics of Computing 606 $aDiscrete Mathematics in Computer Science 615 0$aArtificial intelligence. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 615 24$aMathematics of Computing. 615 24$aDiscrete Mathematics in Computer Science. 676 $a006.3 686 $aSS 4800$2rvk 701 $aOno$b Hiroakira$0990529 701 $aKanazawa$b Makoto$f1964-$01750373 701 $aQueiroz$b Ruy J. G. B. de$01691523 712 12$aWorkshop on Logic, Language, Information and Computation. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483641903321 996 $aLogic, language, information and computation$94184996 997 $aUNINA