Per Year
- On Correctness and Completeness of an n Queens Program (article in journal) — Włodzimierz Drabent
- Modular logic argumentation in Arg-tuProlog (paper in proceedings) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Towards Human-centric AutoML via Logic and Argumentation (paper in proceedings) — Joseph Giovanelli, Giuseppe Pisano
- Web of Digital Twins (article in journal) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
- Integration of Logical English and s(CASP) (paper in proceedings) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence (book) — Adrian A. Hopgood
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (edited volume) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari
- Arguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- Taking stock of available technologies for compliance checking on first-order knowledge (paper in proceedings) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (article in journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
- Coordination of Autonomous Vehicles: Taxonomy and Survey (article in journal) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
- Clustering-Based Approaches for Symbolic Knowledge Extraction (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- Logic Programming library for Machine Learning: API design and prototype (paper in proceedings) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari