Per Sort

Per Sort

247 articles in journal  /  2005–2023

articles in journal
Matteo Francia, Joseph Giovanelli, Giuseppe Pisano
HAMLET: a framework for Human-centered AutoML via Structured Argumentation
Future Generation Computer Systems 142, 2023
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burden of Persuasion: A Meta-argumentation Approach
Journal of Applied Logics 10(3), May 2023
Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders
Computer Methods and Programs in Biomedicine 235, June 2023
Enrico Denti, Luca Burroni
Delay Indices for Train Punctuality
Information 14(5), 2023
Luciano Floridi
AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models
Philosophy and Technology 2023, 2023
Alessandro Ricci, Angelo Croatti, Sara Montagna
Pervasive and Connected Digital Twins - A Vision for Digital Health
IEEE Internet Computing 26(05), 2022
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments
Intelligenza Artificiale 16(1), July 2022
Włodzimierz Drabent
On Correctness and Completeness of an n Queens Program
Theory and Practice of Logic Programming 22(1), 2022
Stefano Mariani, Giacomo Cabri, Franco Zambonelli
Coordination of Autonomous Vehicles: Taxonomy and Survey
ACM Computing Surveys 54(1), 2022
Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Arg2P: An argumentation framework for explainable intelligent systems
Journal of Logic and Computation 32(2), March 2022
Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
How to model contrary-to-duty with GCP-nets
Intelligenza Artificiale 16(2), December 2022
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge
IEEE Internet of Things Journal 9(20), 2022
Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
Web of Digital Twins
ACM Transactions on Internet Technology 22(4), November 2022
Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
Fifty Years of Prolog and Beyond
Theory and Practice of Logic Programming 22(6), November 2022
Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI
SoftwareX 16, December 2021
Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
DETONAR: Detection of Routing Attacks in RPL-based IoT
IEEE Transactions on Network and Service Management 18(2), 2021
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
Partitioned integration and coordination via the self-organising coordination regions pattern
Future Generation Computer Systems 114, 2021
Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Argumentation and Defeasible Reasoning in the Law
J — Multidisciplinary Scientific Journal 4(4), December 2021
Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing
SN Computer Science 2(117), 2021
Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
Autonomous Agents and Multi-Agent Systems 35(1), 2021
Andrea Agiollo, Andrea Omicini
Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices
Applied Sciences 11(24), December 2021
Angelo Croatti, Marco Longoni, Sara Montagna
Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System
Procedia Computer Science 198, 2021
Sara Montagna, Stefano Mariani, Emiliano Gamberini
Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain
Journal of Medical Systems 45(12), 2021
Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci
On the Integration of Agents and Digital Twins in Healthcare
Journal of Medical Systems 44, August 2020
Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation
Complexity article 1047369, July 2020
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
Information 11(3), March 2020
Angelo Croatti, Alessandro Ricci
Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices
Autonomous Agents and Multi-Agent Systems 34(1), July 2020
Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Real-time tracking and documentation in trauma management
Health Informatics Journal 26(1), 2020
Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco Zambonelli
Complementing Agents with Cognitive Services: A Case Study in Healthcare
Journal of Medical Systems 44, September 2020
Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Journal of Logical and Algebraic Methods in Programming 113, June 2020
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
From Agents to Blockchain: Stairway to Integration
Applied Sciences 10(21), October 2020
Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, Peter J. Liu
Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer
Journal of Machine Learning Research 21(140), 2020
Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu
Causal Interpretability for Machine Learning – Problems, Methods and Evaluation
SIGKDD Explorations Newsletter 22(1), June 2020
Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Information 11(1), January 2020
Catia Grimani, Andrea Cesarini, Michele Fabi, Federico Sabbatini, Daniele Telloni, Mattia Villani
Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24
The Astrophysical Journal 904(1), November 2020
Roberta Calegari, Giovanni Ciatto, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey
Intelligenza Artificiale 14(1), September 2020
Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020
Stefano Mariani
Coordination in Socio-technical Systems: Where are we now? Where do we go next?
Science of Computer Programming 184, 2019
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Future Generation Computer Systems 91, 2019
Tim Miller
Explanation in artificial intelligence: Insights from the social sciences
Artificial Intelligence 267, February 2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-Order Calculus of Computational Fields
ACM Transactions on Computational Logic 20(1), January 2019
Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Deliver intelligence to integrate care: the Connecare way
International Journal of Integrated Care 19(4), 2019
Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
Client-side Computational Optimization
ACM Transactions on Mathematical Software 45(2), June 2019
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing
Journal of Logical and Algebraic Methods in Programming 109, 2019
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service in Multi-Agent  Systems for the Internet of Things
International Journal of Grid and Utility Computing 10(4), 2019
Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
Evaluating Origin–Destination Matrices Obtained from CDR Data
Sensors 19(20), October 2019
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services
Information Sciences 498, 2019
Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting
Artificial Intelligence in Medicine 96, May 2019
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics
Fundamenta Informaticae 161(1-2), July 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Big Data and Cognitive Computing 2(3), 2018
Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
Internet Technology Letters 1(4), 2018
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy
Computer Science and Information Systems 15(3), October 2018
Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
A Survey of Methods for Explaining Black Box Models
ACM Computing Surveys 51(5), August 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 2018
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples
Expert Systems: The Journal of Knowledge Engineering 35(5), October 2018
Zachary C. Lipton
The mythos of model interpretability
Communications of the ACM 61(10), October 2018
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
ACM Transactions on Modeling and Computer Simulation 28(2), March 2018
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service
Theory and Practice of Logic Programming 18(5-6), September 2018
M. Armano, H. Audley, J. Baird, M. Bassan, S. Benella, P. Binetruy, M. Born, D. Bortoluzzi, A. Cavalleri, A. Cesarini, A. M. Cruise, K. Danzmann, K. de Deus Silva, I. Diepholz, G. Dixon, R. Dolesi, M. Fabi, L. Ferraioli, V. Ferroni, N. Finetti, E. D. Fitzsimons, M. Freschi, L. Gesa, F. Gibert, D. Giardini, R. Giusteri, C. Grimani, J. Grzymisch, I. Harrison, G. Heinzel, M. Hewitson, D. Hollington, D. Hoyland, M. Hueller, H. Inchauspé, O. Jennrich, P. Jetzer, N. Karnesis, B. Kaune, N. Korsakova, C. J. Killow, M. Laurenza, J. A. Lobo, I. Lloro, L. Liu, J. P. López-Zaragoza, R. Maarschalkerweerd, D. Mance, V. Martín, L. Martin-Polo, J. Martino, F. Martin-Porqueras, I. Mateos, P. W. McNamara, J. Mendes, L. Mendes, M. Nofrarias, S. Paczkowski, M. Perreur-Lloyd, A. Petiteau, P. Pivato, E. Plagnol, J. Ramos-Castro, J. Reiche, D. I. Robertson, F. Rivas, G. Russano, Federico Sabbatini, J. Slutsky, C. F. Sopuerta, T. Sumner, D. Tellon, D. Texier, J. I. Thorpe, D. Vetrugno, S. Vitale, G. Wanner, H. Ward, P. Wass, W. J. Weber, L. Wissel, A. Wittchen, A. Zambotti, C. Zanoni, P. Zweifel
Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder
The Astrophysical Journal 854(2), February 2018
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution in the Internet of Things
ACM Transactions on Autonomous and Adaptive Systems 12(3), September 2017
Angelo Croatti, Alessandro Ricci, Mirko Viroli
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
International Journal of Distributed Systems and Technologies 8(1), 2017
Stefano Mariani, Andrea Omicini
State-of-the-Art and Trends in Nature-inspired Coordination Models
The IEEE Intelligent Informatics Bulletin 18(2), December 2017
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Aggregate plans for multiagent systems
International Journal of Agent-Oriented Software Engineering 4(5), 2017
Sara Montagna, Andrea Omicini
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study
Simulation: Transactions of the Society for Modeling and Simulation International 93(9), September 2017
Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
Augmented societies with mirror worlds
AI & Society, December 2017
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
An Argumentation-based Perspective over the Social IoT
Journal of Internet of Things, 2017
David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, Demis Hassabis
Mastering the game of Go with deep neural networks and tree search
Nature 529, January 2016
Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Cross-organism learning method to discover new gene functionalities
Computer Methods and Programs in Biomedicine 126, April 2016
Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 2016
Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
Spatial awareness in pervasive ecosystems
Knowledge Engineering Review 31(4), September 2016
Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework
Bioinformatics and Biology Insights 10, March 2016
Alessandro Ricci
Programming with event loops and control loops – From actors to agents
Computer Languages, Systems & Structures 45, 2016
Roberta Calegari, Enrico Denti
Building Smart Spaces on the Home Manager platform
ALP Newsletter, December 2016
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
A coordination model of pervasive service ecosystems
Science of Computer Programming 110, 2015
Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
GOTA: GO term annotation of biomedical literature
BMC Bioinformatics 16, October 2015
Yann LeCun, Yoshua Bengio, Geoffrey Hinton
Deep learning
Nature 521(7553), May 2015
Jacob Beal, Mirko Viroli
Formal Foundations of Sensor Network Applications
SIGSPATIAL Special 7(2), September 2015
Sara Montagna, Mirko Viroli, Andrea Roli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
Simulation: Transactions of the Society for Modeling and Simulation International 91(7), June 2015
Jacob Beal, Mirko Viroli
Space-Time Programming
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 2015
Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Pervasive and Mobile Computing 17-B, February 2015
Ferruccio Damiani, Mirko Viroli
Type-based Self-stabilisation for Computational Fields
Logical Methods in Computer Science 11(4), 2015
Mehdi Dastani
Programming Multi-agent Systems
Knowledge Engineering Review 30(Special Issue 04), September 2015
Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
GOTA: GO term annotation of biomedical literature
BMC Bioinformatics 16: , 2015
Jacob Beal, Danilo Pianini, Mirko Viroli
Aggregate Programming for the Internet of Things
Computer 48(9), Sept 2015
Stefano Mariani, Andrea Omicini
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS
Engineering Applications of Artificial Intelligence 41, May 2015
Stefano Mariani, Andrea Omicini
Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives
SCS M&S Magazine IV(3), December 2014
Enrico Denti
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto
World Journal of Computer Application and Technology 2(1), January 2014
Enrico Denti
Novel pervasive scenarios for home management: the Butlers architecture
SpringerPlus 3(52), January 2014
Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation
Computational and Mathematical Organization Theory, August 2013
Andrea Omicini, Stefano Mariani
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems
Intelligenza Artificiale 7(2), November 2013
Danilo Pianini, Sara Montagna, Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Journal of Simulation, 2013
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Description and composition of bio-inspired design patterns: a complete overview
Natural Computing 12(1), 2013
Houguang Yue
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus
International Journal of Foundations of Computer Science 24(03), 2013
Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013
Enrico Denti, Andrea Omicini, Roberta Calegari
tuProlog: Making Prolog Ubiquitous
Association for Logic Programming Newsletter, October 2013
Mirko Viroli, Jacob Beal, Kyle Usbeck
Operational Semantics of Proto
Science of Computer Programming 78(6), June 2013
Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems
Mobile Networks and Applications 18(3), 2013
Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion
Complex Adaptive Systems Modeling 1(1), 2013
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Science of Computer Programming 78(6), June 2013
Elena Nardini, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres
Science of Computer Programming 78(5), May 2013
Pedro Pablo González Pérez, Maura Cárdenas-García, Sara Montagna
Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction
Journal of Computations & Modelling 3(2), 2013
Andrea Omicini
Nature-inspired Coordination Models: Current Status, Future Trends
ISRN Software Engineering 2013, 2013
Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways
Journal of Simulation 7(3), August 2013
Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Multi-agent Oriented Programming with JaCaMo
Science of Computer Programming 78(6), June 2013
Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems
ACM Transactions on Autonomous and Adaptive Systems 7(12), September 2012
Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Implicit: A Multi-agent Recommendation System for Web Search
Autonomous Agents and Multi-Agent Systems 24(1), 2012
Schahram Dustdar, Hong-Linh Truong
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective
International Journal of Next-Generation Computing 3(2), 2012
Alessandro Ricci, Andrea Santi
A Programming Paradigm based on Agent-Oriented Abstractions
International Journal on Advances in Software 5(1-2), 2012
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science 22(2), 2012
Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Interdependent Artificial Institutions in Agent Environments
Applied Artificial Intelligence 26(4), May 2012
Franco Zambonelli
Toward Sociotechnical Urban Superorganisms
Computer 45(8), 2012
Juan Ye, Simon Dobson, Susan McKeever
Situation Identification Techniques in Pervasive Computing: A Review
Pervasive and Mobile Computing 8(1), February 2012
Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
Programming Directives for Elastic Computing
IEEE Internet Computing 16(6), 2012
Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM 55(9), September 2012
Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure
EMBnet.journal 18(B), 2012
Rishiyur S. Nikhil
Abstraction in hardware system design
Communications of the ACM 54(10), 2011
Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
From Manifesta to Krypta: The Relevance of Categories for Trusting Others
Transactions on Intelligent Systems and Technology , 2011
YoungMin Kwon, Gul Agha
Verifying the Evolution of Probability Distributions Governed by a DTMC
IEEE Transactions on Software Engineering 37(1), January 2011
Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
A Tour of Reaction Systems
International Journal of Foundations of Computer Science 22(7), November 2011
Schahram Dustdar, Kamal Bhattacharya
The Social Compute Unit
IEEE Internet Computing 15(3), 2011
Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
ACM Computing Surveys 43(2), January 2011
Samuel Greengard
Living in a Digital World
Communications of the ACM 54(10), 2011
Michael Davis
Will software engineering ever be engineering?
Communications of the ACM 54, November 2011
Luca Cernuzzi, Franco Zambonelli
Adaptive organizational changes in agent-oriented methodologies
Knowledge Engineering Review 26(2), May 2011
Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a logic framework for Web programming
Intelligenza Artificiale 5(1), 2011
Tom Geller
Seeing is not enough
Communications of the ACM 54(10), 2011
Sarah Cohen, James T. Hamilton, Fred Turner
Computational journalism
Communications of the ACM 54(10), October 2011
Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
ACM SIGAPP Applied Computing Review 11(2), Spring 2011
Poul-Henning Kamp
The software industry is the problem
Communications of the ACM 54(11), 2011
Kirk L. Kroeker
Improving brain-computer interfaces
Communications of the ACM 54(10), 2011
Andrea Omicini, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation
Knowledge Engineering Review 26(1), March 2011
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems 6(2), June 2011
Li Gong
Java Security Architecture Revisited
ACM Queue 9(9), 2011
Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology 
International Journal of Software Engineering and Knowledge Engineering 21(4), June 2011
Alessandro Ricci, Michele Piunti, Mirko Viroli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
Autonomous Agents and Multi-Agent Systems 23(2), September 2011
Paul Hyman
Dennis Ritchie, 1941-2011
Communications of the ACM 54(12), 2011
Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
Principles of Elastic Processes
IEEE Internet Computing 15(5), 2011
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Calculus of Agents and Artifacts
Communications in Computer and Information Science 50, 2011
Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Sustainable biomass power plant location in the Italian Emilia-Romagna region
ACM Transactions on Intelligent Systems and Technology 2(4), July 2011
Vitaly Shmatikov
Anonymity is not privacy: technical perspective
Communications of the ACM 54(12), 2011
Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 76(1), May 2011
Franco Zambonelli, Mirko Viroli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
International Journal of Pervasive Computing and Communications 7(3), 2011
Marco Raberto, Andrea Teglio, Silvano Cincotti
Debt Deleveraging and Business Cycles. An Agent-Based Perspective
Economics: The Open-Access, Open-Assessment E-Journal Economics Discussion Papers(2011-31), 2011
Peter McBurney, Simon Parsons, Mirko Viroli
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
Knowledge Engineering Review 26(1), March 2011
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
Science of Computer Programming 76(1), January 2011
Kirk L. Kroeker
The Rise of Molecular Machines
Communications of the ACM 54(12), 2011
Michael A. Cusumano
The legacy of Steve Jobs
Communications of the ACM 54(12), 2011
Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
From Space to Stage: How Interactive Screens Will Change Urban Life
Computer 44(6), June 2011
Giuseppe Cardone, Antonio Corradi, Luca Foschini
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
The Computer Journal, 2011
Jaron Lanier
The most ancient marketing
Communications of the ACM 54(12), December 2011
Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling
International Journal of Agent-Oriented Software Engineering 4(2), 2010
Mirko Viroli, Franco Zambonelli
A Biochemical Approach to Adaptive Service Ecosystems
Information Sciences 180(10), 2010
Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient
Journal of  Integrative Bioinformatics 7(1), 2010
Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study
Journal of Systems and Software 83(5), May 2010
Clemens Holzmann, Alois Ferscha
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems
Pervasive and Mobile Computing 6(3), 2010
Silvano Cincotti, Marco Raberto, Andrea Teglio
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace
Economics: The Open-Access, Open-Assessment E-Journal 4(2010-26), 2010
Antonio Natali, Ambra Molesini
Towards Model-driven Communications
World Academy of Science, Engineering and Technology 64, April 2010
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Argumentation and Artifacts for Negotiation Support
International Journal of Artificial Intelligence 4(S10), Spring 2010
Alessandro Ricci, Enrico Denti, Michele Piunti
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
Multiagent and Grid Systems 6(2), June 2010
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Logic-based decision support for strategic environmental assessment
Theory and Practice of Logic Programming 10(4-6), July 2010
Sagar Indurkhya, Jacob Beal
Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems
PLoS ONE 5(1), 01 2010
Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces
International Journal of Ambient Computing and Intelligence 2(1), January-March 2010
Charles M. Macal, Michael J. North
Tutorial on Agent-based Modelling and Simulation
Journal of Simulation 4(3), September 2010
Aniruddha Dasgupta, Aditya K. Ghose
Implementing reactive BDI agents with user-given constraints and objectives
International Journal of Agent-Oriented Software Engineering 4(2), 2010
Ambra Molesini, Enrico Denti, Andrea Omicini
Agent-based Conference Management: A Case Study in SODA
International Journal of Agent-Oriented Software Engineering 4(1), 2010
Ambra Molesini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009
Tom De Marco
Software Engineering: An Idea Whose Time Has Come and Gone?
IEEE Software 26(4), July/August 2009
Pierluigi Contucci, Francesca Romiti
Mathematics for Economics: A Statistical Mechanics Perspective
ERCIM News 78, July 2009
Marco Mamei, Franco Zambonelli
Programming Pervasive and Mobile Computing Applications: The TOTA Approach
ACM Transactions on  Software Engineering Methodologies 18(4), July 2009
Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009
Bryan O'Sullivan
Making Sense of Revision-control Systems
Communications of the ACM 52(9), September 2009
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Declarative Specification and Verification of Service Choreographies
ACM Transactions on the Web, 2009
Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Smart Environments as Agent Workspaces
Ubiquitous Computing and Communication Journal CPE - Special Issue, June 2008
Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Automating Workflow using Dialectical Argumentation
International Journal on Computer Science and Information Systems 3(2), 2008
Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Towards a Tuplespace-based Middleware for the Semantic Web
Web Intelligence and Agent Systems 6(3), 2008
Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
Knowledge Engineering Review 23(2), June 2008
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems
Journal of Universal Computer Science 14(13), 2008
Pierluigi Contucci, Cristian Giardina
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
ERCIM News 73, April 2008
H. Eugene Stanley
Econophysics and the Current Economic Turmoil
American Physical Society News 17(11), December 2008
Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
PASSIM: a simulation-based process for the development of multi-agent systems
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Maurizio Cimadamore, Mirko Viroli
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008
Sara Montagna, Alessandro Ricci, Andrea Omicini
A&A for Modelling and Engineering Simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
Programming with models: modularity and abstraction provide powerful capabilities for systems biology
Journal of the Royal Society Interface, 2008
Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Phase Transitions in Social Sciences: Two-populations Mean Field Theory
International Journal of Modern Physics B 22(14), 10 June 2008
Lapo Mori
Writing a thesis with LaTeX
The PracTeX Journal, 2008
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
International Journal of Agent-Oriented Software Engineering 2(2), 2008
Chieri Saito, Atsushi Igarashi, Mirko Viroli
Lightweight Family Polymorphism
Journal of Functional Programming 18(3), May 2008
Nadia Busi, Gianluigi Zavattaro
A Process Algebraic View of Shared Dataspace Coordination
Journal of Logic and Algebraic Programming 75(1), February-March 2008
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008
Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
The Journal of Chemical Physics 128(20), 2008
Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Discrete Event Modeling and Simulation in Systems Biology
Journal of Simulation 1(2), May 2007
Mamei Marco, Franco Zambonelli
Pervasive pheromone-based interaction with RFID tags
ACM Transactions on Autonomous and Adaptive Systems 2(2), June 2007
Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web 5(2), June 2007
Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Introduction to the Special Issue: The AgentLink III Technical Forums
ACM Transactions on Autonomous and Adaptive Systems 2(4), November 2007
Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Situated Cellular Agents Approach to Crowd Modeling and Simulation
Cybernetics and Systems 38(7), 2007
Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
How to infer gene networks from expression profiles
Molecular Systems Biology, February 2007
Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Infrastructures for the Environment of Multiagent Systems
Autonomous Agents and Multi-Agent Systems 14(1), July 2007
Tristan M. Behrens, Jurgen Dix
Model Checking Multi-agent systems with Logic Based Petri Nets
Annals of Mathemathics and Artificial Intelligence 51(2-4), 2007
Tim O'Reilly
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
Communications & Strategies 65(1st Quarter), 31 March 2007
Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
A Survey on Context-Aware Systems
International Journal of Ad Hoc and Ubiquitous Computing 2(4), 2007
Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Timed Environment for Web Agents
Web Intelligence and Agent Systems 5(2), August 2007
Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Agent-based modeling of multicell morphogenic processes during development
Birth Defects Research (Part C) 81, 2007
Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Method fragments for agent design methodologies: from standardisation to research
International Journal of Agent-Oriented Software Engineering 1(1), 2007
Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 66(3), May 2007
Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Integrating Software Models and Platform Models for Performance Analysis
IEEE Transactions on Software Engineering 33(6), June 2007
Davide Balzarotti, Paolo Costa, Gian Pietro Picco
The LighTS Tuple Space Framework and its Customization for Context-aware Applications
Web Intelligence and Agent Systems 5(2), 2007
Mirko Viroli, Enrico Denti, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), May 2007
Giulio Piancastelli, Andrea Omicini
tuProlog 2.0: One Step Beyond
Association for Logic Programming Newsletter 20(1), February 2007
Mirko Viroli
A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), January 2007
Jasmin Fisher, Thomas A. Henzinger
Executable cell biology
Nature Biotechnology 25, November 2007
Danny Weyns, Andrea Omicini, James J. Odell
Environment as a First Class Abstraction in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
Pierluigi Contucci, Stefano Ghirlanda
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
Quality & Quantity 41(4), August 2007
Davide Ancona, Mirko Viroli
Guest Editorial
Journal of Object Technology 6(2), 2007
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Journal of Artificial Intelligence Research 29, 2007
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Applied Artificial Intelligence 21(4-5), April 2007
Atsushi Igarashi, Mirko Viroli
Variant path types for scalable extensibility
ACM SIGPLAN Notices 42(10), 2007
Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
Stem Cells 25(7), July 2007
Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Lime: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology 15(3), July 2006
M. Martin, P. Nurmi
A Generic Large Scale Simulator for Ubiquitous Computing
Mobile and Ubiquitous Systems, Annual International Conference on 0, July 2006
Andrea Omicini, Agostino Poggi
Multiagent Systems
Intelligenza Artificiale III(1-2), March 2006
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Logics for Artificial Intelligence
Intelligenza Artificiale III(1-2), March 2006
Atsushi Igarashi, Mirko Viroli
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
ACM Transactions on Programming Languages and Systems 28(5), September 2006
Jiming Liu, Kwok Ching Tsui
Toward Nature-Inspired Computing
Communications of the ACM 49(10), October 2006
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 356(3), May 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006
Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Case Studies for Self-organization in Computer Science
Journal of Systems Architecture: Embedded Software Design 52(8-9), August-September 2006
Mirko Viroli, Andrea Omicini
Coordination as a Service
Fundamenta Informaticae 73(4), 2006
Mirko Viroli, Alessandro Ricci, Andrea Omicini
Operating Instructions for Intelligent Agent Coordination
Knowledge Engineering Review 21(1), March 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure
Applied Artificial Intelligence 20(2-4), February 2006
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems 12(2), 2006
Sascha Ossowski, Ronaldo Menezes
On Coordination and its Significance to Distributed and Multi-Agent Systems
Concurrency and Computation: Practice and Experience 18(4), April 2006
Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Service-Oriented Design and Development Methodology
International Journal of Web Engineering and Technology 2(4), July 2006
Christine Julien, Gruia-Catalin Roman
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering 32(5), May 2006
Rui Alves, Fernando Antunes, Armindo Salvador
Tools for kinetic modeling of biochemical networks
Nature Biotechnology 24(6), 2006
Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-paradigm Java-Prolog Integration in tuProlog
Science of Computer Programming 57(2), August 2005
Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum
AgentLink News 17, April 2005
Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Process Models for Agent-based Development
Engineering Applications of Artificial Intelligence 18(2), March 2005
Eugene Eberbach
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
Fundamamenta Informaticae 68(1--2), April 2005
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative Information in the Tuple Space Coordination Model
Theoretical Computer Science 346(1), 23 November 2005
Alessandro Ricci, Mirko Viroli
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
Informatica 29(4), November 2005
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Environments in Multiagent Systems
Knowledge Engineering Review 20(2), June 2005
Andrea Omicini, Peter McBurney
The AgentLink III Technical Forums: Introduction to the Special Issue
Knowledge Engineering Review 20(2), June 2005
Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Self-Organization in Multi-Agent Systems
Knowledge Engineering Review 20(2), June 2005
Mirko Viroli, Giovanni Rimassa
On Access Restriction with Java Wildcards
Journal of Object Technology 4(10), 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005
(247 articles in journal / 2005–2023)  [top]  [bottom]

Avatar

home  •  biography  •  events  •  projects  •  publications  •  research  •  talks  •  teaching  •  theses

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY