Authors:Agostino Dovier, Enrico Pontelli,
Publisher: Springer
Keywords: programming, logic, computer, notes, science, software, lecture, engineering, association, perspective, achievements, italian, year, gulp
Number of Pages: 329
Published: 2010-09-10
List price: $83.00
ISBN-10: 3642143083
ISBN-13: 9783642143083

This book celebrates the 25th anniversary of GULP—the Italian Association for Logic Programming. Authored by Italian researchers at the leading edge of their fields, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students. The volume contains 14 invited papers, each giving a detailed analysis of a specific field of logic programming and providing both a historical perspective and a precise discussion of current research. The book closes with a chapter reviewing in detail the main applications of logic programming devel

Authors:Ondrej Majer, Ondrej Majer, Ahti-Veikko Pietarinen, T
Publisher: Springer
Keywords: logic, unity, science, epistemology, language, unifying, games, philosophy
Number of Pages: 380
Published: 2009-01-09
List price: $249.00
ISBN-10: 140209373X
ISBN-13: 9781402093739

This volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covering new technical results and examining the philosophical insights that these have yielded. Organized in four sections it offers a balanced mix of papers dedicated to the major trends in the field: the dialogical approach to logic, Hintikka-style game-theoretic semantics, game-theoretic models of various domains (including computation and natural language) and logical analyses of game-theoretic situations. This volume will be of inter

Authors:H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D.
Publisher: North-Holland
Keywords: logic, proceedings, colloquium, colloquim, july, granada, spain
Number of Pages: 386
Published: 1989-08
List price: $251.00
ISBN-10: 0444880224
ISBN-13: 9780444880222

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.

Authors:Bernard Lonergan, Philip J. McShane,
Publisher: University of Toronto Press, Scholarly Publishing Division
Keywords: logic, collected, works, lonergan, volume, bernard, mathematical, boston, college, lectures, phenomenology, existentialism
Number of Pages: 448
Published: 2001-12-22
List price: $35.95
ISBN-10: 0802084486
ISBN-13: 9780802084484

Collected here for the first time, this series of lectures delivered by Lonergan at Boston College in 1957 illustrates a pivotal time in Lonergan’s intellectual history, marking both the transition from the faculty psychology still present in his work Insight to intentionality analysis and his initial differentiation of the existential level of consciousness.The lectures on logic deal with the general character of mathematical logic and its relation to truth, Scholasticism, and Aristotelian logic. Continuing Lonergan’s long-standing interest in the foundations of thought, the lectu

Authors:Jaakko Hintikka, Merrill B.P. Hintikka,
Publisher: Springer
Keywords: logic, epistemology, library, synthese, selected, essays
Number of Pages: 266
Published: 1989-02-28
List price: $176.00
ISBN-10: 0792300408
ISBN-13: 9780792300403

Authors:Balder D. ten Cate, Henk W. Zeevat,
Publisher: Springer
Keywords: logic, computation, language, lecture, notes, intelligence, september, artificial, batumi, international, tbilisi, symposium, georgia
Number of Pages: 281
Published: 2007-10-23
List price: $69.95
ISBN-10: 3540751432
ISBN-13: 9783540751434

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second volume of the FoLLI LNAI subline. It represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia, in September 2005. The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation and address the following topics in detail:

Authors:Peter Gärdenfors, Jan Wolenski, K. Kijania-Placek,
Publisher: Springer
Keywords: methodology, philosophy, logic, cracow, august, library, congress, synthese, one, science, volume, scope, international
Number of Pages: 386
Published: 2002-12-31
List price: $219.00
ISBN-10: 1402009291
ISBN-13: 9781402009297

This is the first of two volumes containing papers submitted by the invited speakers to the 11th International Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited speakers are the leading researchers and accordingly the book presents the current state of the intellectual discourse in the respective fields. The papers delivered at the congress were divided into 17 sections. Thus the structure of the volume corresp