M5 – Logic and Computation
 |
 |
course of the deck
used in the lectures
same deck in other editions
reference publication
The Logic Programming Paradigm and Prolog (book chapter, 2005) — Krzysztof R. Apt The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (book, 2009) — George Boole The Concurrent Language, Shared Prolog (article in journal, 1991) — Antonio Brogi, Paolo Ciancarini Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project (book, 1984) — Bruce G. Buchanan, Edward H. Shortliffe Logic Programming as a Service (article in journal, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini The Hunting of the Snark (book, 1876) — Lewis Carroll Distributed Programming with Logic Tuple Spaces (article in journal, 1994) — Paolo Ciancarini Coordination Models and Languages as Software Integrators (article in journal, 1996) — Paolo Ciancarini The Birth of Prolog (book chapter, 1996) — Alain Colmerauer, Philippe Roussel Programmazione logica e Prolog (book, 1997) — Luca Console, Evelina Lamma, Paola Mello, Michela Milano Aristotle: Semantics and Ontology. Volume I: General Introduction. The Works on Logic (book, 2002) — Lambertus Marie De Rijk Logic Tuple Spaces for the Coordination of Heterogeneous Agents (paper in proceedings, 1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti tuProlog: Making Prolog Ubiquitous (article in journal, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari On the Foundations of Geometry and Formal Theories of Arithmetic (book, 1971) — Gottlob Frege Parallel Execution of Prolog Programs: a Survey (article in journal, 2001) — Gopal Gupta, Enrico Pontelli, Khayri A.M. Ali, Mats Carlsson, Manuel V. Hermenegildo Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (article in journal, 1931) — Kurt Gödel Predicate Logic as Programming Language (paper in proceedings, 1974) — Robert A. Kowalski Logic for Problem Solving (book, 1979) — Robert A. Kowalski Thinking as Computation: A First Course (book, 2012) — Hector J. Levesque Computational Logic (edited volume, 1990) — John W. Lloyd The Aurora or-parallel Prolog system (article in journal, 1990) — Ewing Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman An Efficient Unification Algorithm (article in journal, 1982) — Alberto Martelli, Ugo Montanari On the Meanings of the Logical Constants and the Justifications of the Logical Laws (article in journal, 1996) — Per Martin-Löf Foreword (book chapter, 1996) — George Metakides, Anil Nerode Principles of Logic and Logic Programming (book, 1996) — George Metakides, Anil Nerode Logic, Programming and Prolog (book, 1995) — Ulf Nilsson, Jan Maluszynski From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti Logic Programming (other publication sort, 2007) — Frank Pfenning Multi-agent Coordination as Distributed Logic Programming (book chapter, 2004) — David Robertson A Machine-Oriented Logic Based on the Resolution Principle (article in journal, 1965) — John Alan Robinson The family of concurrent logic programming languages (article in journal, 1989) — Ehud Shapiro Introduction to Logic and to the Methodology of the Deductive Sciences (book, 1994) — Alfred Tarski, Jan Tarski Principia Mathematica (book, 1927) — Alfred North Whitehead, Bertrand Russell
related thesis
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (24/07/2017) — Alberto Sita 
English
