Limit search to available items
Book Cover
E-book
Author European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)

Title Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.)
Published Berlin ; New York : Springer, ©2012

Copies

Description 1 online resource (263 pages) : illustrations
Series Lecture notes in computer science, 1611-3349 ; 7388. Tutorial
Tutorial
FoLLI Publications on Logic, Language and Information
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 7388. 1611-3349
Lecture notes in computer science. Tutorial.
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Proof Complexity of Non-classical Logics / Olaf Beyersdorff and Oliver Kutz -- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science / Jan Broersen and Leendert van der Torre -- A Short Introduction to Implicit Computational Complexity / Ugo Dal Lago -- Strategies in Games: A Logic-Automata Study / Sujata Ghosh and R. Ramanujam -- Introduction to Judgment Aggregation / Davide Grossi and Gabriella Pigozzi -- Specification and Verification of Multi-Agent Systems / Wojciech Jamroga and Wojciech Penczek
Summary Annotation The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. The 6 course notes were carefully reviewed and selected. The papers are organized in topical sections on computational complexity, multi-agant systems, natural language processing, strategies in games and formal semantics
Analysis Computer science
Computer software
Logic design
Computational complexity
Artificial intelligence
Logic, Symbolic and mathematical
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
computerwetenschappen
computer sciences
wiskunde
mathematics
algoritmen
algorithms
computeranalyse
computer analysis
kunstmatige intelligentie
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Bibliography Includes bibliographical references and author index
Notes Online resource; title from PDF title page (SpringerLink, viewed August 9, 2012)
Subject Computer logic -- Congresses
Computer science -- Mathematics -- Congresses
Informatique.
Computer logic
Computer science -- Mathematics
Genre/Form Conference papers and proceedings
Software.
Form Electronic book
Author Bezhanishvili, Nick.
Goranko, Valentin.
European Summer School in Logic, Language, and Information (23rd : 2011 : Ljubljana, Slovenia)
ISBN 9783642314858
3642314856
Other Titles ESSLLI 2010
ESSLLI 2011