Agenti Intelligenti (modulo 1) 2026/2027
| Principale | Lucidi | Letture | Laboratorio | Calendario |
main
M1 – Human, Truth, Agent
- Intelligent Agents from Symbolic to Neurosymbolic Systems: The Quest for Integration (The Agents Journey, 2026) — Andrea Agiollo, Roberta Calegari, Giovanni Ciatto, Matteo Magnini, Andrea Omicini, Federico Sabbatini
- The Logic Programming Paradigm and Prolog (capitolo di libro, 2005) — Krzysztof R. Apt
- The Moral Machine experiment (Nature, 2018) — Edmond Awad, Sohan Dsouza, Richard Kim, Jonathan Schulz, Joseph Henrich, Azim Shariff, Jean-François Bonnefon, Iyad Rahwan
- Discovering Event Structure in Continuous Narrative Perception and Memory (Neuron, 2017) — Christopher Baldassano, Janice Chen, Asieh Zadbood, Jonathan W. Pillow, Uri Hasson, Kenneth A. Norman
- Information Management: A Proposal (rapporto tecnico, 1989) — Tim Berners-Lee
- Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web (libro, 1999) — Tim Berners-Lee, Mark Fischetti
- The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (libro, 2009) — George Boole
- Programming Multi-Agent Systems in AgentSpeak using Jason (libro, 2007) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
- Large Language Models in Machine Translation (articolo in atti, 2007) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
- Achieving Artificial Intelligence through Building Robots (rapporto tecnico, 1986) — Rodney A. Brooks
- Intelligence Without Reason (IJCAI 1991) — Rodney A. Brooks
- Intelligence without Representation (articolo in rivista, 1991) — Rodney A. Brooks
- The Narrative Construction of Reality (Critical Inquiry, 1991) — Jerome Bruner
- Exploiting GenAI for Plan Generation in BDI Agents (ECAI-2025) — Giovanni Ciatto, Gianluca Aguzzi, Riccardo Battistini, Martina Baiardi, Samuele Burattini, Alessandro Ricci
- Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (ACM Computing Surveys, 2024) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
- De Inventione, De Optimo Genere Oratorum, Topica (libro, 1949) — Marcus Tullius Cicero
- Cours de philosophie positive (libro, 1830) — Auguste Comte
- Getting to the Source of the Illusion of Consensus (Cognition, 2022) — Saoirse Connor Desai, Belinda Xie, Brett K. Hayes
- Aristotle: Semantics and Ontology. Volume I: General Introduction. The Works on Logic (libro, 2002) — Lambertus Marie De Rijk
- Identification of the Social and Cognitive Processes Underlying Human Cumulative Culture (Science, 2012) — L. G. Dean, R. L. Kendal, S. J. Schapiro, B. Thierry, K. N. Laland
- Truth Is the Most Dangerous Fantasy Our Species Ever Invented (altro tipo di pubblicazione, 2025) — Manuel Delaflor
- The Logical Basis of Metaphysics (libro, 1991) — Michael Dummett
- Metacognition and Confidence: A Review and Synthesis (Annual Review of Psychology, 2024) — Stephen M. Fleming
- On the Foundations of Geometry and Formal Theories of Arithmetic (libro, 1971) — Gottlob Frege
- Discorsi e dimostrazioni matematiche, intorno à due nuove scienze attenenti alla mecanica & i movimenti locali (libro, 1638) — Galileo Galilei
- Le disavventure della verità (libro, 2026) — Umberto Galimberti
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Monatshefte für Mathematik und Physik, 1931) — Kurt Gödel
- The Effects of Repetition Frequency on the Illusory Truth Effect (Cognitive Research: Principles and Implications, 2021) — Aumyo Hassan, Sarah J. Barber
- Philosophical Essays Concerning Human Understanding (libro, 1748) — David Hume
- The Dawn of Language: The Story of How We Came to Talk (libro, 2021) — Sverker Johansson
- AI is incapable of telling the truth (altro tipo di pubblicazione, 2026) — Bun-Sun Kim, Hongjoon Jo
- Distributed Cognition, Coordination and Environment Design (articolo in atti, 1999) — David Kirsh
- Predicate Logic as Programming Language (articolo in atti, 1974) — Robert A. Kowalski
- Thinking as Computation: A First Course (libro, 2012) — Hector J. Levesque
- The Agents Journey (curatela, 2026) — Viviana Mascardi, Andrea Omicini
- Echo Chambers and Epistemic Bubbles (Episteme, 2020) — C. Thi Nguyen
- Ecce Homo. Wie man wird, was man ist (libro, 1908) — Friedrich Nietzsche
- How to Make Our Ideas Clear (Popular Science Monthly, 1878) — Charles Sanders Peirce
- Spotting False News and Doubting True News: A Systematic Review and Meta-Analysis of News Judgements (Nature Human Behaviour, 2025) — Jan Pfänder, Sacha Altay
- The Logic of Scientific Discovery (libro, 2002) — Karl Raimund Popper
- AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (MAAMAW'96, 1996) — Anand S. Rao
- An Abstract Architecture for Rational Agents (articolo in atti, 1992) — Anand S. Rao, Michael P. Georgeff
- Decision procedures for BDI logics (Journal of Logic and Computation, 1998) — Anand S. Rao, Michael P. Georgeff
- Accuracy and Social Motivations Shape Judgements of (Mis)Information (Nature Human Behaviour, 2023) — Steve Rathje, Jon Roozenbeek, Jay J. Van Bavel, Sander van der Linden
- A Mathematical Theory of Communication (The Bell System Technical Journal, 1948) — Claude E. Shannon
- A Mathematical Theory of Communication (The Bell System Technical Journal, 1948) — Claude E. Shannon
- Epistemic Vigilance (Mind & Language, 2010) — Dan Sperber, Fabrice Clément, Christophe Heintz, Olivier Mascaro, Hugo Mercier, Gloria Origgi, Deirdre Wilson
- Introduction to Logic and to the Methodology of the Deductive Sciences (libro, 1994) — Alfred Tarski, Jan Tarski
- The Sweeter Lesson (Communications of the ACM, 2026) — Moshe Y. Vardi
- Attention Is All You Need (articolo in atti, 2017) — Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, Illia Polosukhin
- Principia Mathematica (libro, 1927) — Alfred North Whitehead, Bertrand Russell
- Event Perception: A Mind–Brain Perspective (Psychological Bulletin, 2007) — Jeffrey M. Zacks, Nicole K. Speer, Khena M. Swallow, Todd S. Braver, Jeremy R. Reynolds
M2 – Logic and Computation
- The Logic Programming Paradigm and Prolog (capitolo di libro, 2005) — Krzysztof R. Apt
- The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (libro, 2009) — George Boole
- Logic Programming as a Service (Theory and Practice of Logic Programming, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- The Birth of Prolog (capitolo di libro, 1996) — Alain Colmerauer, Philippe Roussel
- Aristotle: Semantics and Ontology. Volume I: General Introduction. The Works on Logic (libro, 2002) — Lambertus Marie De Rijk
- On the Foundations of Geometry and Formal Theories of Arithmetic (libro, 1971) — Gottlob Frege
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Monatshefte für Mathematik und Physik, 1931) — Kurt Gödel
- Predicate Logic as Programming Language (articolo in atti, 1974) — Robert A. Kowalski
- Thinking as Computation: A First Course (libro, 2012) — Hector J. Levesque
- An Efficient Unification Algorithm (ACM Transactions on Programming Languages and Systems, 1982) — Alberto Martelli, Ugo Montanari
- Introduction to Logic and to the Methodology of the Deductive Sciences (libro, 1994) — Alfred Tarski, Jan Tarski
- Principia Mathematica (libro, 1927) — Alfred North Whitehead, Bertrand Russell
M3 – Artificial Intelligence: A Bird’s Eye View
- Bayesian Reasoning and Machine Learning (libro, 2012) — David Barber
- Achieving Artificial Intelligence through Building Robots (rapporto tecnico, 1986) — Rodney A. Brooks
- Intelligence Without Reason (IJCAI 1991) — Rodney A. Brooks
- Intelligence without Representation (articolo in rivista, 1991) — Rodney A. Brooks
- Deep Blue (articolo in rivista, 2002) — Murray Campbell, A.Joseph Hoane, Feng-hsiung Hsu
- The Birth of Prolog (capitolo di libro, 1996) — Alain Colmerauer, Philippe Roussel
- STRIPS (voce di enciclopedia, 2006) — David Furcy, Sven Koenig
- CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks (AI Magazine, 1985) — Douglas B. Lenat, Mayank Prakash, Mary Shepherd
- An Introduction to Computing with Neural Nets (IEEE ASSP Magazine, 1987) — Richard P. Lippmann
- Foundations of Logic Programming (libro, 1984) — John W. Lloyd
- History of LISP (capitolo di libro, 1981) — John McCarthy
- Machine Learning: An Artificial Intelligence Approach (curatela, 1983) — Ryszard S. Michalski, Jaime G. Carbonell, Tom M. Mitchell
- Human-level control through deep reinforcement learning (Nature, 2015) — Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Andrei A. Rusu, Joel Veness, Marc G. Bellemare, Alex Graves, Martin Riedmiller, Andreas K. Fidjeland, Georg Ostrovski, Stig Petersen, Charles Beattie, Amir Sadik, Ioannis Antonoglou, Helen King, Dharshan Kumaran, Daan Wierstra, Shane Legg, Demis Hassabis
- Encyclopedia of Cognitive Science (curatela, 2006) — Lynn Nadel
- Report on a general problem-solving program (IFIP 1959) — Allen Newell, J.Cliff Shaw, Herbert A. Simon
- The logic theory machine—A complex information processing system (IRE Transactions on Information Theory, 1956) — Allen Newell, Herbert Simon
- The Euclidean travelling salesman problem is NP-complete (Theoretical Computer Science, 1977) — Christos H. Papadimitriou
- Computer-based medical consultations: MYCIN (libro, 1976) — Edward Hance Shortliffe
- Mastering the game of Go with deep neural networks and tree search (Nature, 2016) — David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, Demis Hassabis
- Stanley: The robot that won the DARPA Grand Challenge (Journal of Field Robotics, 2006) — Sebastian Thrun, Mike Montemerlo, Hendrik Dahlkamp, David Stavens, Andrei Aron, James Diebel, Philip Fong, John Gale, Morgan Halpenny, Gabriel Hoffmann, Kenny Lau, Celia Oakley, Mark Palatucci, Vaughan Pratt, Pascal Stang, Sven Strohband, Cedric Dupont, Lars‐Erik Jendrossek, Christian Koelen, Charles Markey, Carlo Rummel, Joe van Niekerk, Eric Jensen, Philippe Alessandrini, Gary Bradski, Bob Davies, Scott Ettinger, Adrian Kaehler, Ara Nefian, Pamela Mahoney
- SHRDLU (voce di enciclopedia, 2006) — Nigel Ward
- Artificial Intelligence (libro, 2018) — Michael Wooldridge
M4 – Constraint (Logic) Programming
- The Traveling Salesman Problem: A Computational Study (libro, 2007) — David L. Applegate, Robert E. Bixby, Vašek Chvátal, William J. Cook
- Principles of Constraint Programming (libro, 2003) — Krzysztof R. Apt
- Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and Its Variants In Constraint Logic Programming (Theory and Practice of Logic Programming, 2026) — Alessandro Bertagnon, Marco Gavanelli
- Equations and Inequations on Finite and Infinite Trees (FGCS 1984) — Alain Colmerauer
- An Introduction to Prolog III (Communications of the ACM, 1990) — Alain Colmerauer
- The complexity of theorem-proving procedures (STOC 1971) — Stephen A. Cook
- The mathematical values of fraction signs in the Linear A script: A computational, statistical and typological approach (Journal of Archaeological Science, 2021) — Michele Corazza, Silvia Ferrara, Barbara Montecchi, Fabio Tamburini, Miguel Valério
- The convex-hull-and-line traveling salesman problem: a solvable case (Information Processing Letters, 1994) — Vladimir G. Deineko, René van Dal, Günter Rote
- The Constraint Logic Programming Language CHIP (FGCS 1988) — Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier
- The Traveling-Salesman Problem (Operations Research, 1956) — Merrill M. Flood
- A Sufficient Condition for Backtrack-Free Search (Journal of the ACM, 1982) — Eugene C. Freuder
- In Pursuit of the Holy Grail (Constraints, 1997) — Eugene C. Freuder
- Constraint Logic Programming (POPL 1987) — Joxan Jaffar, Jean-Louis Lassez
- Constraint Logic Programming: A Survey (The Journal of Logic Programming, 1994) — Joxan Jaffar, Michael J. Maher
- Algorithm = Logic + Control (Communications of the ACM, 1979) — Robert A. Kowalski
- An Automatic Method of Solving Discrete Programming Problems (Econometrica, 1960) — A. H. Land, A. G. Doig
- Consistency in Networks of Relations (articolo in rivista, 1977) — Alan K. Mackworth
- Programming with Constraints: An Introduction (libro, 1998) — Kim Marriott, Peter J. Stuckey
- Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems (articolo in rivista, 1992) — Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird
- Networks of Constraints: Fundamental Properties and Applications to Picture Processing (Information Sciences, 1974) — Ugo Montanari
- Chaff: engineering an efficient SAT solver (DAC 2001) — Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik
- MiniZinc: Towards a Standard CP Modelling Language (capitolo di libro, 2007) — Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
- Propagation via lazy clause generation (Constraints, 2009) — Olga Ohrimenko, Peter J. Stuckey, Michael Codish
- The Euclidean travelling salesman problem is NP-complete (Theoretical Computer Science, 1977) — Christos H. Papadimitriou
- A Filtering Algorithm for Constraints of Difference in CSPs (AAAI-94, 1994) — Jean-Charles Régin
- Handbook of Constraint Programming (curatela, 2006) — Francesca Rossi, Peter van Beek, Toby Walsh
- ECLiPSe – From LP to CLP (Theory and Practice of Logic Programming, 2012) — Joachim Schimpf, Kish Shen
- Sketchpad: A Man-Machine Graphical Communication System (AFIPS '63 (Spring), 1963) — Ivan E. Sutherland
- The Finite Domain Constraint Solver of SWI-Prolog (capitolo di libro, 2012) — Markus Triska
- Constraint Satisfaction in Logic Programming (libro, 1989) — Pascal Van Hentenryck
- Understanding Line Drawings of Scenes with Shadows (capitolo di libro, 1975) — David L. Waltz
- The Distributed Constraint Satisfaction Problem: Formalization and Algorithms (IEEE Transactions on Knowledge and Data Engineering, 1998) — Makoto Yokoo, Edmund H. Durfee, Toru Ishida, Kazuhiro Kuwabara
lab
L1 – Prolog, Axioms, Rules
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01, 2001) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
L2 – Logic Programming and Core Prolog
- An Efficient Unification Algorithm (ACM Transactions on Programming Languages and Systems, 1982) — Alberto Martelli, Ugo Montanari
L4 – Constraints in Prolog
- Metastructures vs. Attributed Variables in the Context of Extensible Unification (PLILP’92, 1992) — Christian Holzbaur
- Constraint Logic Programming (POPL 1987) — Joxan Jaffar, Jean-Louis Lassez
- A Filtering Algorithm for Constraints of Difference in CSPs (AAAI-94, 1994) — Jean-Charles Régin
- The Finite Domain Constraint Solver of SWI-Prolog (capitolo di libro, 2012) — Markus Triska
letture / pagine dei corsi
