Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
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...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2009, 2009
|
| Edition: | 1st ed. 2009 |
| Series: | Lecture Notes in Artificial Intelligence
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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 ArrowCalculus as a Quantum Programming Language
- Knowledge, Time, and Logical Omniscience