Evolution of Programming Languages in Agent Systems and the Role of Computational Logic

Alina Vozna; Andrea Monaldini; Stefania Costantini; Giovanni De Gasperis; Pierangelo dell’Acqua; Andrea Formisano; Andrea Rafanelli

doi:10.1007/978-3-032-22940-3_1

Evolution of Programming Languages in Agent Systems and the Role of Computational Logic

Alina Vozna, Andrea Monaldini, Stefania Costantini, Giovanni De Gasperis, Pierangelo dell’Acqua, Andrea Formisano, Andrea Rafanelli

Viviana Mascardi, Andrea Omicini (eds.)

The Agents Journey: Twenty-Five Years of Multi-agent Systems, chapter 1, pages 3–51

Lecture Notes in Computer Science (State-of-the-Art Survey) 16395

Springer Nature Switzerland

April 2026

In this chapter we first report the evolution over time of the programming languages adopted for implementing agents and Multi-Agent Systems (MAS). Then, we briefly illustrate our own contribution to the field of agents and MAS, which concerns a programming language and framework called DALI, some significant applications of DALI, and a study relating to Epistemic Logic to model group dynamics in agent systems. All of the above is based on papers published in the Proceedings of the WOA series of workshops.

keywords Agent-Oriented Programming Languages, Computational Logic, Epistemic Logic

journal or series

Lecture Notes in Computer Science (LNCS)

container publication

The Agents Journey (edited volume, 2026) — Viviana Mascardi, Andrea Omicini

companion publication

Preface (editorial/introduction/preface, 2026) — Viviana Mascardi, Andrea Omicini

Looking for the Best Partners (book chapter, 2026) — Domenico Rosaci, Giuseppe M. L. Sarnè

Trust Evolution in Agent and Multi-agent Systems: A Computational Modeling Perspective (book chapter, 2026) — Alessandro Sapienza, Filippo Cantucci, Cristiano Castelfranchi, Rino Falcone

Interaction Protocols: From AUML to Social Commitments, from Artifacts to BSPL (book chapter, 2026) — Matteo Baldoni, Cristina Baroglio, Roberto Micalizio

Coordination of Software Agents: Models and Languages (book chapter, 2026) — Giacomo Cabri, Letizia Leonardi, Stefano Mariani, Franco Zambonelli

Self-organisation with Aggregate Computing: A Reflection Under the Lenses of Multi-agent Systems Engineering (book chapter, 2026) — Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli

Rethinking Software Agents as Building Blocks of Software Systems (book chapter, 2026) — Federico Bergenti, Stefania Monica

Designing Agent-Oriented Systems (book chapter, 2026) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita

Agent-Based Computing for Science and Engineering: Back to the Future and Beyond... (book chapter, 2026) — Alfredo Garro

Simulation and Agent-Based Simulation at WOA: 25 of Years of Simulation-Related Contributions, and an Outlook of What Awaits Us (book chapter, 2026) — Giuseppe Vizzari, Daniela Briola

25 Years of Declarative Agent Technologies in Italy (book chapter, 2026) — Davide Ancona, Daniela Briola, Angelo Ferrando, Maurizio Martelli, Viviana Mascardi

Intelligent Agents from Symbolic to Neurosymbolic Systems: The Quest for Integration (book chapter, 2026) — Andrea Agiollo, Roberta Calegari, Giovanni Ciatto, Matteo Magnini, Andrea Omicini, Federico Sabbatini

From Objects to Agents, and Back to Smart Objects: Software Agents for Intelligent Internet of Things (IoT) Systems (book chapter, 2026) — Daniel-Costel Bouleanu, Marco Loaiza, Claudio Savaglio, Costin Bădică, Raffaele Gravina, Giancarlo Fortino

AI Infrastructure: From Gigastructure to Edge Intelligence with Multi-Agent Systems (book chapter, 2026) — Andrea Omicini, Alessandro Ricci, Viviana Mascardi

works as

companion publication for