default search action
16th WoLLIC 2009: Tokyo, Japan
- Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Lecture Notes in Computer Science 5514, Springer 2009, ISBN 978-3-642-02260-9
Tutorials and Invited Talks
- Arnold Beckmann:
A Characterisation of Definable NP Search Problems in Peano Arithmetic. 1-12 - Carlos Caleiro
, Ricardo Gonçalves
Algebraic Valuations as Behavioral Logical Matrices. 13-25 - Thomas Eiter, Carsten Lutz
Query Answering in Description Logics: The Knots Approach. 26-36 - Carsten Lutz
Mathematical Logic for Life Science Ontologies. 37-47 - Sylvain Salvati:
Recognizability in the Simply Typed Lambda-Calculus. 48-60 - Taisuke Sato
Logic-Based Probabilistic Modeling. 61-71
Contributed Papers
- Majid Alizadeh
Completions of Basic Algebras. 72-83 - Gleifer V. Alves
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. 84-98 - Gianluca Amato
Observational Completeness on Abstract Interpretation. 99-112 - Matthias Baaz
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. 113-123 - Alexandru Baltag, Sonja Smets
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. 124-139 - Francesco Belardinelli
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. 140-154 - Hubie Chen, Omer Giménez:
On-the-Fly Macros. 155-169 - Henning Christiansen
Abductive Logic Grammars. 170-181 - Philippe de Groote, Sylvain Pogodalla, Carl Pollard:
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. 182-196 - Bernhard Heinemann:
Observational Effort and Formally Open Mappings. 197-208 - Hugo Herbelin, Gyesik Lee:
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. 209-217 - Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
Property Driven Three-Valued Model Checking on Hybrid Automata. 218-229 - Juha Kontinen, Ville Nurmi:
Team Logic and Second-Order Logic. 230-241 - Alain Lecomte, Myriam Quatrini:
Ludics and Its Applications to Natural Language Semantics. 242-255 - Sebastian Link
Spoilt for Choice: Full First-Order Hierarchical Decompositions. 256-267 - Carlos Caleiro
Classic-Like Analytic Tableaux for Finite-Valued Logics. 268-280 - Yoshihiro Maruyama:
A Duality for Algebras of Lattice-Valued Modal Logic. 281-295 - Sara Miner More, Pavel Naumov
An Independence Relation for Sets of Secrets. 296-304 - Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda:
Expressing Extension-Based Semantics Based on Stratified Minimal Models. 305-319 - Linda Postniece:
Deep Inference in Bi-intuitionistic Logic. 320-334 - Cristian Prisacariu
: An Action-Based Logic for Reasoning about Contracts. 335-349 - Benjamin Rossman:
Ehrenfeucht-Fraïssé Games on Random Structures. 350-364 - Katsuhiko Sano
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. 365-378 - Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry
The Arrow Calculus as a Quantum Programming Language. 379-393 - Ren-June Wang:
Knowledge, Time, and Logical Omniscience. 394-407
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: