Set Bibtex fields before BibTeX interface migration

127
@conference{stsecas2016,
 keywords = {Socio-Technical Systems, Adaptation, Security, Privacy, Development Framework.},
 status = {Submitted},
 venue_s = {eCas2016},
 author = {Cabri, Giacomo and  Cossentino, Massimo  and Denti, Enrico and  Giorgini, Paolo and  Molesini, Ambra and  Mordonini, Monica and Tomaiuolo, Michele and Sabatucci, Luca},
 title = {An Integrated Framework for Adaptive Socio-Technical Systems},
 abstract = {Socio-Technical Systems (STSs) are kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects: a wide set of entities need to interact in a coordinated, secure, and adaptive way, perceiving and manipulating the environment in which they are immersed and its evolution. Accordingly, designing STSs means to combine suitable enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes. In this paper we present a possible framework for STSs development, with special emphasis on adaptivity, security and privacy.}}
An Integrated Framework for Adaptive Socio-Technical Systems
@inproceedings{casadei-mass2016,
  author    = {Viroli, Mirko and Casadei, Roberto and Pianini, Danilo},
  title     = {Simulating Large-scale Aggregate MASs with Alchemist and Scala},
  booktitle = {Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gda{\'{n}}sk, Poland, September 11-14, 2016.},
  pages     = {14951504},
  editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
  month = {11-14 September},
  publisher = {IEEE Computer Society Press},
  address = {Gdansk, Poland},
  year      = {2016},
  status = {Published},
  url       = {http://dx.doi.org/10.15439/2016F407},
  doi       = {10.15439/2016F407},
  timestamp = {Tue, 18 Oct 2016 14:39:01 +0200},
  abstract = {Recent works in the context of large-scale adaptive systems, such as those based on opportunistic IoT-based applications, promote aggregate programming, a development approach for distributed systems in which the collectivity of devices is directly targeted, instead of individual ones. This makes the resulting behaviour highly insensitive to network size, density, and topology, and as such, intrinsically robust to failures and changes to working conditions (e.g., location of computational load, communication technology, and computational infrastructure). Most specifically, we argue that aggregate programming is particularly suitable for building models and simulations of complex large-scale reactive MASs. Accordingly, in this paper we describe SCAFI (Scala Fields), a Scala-based API and DSL for aggregate programming, and its integration with the ALCHEMIST simulator, and usage scenarios in the context of smart mobility.}
}
Simulating Large-scale Aggregate MASs with Alchemist and Scala
@article{wooldridge-intelligentagents,
    author = {Wooldridge, Michael J. and Jennings, Nicholas R.},
    doi = {10.1017/S0269888900008122},
    journal = {The Knowledge Engineering Review},
    month = jun,
    number = 2,
    pages = {115152},
    title = {Intelligent Agents: Theory and Practice},
    url = {http://journals.cambridge.org/action/displayAbstract?aid=4100124},
    volume = 10,
    year = 1995
}
Intelligent Agents: Theory and Practice
@article{,
 booktitle = {Proceedings of AGRO 2010 - the XI ESA Congress, Montpellier, France},
 publisher = {Pure Impressions, Montpellier, France},
 author = {Vitali, Giuliano and Magnanini, Eugenio and Denti, Enrico},
 title = {Simulate plants: a client-server graphic approach},
 isbn = {978-2-909613-01-7},
 year = 2010,
 note = {August 29 - September 3, 2010},
 abstract = {Recently the sector of Functional Structural Plant Modeling (FSPM) has significatively grown (AA.VV., 2004,2007) attracting the attention of researchers from several branches of biological sciences. Objective of FSP Modelers is using a morphological characterization to improve plant eco-physiological modeling. In some case they move from pure mathematical and geometrical simulators used in animation movies and landscape design, in other cases they are to interpretate external characters of a plant. Several tools has been developed, some freely downloadable, others with a commercial mean. Even when they are available at a collaborative level, the plant simulating engine is often embedded with graphics and few efforts has been made to distinguish the task of making a plant from that of representing it on a screen which also means define a standard to code plants. Communicating a virtual plant between programs with different purposes not only allow for a better use of computer resourses but could allow for plants interchange between researchers.
The development of the project required to define and reach several objectives, as the possibility to work on a virtual-plant project at a team level, with different skillness and competencies, and to define a standard language to represent plant structure separated from the geometrical features. Even if the first objective was fullfilled, it seems to require a powerful server when more clients are run at same time, as in web-games. About the second it is probably a former step toward a proposal for an open format for interchange plants at structural level. The simulator, is at present very simple and is still lacking a radiative environment. Java3D allows for self-shading but not for reciprocal shading. Other features which could be important for realistic rendering is physical collisions and gravity, both important to improve space occupation of elements parts in light and other atmospheric interactions. From the other side, the system is per se, already able to simulate a number of plants.},
 keywords = {virtual plant, modeling, java, client-server},
 status = {Published},
 pages = {913-914},
 venue = {},
 month = {September}}
Simulate plants: a client-server graphic approach
@article{coord-ccpe18,
 Author = {Ossowski, Sascha and Menezes, Ronaldo},
 Doi = {10.1002/cpe.943},
 Editor = {Ossowski, Sascha and Menezes, Ronaldo},
 Issn = {1532-0634},
 Journal = {Concurrency and Computation: Practice and Experience},
 Month = apr,
 Note = {Special Issue: Coordination Models and Systems},
 Number = 4,
 Pages = {359370},
 urlpdf = {http://onlinelibrary.wiley.com/doi/10.1002/cpe.943/pdf},
 Publisher = {John Wiley & Sons, Ltd.},
 Title = {On Coordination and its Significance to Distributed and Multi-Agent Systems},
 Url = {http://onlinelibrary.wiley.com/doi/10.1002/cpe.943/abstract},
 Volume = 18,
 Year = 2006}
On Coordination and its Significance to Distributed and Multi-Agent Systems
@article{SlepoyJPC2008,
    abstract = {The time evolution of species concentrations in biochemical reaction networks is often modeled using the stochastic simulation algorithm (SSA) [
Gillespie, J. Phys. Chem. 81, 2340 (1977)
]. The computational cost of the original SSA scaled linearly with the number of reactions in the network. Gibson and Bruck developed a logarithmic scaling version of the SSA which uses a priority queue or binary tree for more efficient reaction selection [
Gibson and Bruck, J. Phys. Chem. A 104, 1876 (2000)
]. More generally, this problem is one of dynamic discrete random variate generation which finds many uses in kinetic Monte Carlo and discrete event simulation. We present here a constant-time algorithm, whose cost is independent of the number of reactions, enabled by a slightly more complex underlying data structure. While applicable to kinetic Monte Carlo simulations in general, we describe the algorithm in the context of biochemical simulations and demonstrate its competitive performance on small- and medium-size networks, as well as its superior constant-time performance on very large networks, which are becoming necessary to represent the increasing complexity of biochemical data for pathways that mediate cell function.},
    author = {Slepoy, Alexander and Thompson, Aidan P. and Plimpton, Steven J.},
    citeulike-article-id = {5909892},
    citeulike-linkout-0 = {http://scitation.aip.org/getabs/servlet/GetabsServlet?prog=normal\&id=JCPSA6000128000020205101000001\&idtype=cvips\&gifs=yes},
    citeulike-linkout-1 = {http://link.aip.org/link/?JCP/128/205101},
    citeulike-linkout-2 = {http://dx.doi.org/10.1063/1.2919546},
    doi = {10.1063/1.2919546},
    journal = {The Journal of Chemical Physics},
    keywords = {constant-time, gillespie},
    number = {20},
    pages = {205101+},
    posted-at = {2010-07-31 15:46:19},
    priority = {2},
    publisher = {AIP},
    title = {A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks},
    url = {http://dx.doi.org/10.1063/1.2919546},
    volume = {128},
    year = {2008}
}

A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
@inproceedings{aclt-modelage97,
    address = {Certosa di Pontignano, SI, Italy},
    author = {Denti, Enrico and Omicini, Andrea},
    booktitle = {4th Workshop on Formal Models of Agents (ModelAge'97)},
    editor = {Cesta, Amedeo and Schoebbens, Pierre Yves},
    isbn = {88-85059-07-4},
    keywords = {Multi-Agent Systems, Coordination Model, Programmable Communication Abstraction},
    month = {1517} # jan,
    pages = {8798},
    publisher = {Istituto di Psicologia del CNR},
    title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
    year = 1997
}
Designing Multi-Agent Systems around a Programmable Communication Abstraction
@article{coord-ker17,
    acm = {10.1017/S0269888903000596},
    author = {Ossowski, Sascha and Omicini, Andrea},
    doi = {10.1017/S0269888903000596},
    editor = {Omicini, Andrea and Ossowski, Sascha},
    eissn = {1469-8005},
    iris = {11585/950416},
    issn = {0269-8889},
    journal = {The Knowledge Engineering Review},
    month = dec,
    note = {Special Issue: Coordination and Knowledge Engineering},
    number = 4,
    pages = {309316},
    publisher = {Cambridge University Press},
    scopus = {2-s2.0-0348162605},
    title = {Coordination Knowledge Engineering},
    url = {http://journals.cambridge.org/abstract_S0269888903000596},
    volume = 17,
    wos = {000185058600001},
    year = 2002
}
Coordination Knowledge Engineering
@article{Mayer2018,
author = {Mayer Simon and Ciortea Andrei and Ricci Alessandro and Robles Maria Ines and Kovatsch Matthias and Croatti Angelo},
title = {Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions},
journal = {Internet Technology Letters},
volume = {0},
number = {0},
pages = {e50},
keywords = {HATEOAS, hypermedia, Internet of Things, mixed reality, multiagent systems, Web of Things},
doi = {10.1002/itl2.50},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/itl2.50},
eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/itl2.50},
abstract = {Current standardization efforts of the Web of Things provide a unique opportunity to integrate technologies from the research domain of multiagent systems and the human‐computer interaction field that could take us closer to creating intuitively usable distributed artificial intelligence. In this paper, we discuss what bridges are missing between these largely detached research communities: we propose to use the Hypermedia As The Engine Of Application State principle that is at the core of the Web architecture to underpin systems that integrate multiagent planning and acting with semantic technologies and with interoperable mixed reality interfaces. This should enable the creation of highly augmented environments in private as well as commercial and industrial environments where physical and digital things coexist and interact with one another.}
}
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
@article{artifacts-informatica29,
 Author = {Ricci, Alessandro and Viroli, Mirko},
 Editor = {Omicini, Andrea and Petta, Paolo and Gams, Matjaz},
 Issn = {0350-5596},
 eissn = {1854-3871},
 Journal = {Informatica},
 Keywords = {Multi-Agent System Coordination, Multi-Agent System Environment, Multi-Agent System Engineering, Coordination Artifacts},
 Month = nov,
 Number = 4,
 Pages = {433443},
 urlpdf = {http://www.informatica.si/index.php/informatica/article/view/59/52},
 Publisher = {Slovene Society Informatika},
 Title = {Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in {MAS}},
 Url = {http://www.informatica.si/index.php/informatica/article/view/59},
 Volume = 29,
 Year = 2005}
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
@article{SASO2016,
author    = {Jacob Beal and
               Mirko Viroli and
               Danilo Pianini and
               Ferruccio Damiani},
  title     = {Self-Adaptation to Device Distribution Changes},
  booktitle = {10th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2016, Augsburg, Germany, September 12-16, 2016},
  pages     = {6069},
  year      = {2016},
  url       = {http://dx.doi.org/10.1109/SASO.2016.12},
  doi       = {10.1109/SASO.2016.12},
  editor    = {Giacomo Cabri and
               Gauthier Picard and
               Niranjan Suri},
  note = {Best paper of IEEE SASO 2016.},
 abstract = {A key problem when coordinating the behaviour of devices in situated networks (e.g., pervasive computing, smart cities, Internet of Things, wireless sensor networks) is adaptation to changes impacting network topology, density, and heterogeneity. Computational goals for such systems are often expressed in terms of geometric properties of the continuous environment in which the devices are situated, and the results of resilient computations should depend primarily on that continuous environment, rather than the particulars of how devices happen to be distributed through it. In this paper, we identify a new property of distributed algorithms, eventual consistency, which guarantees that computation selfstabilizes to a final state that approximates a predictable limit as the density and speed of devices increases. We then identify a large class of programs that are eventually consistent, building on prior results on the field calculus computational model to identify a class of self-stabilizing programs. Finally, we confirm through simulation of pervasive network scenarios that eventually consistent programs from this class can provide resilient behavior where programs that are only self-stabilizing fail badly.}}
Self-adaptation to Device Distribution Changes in Situated Computing Systems
@InProceedings{10.1007/978-3-030-66412-1_29,
author="Croatti, Angelo
and Ricci, Alessandro",
editor="Bassiliades, Nick
and Chalkiadakis, Georgios
and de Jonge, Dave",
title="From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities",
booktitle="Multi-Agent Systems and Agreement Technologies",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="459474",
abstract="Extended Reality (XR) refers to applications that blend the digital and the physical worlds in different ways: both by situating virtual worlds into physical environments by means of Augmented and Mixed Reality Technologies, and by exploiting smart things and devices in the physical environment connected to the Virtual World, in a pervasive computing perspective. Like in the case of Virtual Worlds and Intelligent Virtual Environments, XR applications are a relevant application domain for multi-agent systems and AI-for instance, for designing XR-based smart environments. The research question addressed by this paper is about the definition of a model for conceiving and designing agent-based XR applications, effective enough to capture essential aspects in spite of the specific implementing technologies. To this purpose, the paper describes a model based on the Mirror World conceptual framework and a concrete platform used to evaluate its strengths and weaknesses.",
isbn="978-3-030-66412-1"
}
From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities
@article{tssemanticweb-ker23,
    author = {Nixon, Lyndon J. B. and Simperl, Elena and Krummenacher, Reto and Mart{\'\i}n-Recuerda, Francisco},
    doi = {10.1017/S0269888907001221},
    eissn = {1469-8005},
    issn = {0269-8889},
    journal = {The Knowledge Engineering Review},
    month = jun,
    number = 2,
    pages = {181212},
    publisher = {Cambridge University Press},
    title = {Tuplespace-based Computing for the {S}emantic {W}eb: A Survey of the State-of-the-art},
    url = {http://journals.cambridge.org/action/displayAbstract?aid=1884416},
    volume = 23,
    year = 2008
}
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
@article{DiNoiaJAIR2007,
  author = {Di Noia, Tommaso and Di Sciascio, Eugenio and Donini, Francesco M.},
  journal = {Journal of Artificial Intelligence Research},
  pages = {269-307},
  title = {Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach},
  volume = 29,
  year = 2007,
  keywords = {2007 descriptionlogic matchmaking turruta-eswc2008},
  abstract = {Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match curricula and job profiles. In such open environments, the objective of a matchmaking process is to discover best available offers to a given request. We address the problem of matchmaking from a knowledge representation perspective, with a formalization based on Description Logics. We devise Concept Abduction and Concept Contraction as non-monotonic inferences in Description Logics suitable for modeling matchmaking in a logical framework, and prove some related complexity results. We also present reasonable algorithms for semantic matchmaking based on the devised inferences, and prove that they obey to some commonsense properties. Finally, we report on the implementation of the proposed matchmaking framework, which has been used both as a mediator in e-marketplaces and for semantic web services discovery. 1.}
}

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
@inproceedings{10.5555/3306127.3332028,
author = {Mariani, Stefano and Croatti, Angelo and Ricci, Alessandro and Prati, Andrea and Vizzari, Giuseppe},
title = {ViTALiSE: Virtual to Augmented Loop in Smart Environments},
year = {2019},
isbn = {9781450363099},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
address = {Richland, SC},
abstract = {Future workplaces will be smart environments providing human users with features and functionalities augmenting their capabilities while lowering their cognitive/physical efforts. ViTALiSE is a vision of future smart environments integrating Human-Agent Collectives (HAC) with Digital Twins (DTs) fostering the synergistic interplay between the physical and digital reality.},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},
pages = {2114–2116},
numpages = {3},
keywords = {virtual reality, ViTALiSE, augmented reality, smart environments, mixed reality, multiagent systems, mirror worlds, augmented worlds},
location = {Montreal QC, Canada},
series = {AAMAS '19}
}
ViTALiSE: Virtual to Augmented Loop in Smart Environments

@article{IndurkhyaPLoSONE2010,
    author = {Indurkhya, Sagar AND Beal, Jacob},
    journal = {PLoS ONE},
    publisher = {Public Library of Science},
    title = {Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems},
    year = {2010},
    month = {01},
    volume = {5},
    url = {http://dx.doi.org/10.1371%2Fjournal.pone.0008125},
    pages = {e8125},
    abstract = {
<p>ODE simulations of chemical systems perform poorly when some of the species have extremely low concentrations. Stochastic simulation methods, which can handle this case, have been impractical for large systems due to computational complexity. We observe, however, that when modeling complex biological systems: (1) a small number of reactions tend to occur a disproportionately large percentage of the time, and (2) a small number of species tend to participate in a disproportionately large percentage of reactions. We exploit these properties in LOLCAT Method, a new implementation of the Gillespie Algorithm. First, factoring reaction propensities allows many propensities dependent on a single species to be updated in a single operation. Second, representing dependencies between reactions with a bipartite graph of reactions and species requires only <inline-formula><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="info:doi/10.1371/journal.pone.0008125.e001" mimetype="image" xlink:type="simple"/></inline-formula> storage for <inline-formula><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="info:doi/10.1371/journal.pone.0008125.e002" mimetype="image" xlink:type="simple"/></inline-formula> reactions, rather than the <inline-formula><inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="info:doi/10.1371/journal.pone.0008125.e003" mimetype="image" xlink:type="simple"/></inline-formula> required for a graph that includes only reactions. Together, these improvements allow our implementation of LOLCAT Method to execute orders of magnitude faster than currently existing Gillespie Algorithm variants when simulating several yeast MAPK cascade models.</p>
},
    number = {1},
    doi = {10.1371/journal.pone.0008125}
}        

Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems
@inproceedings{SGR-LADS10,

booktitle = {In Proceedings of LAnguages, methodologies and Development tools for multi-agent systemS (LADS-2010)},

author = {Santi, Andrea and Marco, Guidi and Ricci, Alessandro},

title = {JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications},

year = {2010},

abstract = {Agent-Oriented Programming (AOP) provide an effective level of abstraction for tackling the programming of mainstream software applications, in particular those that involve complexities related to concurrency, asynchronous events management and context-sensitive behaviour. An important example is given by mobile applications, which are getting a strong momentum given the larger and larger diffusion of powerful mobile systems and related application platforms.  In this paper we support this claim in practice by discussing the application of AOP technologies - Jason and CArtAgO in particular - for the development of smart mobile applications based on the Google Android platform.},

status = {Published},

venue = {}}
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
@article{architecturecoordination-spip8,
 Author = {Ovaska, P{\"a}ivi and Rossi, Matti and Marttiin, Pentti},
 Doi = {10.1002/spip.186},
 Editor = {Damian, Daniela},
 Issn = {1099-1670},
 Journal = {Software Process: Improvement and Practice},
 Keywords = {multi-site software development, software architecture, coordination of software development},
 Month = oct # {/} # dec,
 Note = {Special Issue: Global Software Development: Growing Opportunities, Ongoing Challenges},
 Number = 4,
 Pages = {233247},
 urlpdf = {http://onlinelibrary.wiley.com/doi/10.1002/spip.186/pdf},
 Publisher = {John Wiley & Sons, Ltd.},
 Title = {Architecture as a Coordination Tool in Multi-site Software Development},
 Url = {http://onlinelibrary.wiley.com/doi/10.1002/spip.186/abstract},
 Volume = 8,
 Year = 2003}
Architecture as a Coordination Tool in Multi-site Software Development
@inproceedings{wsmethodology-indin2006,
 Author = {Poh Lee, Siew and Chan, Lai Peng and Wah Lee, Eng},
 Booktitle = {4th IEEE International Conference on Industrial Informatics (INDIN 2006)},
 Doi = {10.1109/INDIN.2006.275822},
 Month = {1618} # aug,
 Pages = {335340},
 Publisher = {IEEE Computer Press},
 Title = {Web Services Implementation Methodology for SOA Application},
 Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4053410},
 Year = 2006,
 Abstract = {With the popularity of Web services technology and the increase trend of developing service-oriented architecture (SOA) software, there is a need for an implementation methodology for Web services. This paper addresses the SOA application development challenges, identifies gaps in agile software methodology for Web services development, and observes Web services characteristics and its best practices. The contribution of this paper is to extend any existing agile software methodology to include Web services best practices into the agile software methodology.}}}

Web Services Implementation Methodology for SOA Application
@article {CardoneTCJ2011,
 title = {Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks},
 journal = {The Computer Journal},
 year = {2011},
 abstract = {Ubiquitous smart environments equipped with low-cost and easy-deployable Wireless Sensor Networks (WSNs) and ever-increasing widespread Mobile Ad-hoc NETworks (MANETs) are opening brand new opportunities in environmental monitoring. This paper proposes an original solution for WSN/MANET integration based on the primary design guideline of opportunistically exploiting MANET overlays impromptu formed over the WSN to improve and boost the data collection task of typical WSN. On the one hand, we adopt a cross-layer approach that exploits MANET connections to differentiate and fasten the delivery of sensed urgent data by pushing them over low-latency MANET paths. On the other hand, we take advantage of local cross-layer visibility of the WSN data collection procedures and protocols to carefully control and limit WSN-MANET coordination overhead. We claim that our proposed solution can obtain significant QoS improvements via differentiation, by granting faster delivery times to urgent data with a very limited cost in most common execution scenarios.},
 author = {Cardone, Giuseppe and Corradi, Antonio and Foschini, Luca}
}

Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
@inproceedings{rationalagents-kr92,
 Address = {Cambridge, MA, USA},
 Author = {Rao, Anand S. and Georgeff, Michael P.},
 Booktitle = {3rd International Conference on Principles of Knowledge Representation and Reasoning (KR '92)},
 Editor = {Nebel, Bernhard and Rich, Charles and Swartout, William R.},
 Isbn = {1-55860-262-3},
 Month = {25-29} # oct,
 Note = {Proceedings},
 Pages = {439449},
 Publisher = {Morgan Kaufmann},
 Title = {An Abstract Architecture for Rational Agents},
 Year = 1992}
An Abstract Architecture for Rational Agents
@article{gavanelli-tlp10,
    author = {Gavanelli, Marco and Riguzzi, Fabrizio and Milano, Michela and Cagnoli, Paolo},
    doi = {10.1017/S1471068410000335},
    issn = {1471-0684},
    journal = {Theory and Practice of Logic Programming},
    keywords = {strategic environmental assessment, regional planning, constraint logic pro- gramming, probabilistic logic programming, causality},
    month = jul,
    number = 46,
    pages = {643–-658},
    publisher = {Cambridge University Press},
    title = {Logic-based decision support for strategic environmental assessment},
    url = {http://journals.cambridge.org/abstract_S1471068410000335},
    volume = 10,
    year = 2010
}
Logic-based decision support for strategic environmental assessment
@InProceedings{10.1007/978-3-030-49778-1_7,
author="Croatti, Angelo and Ricci, Alessandro",
editor="Demazeau, Yves and Holvoet, Tom and Corchado, Juan M. and Costantini, Stefania",
title="The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices",
booktitle="Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="80-92",
abstract="Nowadays, smart mobile applications are a medium allowing more and more for developing (part of) complex software systems, featuring interactive behaviour and exhibiting different degrees of autonomy and flexibility. In agents and MAS literature, Personal Assistant Agents represent the area that mostly can benefit from the availability of frameworks allowing for easily developing native agent-based applications able to exploit features offered by smart mobile and wearable devices. This paper discusses the JaCa-Android framework, a version of JaCaMo redesigned to natively run over mobile devices equipped with Google Android operating system. Exposing native features to observe and perceive the real-time user context and act accordingly, the framework is oriented in particular to the development of smart mobile apps as BDI-based personal assistant agents offering a proper layer of abstraction for this specific purpose.",
isbn="978-3-030-49778-1"
}
The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices
@incollection{artifacts-selmasIV,
    acm = {2168364},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications},
    doi = {10.1007/11738817_5},
    editor = {Garcia, Alessandro F. and Choren, Ricardo and Lucena, Carlos and Giorgini, Paolo and Holvoet, Tom and Romanovsky, Alexander},
    eisbn = {978-3-540-33583-2},
    isbn = {978-3-540-33580-1},
    isbn10 = {3-540-33580-3},
    issn = {0302-9743},
    month = apr,
    note = {Invited Paper},
    pages = {7190},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-34250005140},
    series = {Lecture Notes in Computer Science},
    title = {Coordination Artifacts as First-class Abstractions for {MAS} Engineering: State of the Research},
    url = {http://link.springer.com/10.1007/11738817_5},
    volume = 3914,
    wos = {000238283600005},
    year = 2006
}
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
@inproceedings{SR-JaCa-Android-AGERE11,
 booktitle = {Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, \&#38; VMIL'11},
 publisher = {ACM New York},
 author = {Santi, A. AND Ricci, A.},
 title = {JaCa-Android: an agent-based platform for building smart mobile applications},
 isbn = {978-1-4503-1183-0},
 year = {2011},
 abstract = {The extraordinary progress of mobile device technologies pushes for a new generation of smart mobile applications, featuring complex computational and interactive behaviour, exhibiting different degrees of autonomy and flexibility. This raises new challenges in mobile application programming, calling for programming tools and development platforms providing a proper level of abstraction to deal with such a new level of complexity. This demo shows an agent-oriented platform called JaCa-Android allowing to tackle the complexities related to the design of fore-coming smart mobile applications providing an agent-oriented level of abstraction for their design, programming and execution on top of the Android platform. This demo aims at investigating the adoption of agent-oriented programming  and in particular of agent-based programming languages rooted on a strong notion of agency  to tackle the complexities related to the design of fore-coming smart mobile applications. For doing this we present an agent-oriented platform called JaCa-Android, providing an agent-oriented level of abstraction to design, program and execute smart mobile applications on top of the Android platform.},
 keywords = {JaCa, Mobile, JaCa-Android, Mobile framework},
 status = {Published},
 pages = {239242},
 venue = {-},
 url = {http://dl.acm.org/citation.cfm?id=2032683.2032689&#38;coll=DL&#38;dl=GUIDE&#38;CFID=69744509&#38;CFTOKEN=93222703},
 address = {New York, USA},
 doi = {10.1145/2095050.2095088}}
JaCa-Android: an agent-based platform for building smart mobile applications
@incollection{ebsmas-e4mas10years,
    author = {Omicini, Andrea and Mariani, Stefano},
    booktitle = {Agent Environments for Multi-Agent Systems IV},
    dblp = {conf/e4mas/OmiciniM14},
    doi = {10.1007/978-3-319-23850-0_8},
    editor = {Weyns, Danny and Michel, Fabien},
    eisbn = {978-3-319-23850-0},
    iris = {11585/521877},
    isbn = {978-3-319-23849-4},
    issn = {0302-9743},
    keywords = {multi-agent systems, event-based systems, environment, situatedness, coordination models, TuCSoN},
    month = nov,
    note = {4th International Workshop, E4MAS 2014  10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers},
    numpages = 14,
    pages = {117130},
    publisher = {Springer International Publishing},
    scopus = {2-s2.0-84952663573},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions},
    url = {http://link.springer.com/10.1007/978-3-319-23850-0_8},
    volume = 9068,
    wos = {000367783700008},
    year = 2015
}
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions
@inproceedings{Ricci:2011:DGP:2095050.2095078,
 author = {Ricci, Alessandro and Santi, Andrea},
 title = {Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project},
 booktitle = {Proc. of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, VMIL'11},
 series = {SPLASH '11 Workshops},
 year = {2011},
 isbn = {978-1-4503-1183-0},
 location = {Portland, Oregon, USA},
 pages = {159170},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2095050.2095078},
 doi = {10.1145/2095050.2095078},
 acm = {2095078},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {actors, agent-oriented programming},
} 

Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
@inproceedings{transformer-nips2017,
    author = {Vaswani, Ashish and Shazeer, Noam and Parmar, Niki and Uszkoreit, Jakob and Jones, Llion and Gomez, Aidan N. and Kaiser, Łukasz and Polosukhin, Illia},
    booktitle = {Advances in Neural Information Processing Systems (NIPS 2017)},
    editor = {Guyon, Isabelle and von Luxburg, Ulrike and Bengio, Samy and Wallach, Hanna M. and Fergus, Rob and Vishwanathan, S.V.N. and Garnett, Roman},
    publisher = {Curran Associates, Inc.},
    title = {Attention Is All You Need},
    url = {https://papers.nips.cc/paper/2017/hash/3f5ee243547dee91fbd053c1c4a845aa-Abstract.html},
    urlpdf = {https://proceedings.neurips.cc/paper/2017/file/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf},
    volume = 30,
    year = 2017
}
Attention Is All You Need
@inproceedings{piunti-iat2008,
 booktitle = {2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (IAT-2008)},
 publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
 author = {Piunti, Michele and Ricci, Alessandro and Braubach, Lars and Pokahr, Alexander},
 title = {Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments},
 year = 2008,
 abstract = {In the context of cognitive agent programming frameworks,a main research effort accounts for exploiting goalorientation for specifying and enacting agent interaction. Existing research work focuses almost totally on direct communication models, typically based on speech-acts and FIPA ACL. In this paper we focus instead on mediated interactions, and in particular on interaction taking place in artifactbased environments, where artifacts are first-class mediating tools that are used by cognitive agents in goal-directed way.The investigation is concretely supported by integrating theJadex platform (enrolling the Belief Desire Intention modelof agency) with the CARTAGO technology (enabling the designof artifact based environments).},
 status = {Published},
 pages = {207213},
 venue = {},
 address = {Sidney, Australia},
 month = {December},
 doi = {10.1109/WIIAT.2008.349 }}
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments
@inproceedings{SYDVM-ASENSIS2012,
 Author = {Stevenson, Graeme and Ye, Juan and Dobson, Simon and Viroli, Mirko and Montagna, Sara},
 Booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
 Doi = {10.1109/SASOW.2012.39},
 Editor = {Pitt, Jeremy},
 Keywords = {bio-inspired, resource discovery, semantic matching},
 Isbn = {978-1-4673-5153-9},
 Month = apr,
 Note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14} # sep # {2012. Proceedings},
 Pages = {181-186},
 Publisher = {IEEE CS},
 Title = {Self-Organising Semantic Resource Discovery for Pervasive Systems},
 Year = 2013,
 abstract={Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee - at least to a probabilistic extent - certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools. As proposed in recent works, several such algorithms can be modelled by the notion of "computational field": a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.}
}

Self-Organising Semantic Resource Discovery for Pervasive Systems
@inproceedings{aloo-agere2013,
    address = {New York, NY, USA},
    author = {Ricci, Alessandro and Santi, Andrea},
    booktitle = {2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE! 2013)},
    doi = {10.1145/2541329.2541333},
    isbn = {9781450326025},
    keywords = {Concurrent OOP, Agent-Oriented Programming},
    location = {Indianapolis, Indiana, USA},
    numpages = 12,
    pages = {127138},
    publisher = {ACM},
    title = {Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach},
    url = {https://dl.acm.org/doi/10.1145/2541329.2541333},
    year = 2013
}
Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach
@inproceedings{agentbasedxai-aamas2020,
    acm = {10.5555/3398761.3398992},
    author = {Ciatto, Giovanni and Calvaresi, Davide and Schumacher, Michael I. and Omicini, Andrea},
    booktitle = {19th International Conference on Autonomous Agents and MultiAgent Systems},
    dblp = {conf/atal/CiattoCSO20},
    editor = {El Fallah Seghrouchni, Amal and Sukthankar, Gita and An, Bo and Yorke-Smith, Neil},
    iris = {11585/785178},
    isbn = {978-1-4503-7518-4},
    issn = {2523-5699},
    keywords = {Abstract Framework; Multi-Agent Systems; XAI},
    location = {Auckland, New Zeland},
    month = may,
    note = {Extended Abstract},
    numpages = 3,
    pages = {18161818},
    publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
    scholar = {6887880147832489319},
    scopus = {2-s2.0-85090291401},
    title = {An Abstract Framework for Agent-Based Explanations in {AI}},
    url = {http://dl.acm.org/doi/10.5555/3398761.3398992},
    urlpdf = {http://ifaamas.org/Proceedings/aamas2020/pdfs/p1816.pdf},
    year = 2020
}
An Abstract Framework for Agent-Based Explanations in AI
@inproceedings{,
 booktitle = {Proceedings of Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009)},
 author = {Piunti, Michele and Ricci, Alessandro and Boissier, Olivier and Hubner, Jomi F. },
 title = {Manipulation implicite d?une organisation multiagent  via l?environnement},
 year = 2009,
 abstract = {Le modèle Agents et Artefacts enrichi avec les
organisations propose un environnement de travail basé sur les artefacts pour mettre en oeuvre
la coordination entre agents. La mise en place d?organisation dans un tel contexte nécessite cependant que les agents soient capables de raisonner et de manipuler explicitement des primitives organisationnelles (e.g. rôles, groupes,
missions). A&#38;#64257;n de diminuer cette contrainte, nous proposons de tisser des liens entre artefacts organisationnels et artefacts fonctionnels
de l?environnement. De cette manière, les agents
peuvent interagir implicitement avec l?organisation par le biais des artefacts fonctionnels.
Dans ce papier, nous donnons une description formelle de cette proposition avec différents
exemples illustrant l?intérêt de l?approche proposée. },
 keywords = {Multi Agent Systems, Organizations, Agents and Artifacts},
 status = {Camera-ready sent},
 venue = {}}
Manipulation implicite d'une organisation multiagent  via l'environnement
@inproceedings{ebsmas-coordination2015,
    address = {Grenoble, France},
    author = {Omicini, Andrea and Fortino, Giancarlo and Mariani, Stefano},
    booktitle = {Coordination Models and Languages},
    dblp = {conf/coordination/OmiciniFM15},
    doi = {10.1007/978-3-319-19282-6_12},
    editor = {Holvoet, Tom and Viroli, Mirko},
    eisbn = {978-3-319-19282-6},
    eissn = {1611-3349},
    iris = {11585/488969},
    isbn = {978-3-319-19281-9},
    issn = {0302-9743},
    keywords = {multi-agent systems, event-based systems, coordination models, TuCSoN},
    month = {24} # jun,
    note = {17th IFIP WG 6.1 International Conference (COORDINATION 2015), Held as Part of the 10th International Federated Conference on Distributed Computing Techniques (DisCoTec 2015)},
    pages = {186193},
    publisher = {Springer International Publishing},
    scholar = {17416491816108181054},
    scopus = {2-s2.0-84942522292},
    semanticscholar = {12878051},
    series = {Lecture Notes in Computer Science},
    title = {Blending Event-Based and Multi-Agent Systems around Coordination Abstractions},
    url = {http://link.springer.com/10.1007/978-3-319-19282-6_12},
    volume = 9037,
    wos = {000363241900012},
    year = 2015
}
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
@article{,
 booktitle = {Knowledge Discovery, Knowledge Engineering and Knowledge Management},
 year = 2015,
 status = {Published},
 url = {http://dx.doi.org/10.1007/978-3-319-25840-9_4},
 editor = {Fred, Ana and Dietz, Jan L. G. and Aveiro, David and Liu, Kecheng and Filipe, Joaquim},
 series = {Communications in Computer and Information Science},
 publisher = {Springer International Publishing},
 author = {Domeniconi, Giacomo and Moro, Gianluca and Pasolini, Roberto and Sartori, Claudio},
 title = {Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification},
 isbn = {978-3-319-25839-3},
 abstract = {In cross-domain text classification, topic labels for documents of a target domain are predicted by leveraging knowledge of labeled documents of a source domain, having equal or similar topics with possibly different words. Existing methods either adapt documents of the source domain to the target or represent both domains in a common space. These methods are mostly based on advanced statistical techniques and often require tuning of parameters in order to obtain optimal performances. We propose a more straightforward approach based on nearest centroid classification: profiles of topic categories are extracted from the source domain and are then adapted by iterative refining steps using most similar documents in the target domain. Experiments on common benchmark datasets show that this approach, despite its simplicity, obtains accuracy measures better or comparable to other methods, obtained with fixed empirical values for its few parameters.},
 pages = {50-67},
 volume = 553,
 doi = {10.1007/978-3-319-25840-9_4}}
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
@article{env-ker20,
    author = {Weyns, Danny and Schumacher, Michael I. and Ricci, Alessandro and Viroli, Mirko and Holvoet, Tom},
    doi = {10.1017/S0269888905000457},
    editor = {Omicini, Andrea and McBurney, Peter},
    eissn = {1469-8005},
    issn = {0269-8889},
    journal = {The Knowledge Engineering Review},
    month = jun,
    note = {Special Issue ``{R}evised Reports from Selected {T}echnical {F}orum {G}roups at the 1st \& 2nd {A}gent{L}ink {III} {T}echnical {F}orums''},
    number = 2,
    pages = {127141},
    publisher = {Cambridge University Press},
    title = {Environments in Multiagent Systems},
    url = {http://journals.cambridge.org/abstract_S0269888905000457},
    volume = 20,
    year = 2005
}
Environments in Multiagent Systems
@article{,
 author = {Santi, Andrea},
 title = {From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development},
 abstract = {The notion of agent more and more appears in different contexts of computer science, often with different meanings. The main acceptation is the AI (Artificial Intelligence) and Distributed AI one, where agents are essentially exploited as a technique  to develop special-purpose systems exhibiting some kind of  intelligent behavior. In this paper, we introduce a further perspective, shifting the  focus from AI to computer programming and programming languages, seeing agents and related concepts as general-purpose abstractions useful for programming software systems in general, conceptually extending object-oriented programming with features that  we argue  are effective to tackle some main challenges of modern software development. First, we define a conceptual space framing the basic features that characterize the agent-oriented approach, then we show how such features
are dealt with in practice by using a platform called JaCa. Real-world programming examples are introduced throughout to clarify the discussion.},
 keywords = {Agents, Artifacts, Jason, CArtAgO, JaCa, AOP},
 status = {Published},
 venue = {-},
 school = {The 12th European Agent Systems Summer School (EASSS 2010)}}
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development
@incollection{ArtifactsCalculusSDT2011,
 series = {Communications in Computer and Information Science},
 location = {Sofia, Bulgaria},
 booktitle = {Software and Data Technologies. 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers},
 publisher = {Springer-Verlag},
 journal = {Communications in Computer and Information Science},
 author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
 title = {A Calculus of Agents and Artifacts},
 isbn = {978-3-642-20115-8},
 year = 2011,
 abstract = {A library-based extension of Java, the simpA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of simpA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.},
 keywords = {Artifacts; Core Calculus; Operational Semantics; Type System},
 eissn = {1865-0929},
 status = {Published},
 pages = {124136},
 venue_list = {},
 url = {http://link.springer.com/chapter/10.1007%2F978-3-642-20116-5_10},
 editor = {Cordeiro, Jos{\'e} and Ranchordas, AlpeshKumar and Shishkov, Boris},
 address = {Berlin, Germany},
 volume = 50,
 doi = {10.1007/978-3-642-20116-5_10}}
A Calculus of Agents and Artifacts
@inproceedings{Ricci:2012:PAI:2414639.2414650,
 author = {Ricci, Alessandro and Santi, Andrea},
 title = {Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach},
 booktitle = {Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions},
 series = {AGERE! '12},
 year = {2012},
 isbn = {978-1-4503-1630-9},
 location = {Tucson, Arizona, USA},
 pages = {8394},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2414639.2414650},
 doi = {10.1145/2414639.2414650},
 acm = {2414650},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {ageactors, agent-oriented programming, autonomy, event-driven programming, reactivity},
}
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach
@article{artifacts-ker21,
    acm = {10.1017/S0269888906000774},
    author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
    doi = {10.1017/S0269888906000774},
    eissn = {1469-8005},
    iris = {11585/28316},
    issn = {0269-8889},
    journal = {The Knowledge Engineering Review},
    month = mar,
    number = 1,
    pages = {4969},
    publisher = {Cambridge University Press},
    scopus = {2-s2.0-33745864838},
    title = {Operating Instructions for Intelligent Agent Coordination},
    url = {http://journals.cambridge.org/action/displayAbstract?aid=451122},
    volume = 21,
    wos = {000239352500003},
    year = 2006
}
Operating Instructions for Intelligent Agent Coordination
@inproceedings{LP10PROMAS,
 howpublished = {Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09)},
 journal = {Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09)},
 author = {Lorini, Emiliano and Piunti, Michele},
 title = {Introducing Relevance Awareness in BDI Agents},
 year = 2009,
 abstract = {Artificial agents engaged in real world applications require accurate allocation strategies in order to better balance the use of their bounded resources. In particular, they should be capable to filter out all irrelevant information and just to consider what is relevant for the current task that they are trying to solve. The aim of this work is to propose a mechanism of relevance-based belief update to be implemented in a BDI cognitive agent. This in order to improve the performance of agents in information-rich environments. In the first part of the paper we present the formal and abstract model of the mechanism. In the second part we present its implementation in the Jason platform and we discuss its performance in simulation trials.},
 keywords = {BDI, Relevance, Cognitive, Goal},
 status = {Published},
 venue = {AAMAS}}
Introducing Relevance Awareness in BDI Agents
@inproceedings{soda-woa2000,
    address = {Bologna, Italy},
    location = {Parma, Italy},
    author = {Omicini, Andrea},
    booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: tendenze evolutive dei sistemi software'' (WOA 2000)},
    editor = {Corradi, Antonio and Omicini, Andrea and Poggi, Agostino},
    isbn = {88-371-1195-9},
    month = {2930} # may,
    pages = {2934},
    publisher = {Pitagora Editrice Bologna},
    title = {From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems},
    url = {http://lia.deis.unibo.it/books/woa2000/pdf/07.pdf},
    year = 2000
}
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems
@article{arg2p-jlc32,
    author = {Calegari, Roberta and Pisano, Giuseppe and Omicini, Andrea and Sartor, Giovanni},
    dblp = {journals/logcom/CalegariOPS22},
    doi = {10.1093/logcom/exab089},
    editors = {Calimeri, Francesco and Perri, Simona and Zumpano. Ester},
    iris = {11585/877812},
    issn = {0955-792X},
    journal = {Journal of Logic and Computation},
    keywords = {Arg2P, intelligent systems engineering, explainable intelligent systems, logic-based technology, argumentation, defeasible reasoning, multi-agent systems},
    month = mar,
    note = {{S}pecial {I}ssue from the 35th Italian Conference on Computational Logic ({CILC} 2020)},
    number = 2,
    pages = {369401},
    publisher = {Oxford University Press},
    scholar = {7687317421217944977},
    scopus = {2-s2.0-85126283334},
    title = {{Arg\textsf{2}P}: An argumentation framework for explainable intelligent systems},
    url = {https://academic.oup.com/logcom/article-abstract/32/2/369/6513341},
    volume = 32,
    wos = {000762067600009},
    year = 2022
}
Arg2P: An argumentation framework for explainable intelligent systems
@misc {D-phdthesisAbstract,
   author       = {Denti,Enrico},
   title        = {Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
            (Abstract of Ph.D. Thesis)},
   year         = {1998},
   howpublished = {AI*IA Notizie, Anno XI, N° 4},
   number       = {4},
   month        = {December},
}
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
@inproceedings{IJCAI11,
 howpublished = {Twenty second International Joint Conference on Artificial Intelligence (IJCAI-11)},
 author = {Matteo Venanzi and Michele Piunti and Rino Falcone and Cristiano Castelfranchi},
 title = {Facing Openness with Socio Cognitive Trust and Categories},
 year = 2011,
 abstract = {Typical solutions for agents assessing trust relies on the circulation of information on the individual level, i.e. reputational images, subjective experiences, statistical analysis, etc. This work presents an alternative approach, inspired to the cognitive heuristics enabling humans to reason at a categorial level. The approach is envisaged as a crucial ability for agents in order to:
(\emph{1}) estimate trustworthiness of unknown trustees based on an ascribed membership to categories;
(\emph{2}) learn a series of emergent relations between trustees observable properties and their effective abilities to fulfill tasks in situated conditions.
On such a basis, categorization is provided to recognize signs (\emph{Manifesta}) through which hidden capabilities (\emph{Kripta}) can be inferred. Learning is provided to refine reasoning attitudes needed to ascribe tasks to categories.
A series of architectures combining categorization abilities, individual experiences and context awareness are evaluated and compared in simulated experiments.},
 keywords = {Cognitive, Systems, Agents, Trust, Social Systems, Machine Leraning, Open},
 status = {In press},
 venue = {}}
Facing Openness with Socio Cognitive Trust and Categories
@article{jennings-ai117,
 Author = {Jennings, Nicholas R.},
 Doi = {10.1016/S0004-3702(99)00107-1},
 Issn = {0004-3702},
 Journal = {Artificial Intelligence},
 Keywords = {Agent interactions; Agent-based computing; Multi-agent systems; Social level; Software engineering},
 Month = mar,
 Number = 2,
 Pages = {277296},
 Publisher = {Elsevier Science B.V.},
 Title = {On Agent-Based Software Engineering},
 Url = {http://www.sciencedirect.com/science/article/pii/S0004370299001071},
 Volume = 117,
 Year = 2000,
 Abstract = {Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly improve the theory and the practice of modeling, designing, and implementing computer systems. Yet, to date, there has been little systematic analysis of what makes the agent-based approach such an appealing and powerful computational model. Moreover, even less effort has been devoted to discussing the inherent disadvantages that stem from adopting an agent-oriented view. Here both sets of issues are explored. The standpoint of this analysis is the role of agent-based software in solving complex, real-world problems. In particular, it will be argued that the development of robust and scalable software systems requires autonomous agents that can complete their objectives while situated in a dynamic and uncertain environment, that can engage in rich, high-level social interactions, and that can operate within flexible organisational structures.}}

On Agent-Based Software Engineering
@article{NikhilCACM201110,
  author    = {Nikhil, Rishiyur S.},
  title     = {Abstraction in hardware system design},
  journal   = {Commun. ACM},
  volume    = {54},
  number    = {10},
  year      = {2011},
  pages     = {36-44},
  ee        = {http://doi.acm.org/10.1145/2001269.2001284},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstraction in hardware system design
@article{,
 year = 2019,
 keywords = {mobility patterns; CDR data; OD matrices},
 status = {Published},
 venue_list = {},
 number = 20,
 url = {https://www.mdpi.com/1424-8220/19/20/4470},
 month = {October},
 urlpdf = {https://www.mdpi.com/1424-8220/19/20/4470/pdf},
 issn = {1424-8220},
 journal = {Sensors},
 author = {Mamei, Marco and Bicocchi, Nicola and Lippi, Marco and Mariani, Stefano and Zambonelli, Franco},
 title = {Evaluating Origin–Destination Matrices Obtained from CDR Data},
 abstract = {Understanding and correctly modeling urban mobility is a crucial issue for the development of smart cities. The estimation of individual trips from mobile phone positioning data (i.e., call detail records (CDR)) can naturally support urban and transport studies as well as marketing applications. Individual trips are often aggregated in an origin–destination (OD) matrix counting the number of trips from a given origin to a given destination. In the literature dealing with CDR data there are two main approaches to extract OD matrices from such data: (a) in time-based matrices, the analysis focuses on estimating mobility directly from a sequence of CDRs; (b) in routine-based matrices (OD by purpose) the analysis focuses on routine kind of movements, like home-work commute, derived from a trip generation model. In both cases, the OD matrix measured by CDR counts is scaled to match the actual number of people moving in the area, and projected to the road network to estimate actual flows on the streets. In this paper, we describe prototypical approaches to estimate OD matrices, describe an actual implementation, and present a number of experiments to evaluate the results from multiple perspectives.},
 articleNo = 4470,
 volume = 19,
 doi = {10.3390/s19204470}}
Evaluating Origin–Destination Matrices Obtained from CDR Data
@article{,
 urlpdf = {http://www.plantsciences.ucdavis.edu/symposium/2010/fspm/pdf/Proceedings_FSPM2010.pdf},
 booktitle = {Proceedings of the 6th International Workshop on Functional-Structural Plant Models},
 publisher = {UCDAVIS, California},
 author = {Vitali, Giuliano and Magnanini, Eugenio and Mennucci, Niko and Denti, Enrico},
 title = {Interacting with Virtual Plants: a Client-Server Approach},
 year = 2010,
 abstract = {In Functional Structural Plant Modeling a main objective is the comprehension of the interaction
between plant morphology and environment, which means the need of developing tools allowing the
user to validate a mathematical model on the basis of its graphical output: the Virtual Plant (VP).
In this study a client-server approach has been used to have the VP simulation engine apart from the
VP rendering, easy to be used also on the internet, whose parts could be developed apart by different competencies (engine developer, parameter estimator, tester) and using different computing resources.
Client and server applications communicate using the SOAP protocol, which is used to exchange
XML documents. An XML dialect (Virtual Plant Modeling Language – VPML) has been coined to code statically a plant grown within a give environment (climate) and a time interval. VPML may code a single plantule as much as a full plant history, made of several snapshots taken during the growing period. VPML only maps plant structure, that is how plant modules (internode, bud, petiole, blade) are connected, together with the values of their parameters, both graphical and physiological.
Graphic features of plant modules are got from separate VRML files, and used on the client to build-
up the VP graphic aspect. The client also allows the user to interact with the virtual plant profiting of the native features of Java3D: user can select, query and prune single modules and submit the modified plant to the server to have it grown to another date.},
 keywords = {virtual plant, modeling, java, botany},
 status = {Published},
 pages = {240-240},
 venue = {},
 url = {http://www.plantsciences.ucdavis.edu/symposium/2010/fspm/main/proceedings.htm},
 editor = {DeJong, Theodore and Da Silva, David},
 month = {September}}
Interacting with Virtual Plants: a Client-Server Approach
@inproceedings{MSR-WOA10,

booktitle = {In Proceedings of 11° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2010)},

author = {Minotti, Mattia and Santi, Andrea and Ricci, Alessandro},

title = {Developing Web Client Applications with JaCa-Web},

year = {2010},

abstract = {We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and programming of mainstream software applications, in particular those that involve the management of asynchronous events and concurrency. In this paper we support this claim in practice by discussing the use of a platform integrating two main agent programming technologies - Jason agent programming language and CArtAgO environment programming framework - to the development of Web Client applications. Following the cloud computing perspective, these kinds of applications will more and more replace desktop applications, exploiting the Web infrastructure as a common distributed operating system, raising however challenges that are not effectively tackled - we argue - by mainstream programming paradigms, such as the objectoriented one.},

keywords = {Agents, Artifacts, Jason, CArtAgO, Web, JaCa, JaCa-Web},

status = {Published},

venue = {}}
Developing Web Client Applications with JaCa-Web