Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).

By: (19th : Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)
Contributor(s): Ong, Luke | Queiroz, Ruy J. G. B. de
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 7456.; Lecture notes in computer science: ; LNCS sublibrary: Publisher: Berlin ; New York : Springer, ©2012Description: 1 online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642326219; 3642326218Other title: WoLLIC 2012Subject(s): Computer logic -- Congresses | Logic, Symbolic and mathematical -- Congresses | Informatique | Computer logic | Logic, Symbolic and mathematical | Computer science | Computer software | Logic design | Computational complexity | Algebra -- Data processing | Algorithm Analysis and Problem Complexity | Mathematical Logic and Formal Languages | Discrete Mathematics in Computer Science | Logics and Meanings of Programs | Computation by Abstract Devices | Symbolic and Algebraic ManipulationGenre/Form: Electronic books. | Conference papers and proceedings. | Computer software. Additional physical formats: Printed edition:: No titleDDC classification: 005.13/1 LOC classification: QA9.A1 | W67 2012Online resources: Click here to access online
Contents:
Formalizing Turing Machines / Andrea Asperti and Wilmer Ricciotti -- Equivalence Relations That Are S0303 Complete for Computable Reducibility Ekaterina Fokina, Sy Friedman and André Nies -- An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics / Laura Kallmeyer and Rainer Osswald -- Admissible Rules: From Characterizations to Applications / George Metcalfe -- On Distributed Monitoring of Asynchronous Systems / Volker Diekert and Anca Muscholl -- On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates / Nicole Schweikardt -- Logical Methods in Quantum Information Theory / Peter Selinger -- Quantifying Notes / Hans van Ditmarsch -- Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders / Sergio Abriola, Santiago Figueira and Gabriel Senno -- Initiality for Typed Syntax and Semantics / Benedikt Ahrens -- Moving Arrows and Four Model Checking Results / Carlos Areces, Raul Fervari and Guillaume Hoffmann -- Standard Completeness for Extensions of MTL: An Automated Approach / Paolo Baldi, Agata Ciabattoni and Lara Spendier.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge / Alexandru Baltag, Bryan Renne and Sonja Smets -- Minimization via Duality / Nick Bezhanishvili, Clemens Kupke and Prakash Panangaden -- On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication / Claudio Callejas, João Marcos and Benjamín René Callejas Bedregal -- Linearity in the Non-deterministic Call-by-Value Setting / Alejandro Díaz-Caro and Barbara Petit -- Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures / Amin Farjudian -- Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures / Willem L. Fouché -- Propositional Reasoning about Saturated Conditional Probabilistic Independence / Sebastian Link -- Contracting Logics / Márcio M. Ribeiro and Marcelo E. Coniglio -- A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs / Benjamin Rossman -- Preservation under Substructures modulo Bounded Cores / Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath and Supratik Chakraborty -- A Logic of Plausible Justifications / L. Menasché Schechter -- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics / Marco Volpe, João Marcos and Carlos Caleiro.
Summary: Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Formalizing Turing Machines / Andrea Asperti and Wilmer Ricciotti -- Equivalence Relations That Are S0303 Complete for Computable Reducibility (Extended Abstract) / Ekaterina Fokina, Sy Friedman and André Nies -- An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics / Laura Kallmeyer and Rainer Osswald -- Admissible Rules: From Characterizations to Applications / George Metcalfe -- On Distributed Monitoring of Asynchronous Systems / Volker Diekert and Anca Muscholl -- On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates / Nicole Schweikardt -- Logical Methods in Quantum Information Theory / Peter Selinger -- Quantifying Notes / Hans van Ditmarsch -- Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders / Sergio Abriola, Santiago Figueira and Gabriel Senno -- Initiality for Typed Syntax and Semantics / Benedikt Ahrens -- Moving Arrows and Four Model Checking Results / Carlos Areces, Raul Fervari and Guillaume Hoffmann -- Standard Completeness for Extensions of MTL: An Automated Approach / Paolo Baldi, Agata Ciabattoni and Lara Spendier.

The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge / Alexandru Baltag, Bryan Renne and Sonja Smets -- Minimization via Duality / Nick Bezhanishvili, Clemens Kupke and Prakash Panangaden -- On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication / Claudio Callejas, João Marcos and Benjamín René Callejas Bedregal -- Linearity in the Non-deterministic Call-by-Value Setting / Alejandro Díaz-Caro and Barbara Petit -- Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures / Amin Farjudian -- Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures / Willem L. Fouché -- Propositional Reasoning about Saturated Conditional Probabilistic Independence / Sebastian Link -- Contracting Logics / Márcio M. Ribeiro and Marcelo E. Coniglio -- A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs / Benjamin Rossman -- Preservation under Substructures modulo Bounded Cores / Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath and Supratik Chakraborty -- A Logic of Plausible Justifications / L. Menasché Schechter -- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics / Marco Volpe, João Marcos and Carlos Caleiro.

Includes bibliographical references and author index.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics.

There are no comments for this item.

to post a comment.

Powered by Koha