Muutke küpsiste eelistusi

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings 2013 ed. [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 283 pages, kõrgus x laius: 235x155 mm, kaal: 456 g, 15 Illustrations, black and white; X, 283 p. 15 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 8071
  • Ilmumisaeg: 08-Aug-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642399916
  • ISBN-13: 9783642399916
  • Pehme köide
  • Hind: 45,00 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 52,94 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 283 pages, kõrgus x laius: 235x155 mm, kaal: 456 g, 15 Illustrations, black and white; X, 283 p. 15 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 8071
  • Ilmumisaeg: 08-Aug-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642399916
  • ISBN-13: 9783642399916

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.

Logic and Agent Programming Languages
1(10)
Natasha Alechina
Natural Models of Homotopy Type Theory (Abstract)
11(2)
Steve Awodey
Modelling Infinite Structures with Atoms
13(16)
Mikotaj Bojanczyk
Counting in SPARQL Property Paths: Perspectives from Theory and Practice
29(2)
Wim Martens
Quantitative Approaches to Information Protection
31(2)
Catuscia Palamidessi
Perspectives of Dynamic Complexity
33(1)
Thomas Schwentick
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach
34(15)
Lais Andrade
Ruan Carvalho
Anjolina de Oliveira
Ruy de Queiroz
First Order Extensions of Residue Classes and Uniform Circuit Complexity
49(15)
Argimiro Arratia
Carlos E. Ortiz
Quantum Probabilistic Dyadic Second-Order Logic
64(17)
Alexandru Baltag
Jort M. Bergfeld
Kohei Kishida
Joshua Sack
Sonja J.L. Smets
Shengyang Zhong
Structural Extensions of Display Calculi: A General Recipe
81(15)
Agata Ciabattoni
Revantha Ramanayake
The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic
96(15)
Sjur Kristoffer Dyrkolbotn
Boolean Dependence Logic and Partially-Ordered Connectives
111(15)
Johannes Ebbing
Lauri Hella
Peter Lohmann
Jonni Virtema
Extended Modal Dependence Logic EMDL
126(12)
Johannes Ebbing
Lauri Hella
Arne Meier
Julian-Steffen Muller
Jonni Virtema
Heribert Vollmer
Dependence Logic with Generalized Quantifiers: Axiomatizations
138(15)
Fredrik Engstrom
Juha Kontinen
Jouko Vaananen
Continuous Truth II: Reflections
153(15)
Michael P. Fourman
A Simple Separation Logic
168(11)
Andreas Herzig
Independence in Database Relations
179(15)
Juha Kontinen
Sebastian Link
Jouko Vaananen
Substructural Logic of Proofs
194(17)
Hidenori Kurokawa
Hirohiko Kushida
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
211(15)
Yoshihiro Maruyama
A Finite Model Property for Godel Modal Logics
226(12)
Xavier Caicedo
George Metcalfe
Ricardo Rodriguez
Jonas Rogger
Model Checking for Modal Dependence Logic: An Approach through Post's Lattice
238(13)
Julian-Steffen Muller
Heribert Vollmer
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL
251(15)
Philippe Balbiani
Emiliano Lorini
Information, Awareness and Substructural Logics
266(17)
Igor Sedlar
Author Index 283