Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ono, Hiroakira (Επιμελητής έκδοσης), Kanazawa, Makoto (Επιμελητής έκδοσης), Queiroz, Ruy de (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5514
• Θέματα: Computer science.; Computers.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Theory of Computation.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Mathematics of Computing.; Discrete Mathematics in Computer Science.

Edited 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, J...

Πίνακας περιεχομένων:

• Tutorials 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.