João Leite – författare

This two-volume set LNAI 16121-16122 constitutes the proceedings of the 24th EPIA Conference on Progress in Artificial Intelligence, EPIA 2025, held in Faro, Portugal, during October 1–3, 2025.The 76 full papers included in these proceedings were carefully reviewed and selected from 158 submissions. They were organized in topical sections as follows:Part I: Artificial Intelligence in Medicine (AIM); AI for Architecture, Engineering and Conservation (AI4AEC); Knowledge Discovery and Business Intelligence (KDBI); Generative AI: Foundations and Applications (GenAI); Artificial Intelligence: Theory, Methods, and Applications (AITMA); Ethics and Responsibility in AI (ERAI).Part II: Artificial Intelligence for Industry and Societies (AI4IS); Artificial Intelligence and Law (AIL); Artificial Intelligence and IoT in Agriculture (AIoTA); Artificial Intelligence in Transportation Systems (AITS); Natural Language Processing, Text Mining and Applications (NLP-TeMA); Ambient Intelligence and Affective Environments (AmIA); AI and Creativity (AIC); Artificial Intelligence in Power and Energy Systems (AIPES); Fuzzy Data Analysis and Applications (FDA).

This two-volume set LNAI 16121-16122 constitutes the proceedings of the 24th EPIA Conference on Progress in Artificial Intelligence, EPIA 2025, held in Faro, Portugal, during October 1–3, 2025.The 76 full papers included in these proceedings were carefully reviewed and selected from 158 submissions. They were organized in topical sections as follows:Part I: Artificial Intelligence in Medicine (AIM); AI for Architecture, Engineering and Conservation (AI4AEC); Knowledge Discovery and Business Intelligence (KDBI); Generative AI: Foundations and Applications (GenAI); Artificial Intelligence: Theory, Methods, and Applications (AITMA); Ethics and Responsibility in AI (ERAI).Part II: Artificial Intelligence for Industry and Societies (AI4IS); Artificial Intelligence and Law (AIL); Artificial Intelligence and IoT in Agriculture (AIoTA); Artificial Intelligence in Transportation Systems (AITS); Natural Language Processing, Text Mining and Applications (NLP-TeMA); Ambient Intelligence and Affective Environments (AmIA); AI and Creativity (AIC); Artificial Intelligence in Power and Energy Systems (AIPES); Fuzzy Data Analysis and Applications (FDA).

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. logics for uncertain reasoning;

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.

Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday'ssystems.Asaconsequence,thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature discovery and veri?cation. Formal methods and declarative technologies have recently attracted a growing interest as a means to address such issues. The aim of the DALT 2003 workshop was two-fold. On the one hand, we wanted to foster a discussion forum to export such techniques into the broader communityofagentresearchersandpractitioners.Ontheotherhand,wewanted to bring in the issues of real-world, complex, and possibly large-scale agent s- tem design in the perspective of formal methods and declarative technologies.Thanks to the very high quality of our program committee, we managed to put together a rich program, including three technical sessions and two panel sessions:TheUseofDeclarativeProgrammingforAgent-OrientedSoftwareEn- neering, moderated by Leon Sterling and Andrea Omicini, and Declarative and Logic-Based Technology for Agent Reasoning and Interactions, organized and moderated by Rafael Bordini and Wiebe van der Hoek, with the participation of ?ve invited panelists. This bookcontainstherevisedandextendedversionsofthe paperspresented at the workshop, as well as three invited contributions by leading researchers of the ?eld. It is composed of three parts: (i) software engineering and multi-agent system prototyping, (ii) agent reasoning, BDI logics and extensions, and (iii) social aspects of multi-agent systems.

Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference on Logics in Arti?cial Intelligence (or Journ' ees Europ' eennes sur la Logique en Intelligence Arti?cielle, JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this ?eld. Since then, JELIA has been organized biennially, with English as its o?cial language, previous meetings taking place in Rosco?, France (1988), Amsterdam, Nether- ' lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl,Germany(1998),M' alaga,Spain(2000)andCosenza,Italy(2002). The increasinginterestinthisforum,itsinternationallevelwithgrowingparticipation from researchers outside Europe, and the overall technical quality have turned JELIA into a major biennial forum for the discussion of logic-based approaches to arti?cial intelligence.The 9th European Conference on Logics in AI, JELIA 2004, took place in Lisbon, Portugal, between the 27th and the 30th of September 2004, and was hosted by the Universidade Nova de Lisboa. Its technical program comprised 3 invited talks, by Francesca Rossi, Franz Baader, and Bernhard Nebel, and the presentationof52refereedtechnicalarticlesselectedbytheProgramCommittee among the 144 that were submitted, a number which in our opinion clearly indicates that the research area of logics in AI is one with a great and increasing interest.

This book constitutes the strictly refereed post-proceedings of the 4th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IV, held in Fort Lauderdale, Fl, USA in January 2004.The 11 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. The papers are organized in topical sections on negotiation in MAS, planning in MAS, knowledge revision and update in MAS, and learning in BDI MAS.

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne. Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions – a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 15 revised full papers, presented together with 1 invited paper reporting the aims and achievements of the OpenKnowledge project, were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on agent reasoning and semantics, declarative languages and technologies, methodologies and design, and development frameworks.

This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7–9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical and practical issues related to developing and deploying multi-agent systems. It constituted a rich forum where leading researchers from both academia and industry could share their experiencesonformalapproaches,programminglanguages,methodologies, tools andtechniques supporting the developmentanddeploymentof multi-agent systems.Fromatheoreticalpointofview,LADS2009aimedataddressingissues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability andveri?cation.Formaldeclarativemodelsandapproacheshavethe potentialof o?ering solutions for the speci?cation and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and d- cussion on how multi-agent system speci?cations and designs can be e?ectively implemented and tested. This book is the result of a strict selection and review process. From 14 papers originally submitted to LADS 2009, and after 2 rounds of reviews, we selected 10 high-quality papers covering important topics related to multi-agent programming technology, such as: agent architectures, programming languages andmethodologies,socialinteractionmodels,developmenttoolsandapplications of multi-agent systems.

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. The 14 papers included in this volume were carefully reviewed and selected from 31 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning.

This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 8 revised full papers presented were carefully selected during two rounds of reviews from 11 initial submissions. The papers address issues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictablity and verification.