Together with the disruptive development of modern sub-symbolic approaches to artificial intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more and more researchers exploit their potential to make AI more comprehensible, explainable, and therefore trustworthy. Since logic-based approaches lay at the core of symbolic AI, summarizing their state of the art is of paramount importance now more than ever, in order to identify trends, benefits, key features, gaps, and limitations of the techniques proposed so far, as well as to identify promising research perspectives. Along this line, this paper provides an overview of logic-based approaches and technologies by sketching their evolution and pointing out their main application areas. Future perspectives for exploitation of logic-based technologies are discussed as well, in order to identify those research fields that deserve more attention, considering the areas that already exploit logic-based approaches as well as those that are more likely to adopt logic-based approaches in the future.

A programmable coordination medium is a shared communicationdevice whose behaviour can be defined by meansof a suitable programming language according to the globalsystem needs. This notion has indeed an impact over the designof multi-component software system, since (part of) thesystem computational charge of can be in principle shiftedfrom the communicating components (agents) to the communicationdevice. At the same time, this raises the issueof the computational power of a...