Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz.

Format:

Book

Contributor:

Kohlenbach, U. (Ulrich), editor.

Barceló, Pablo, editor.

Queiroz, Ruy J. G. B. de, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 8652.

Theoretical Computer Science and General Issues ; 8652

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Artificial intelligence.

Computer science--Mathematics.

Computer science.

Algorithms.

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Symbolic and Algebraic Manipulation.

Algorithm Analysis and Problem Complexity.

Local Subjects:

Mathematical Logic and Formal Languages.

Artificial Intelligence.

Symbolic and Algebraic Manipulation.

Algorithm Analysis and Problem Complexity.

Physical Description:

1 online resource (XX, 237 pages) : 17 illustrations.

Edition:

First edition 2014.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.

System Details:

text file PDF

Summary:

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.

Contents:

On Normal Numbers

Dependence Logic

Syntax and Semantics for Translation

Intersection types for normalization and verification

Quantum State Transformations and Branching Distributed Temporal Logic

Backward deterministic Büchi automata

Deniability for Downward and Vertical XPath on Data Trees

On the value of variables

Logics with Copy and Remove

Unranked Second-Order Anti-Unification

Reinstatement and the requirement of maximal specificity in argument Systems

Sequentialization for N-Graphs via Sub-N-Graphs

Interrogative dependencies and the constructive content of inquisitive Proofs

Modal logics of uncertainty with two layer-syntax: a general completeness theorem

Ancestral Logic: a Proof Theoretical Study

A Calculus of Anyons

Theorems on Pre-Fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars

Common Knowledge Semantics of Armstrong's Axioms

On Distributed Stochastic Logics for Mobile Systems

On the Construction of Analytic Sequent Calculi for Sub-classical Logics

On the Broader Epistemological Significance of Self-Justifying Axiom Systems.

Other Format:

Printed edition:

ISBN:

978-3-662-44145-9

9783662441459

Access Restriction:

Restricted for use by site license.