Per tipo

394 articoli in rivista

EneA-FL: Energy-aware Orchestration for Serverless Federated Learning (Future Generation Computer Systems, 2024) — Andrea Agiollo, Paolo Bellavista, Matteo Mendula, Andrea Omicini
Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (ACM Computing Surveys, 2024) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (2024) — Federico Sabbatini, Roberta Calegari
Anonymous Federated Learning via Named-Data Networking (Future Generation Computer Systems, 2024) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Nicolò Dal Fabbro, Riccardo Lazzeretti
Efficient compliance checking of RDF data (Journal of Logic and Computation, 2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (Artificial Intelligence and Law, 2023) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (2023) — Luciano Floridi
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (Journal of Logic and Computation, 2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Delay Indices for Train Punctuality (Information, 2023) — Enrico Denti, Luca Burroni
Burden of Persuasion: A Meta-argumentation Approach (Journal of Applied Logics, 2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (Intelligenza Artificiale, 2023) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (Computer Methods and Programs in Biomedicine, 2023) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (Autonomous Agents and Multi-Agent Systems, 2023) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Neural-logic multi-agent system for flood event detection (Intelligenza Artificiale, 2023) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
HAMLET: a framework for Human-centered AutoML via Structured Argumentation (2023) — Matteo Francia, Joseph Giovanelli, Giuseppe Pisano
Fifty Years of Prolog and Beyond (Theory and Practice of Logic Programming, 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
Web of Digital Twins (ACM Transactions on Internet Technology, 2022) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
Coordination of Autonomous Vehicles: Taxonomy and Survey (ACM Computing Surveys, 2022) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
Arg2P: An argumentation framework for explainable intelligent systems (Journal of Logic and Computation, 2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (Intelligenza Artificiale, 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
How to model contrary-to-duty with GCP-nets (Intelligenza Artificiale, 2022) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
On Correctness and Completeness of an n Queens Program (Theory and Practice of Logic Programming, 2022) — Włodzimierz Drabent
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (IEEE Internet of Things Journal, 2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
Pervasive and Connected Digital Twins - A Vision for Digital Health (IEEE Internet Computing, 2022) — Alessandro Ricci, Angelo Croatti, Sara Montagna
Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (2021) — Sara Montagna, Stefano Mariani, Emiliano Gamberini
Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (2021) — Angelo Croatti, Marco Longoni, Sara Montagna
Partitioned integration and coordination via the self-organising coordination regions pattern (Future Generation Computer Systems, 2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
Argumentation and Defeasible Reasoning in the Law (J — Multidisciplinary Scientific Journal, 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
DETONAR: Detection of Routing Attacks in RPL-based IoT (2021) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing (SN Computer Science, 2021) — Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (Autonomous Agents and Multi-Agent Systems, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (Applied Sciences, 2021) — Andrea Agiollo, Andrea Omicini
Complementing Agents with Cognitive Services: A Case Study in Healthcare (2020) — Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco Zambonelli
On the Integration of Agents and Digital Twins in Healthcare (2020) — Angelo Croatti, Matteo Gabellini, Sara Montagna, 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, 2020) — Angelo Croatti, Alessandro Ricci
From Agents to Blockchain: Stairway to Integration (Applied Sciences, 2020) — Giovanni Ciatto, 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, 2020) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24 (2020) — Catia Grimani, Andrea Cesarini, Michele Fabi, Federico Sabbatini, Daniele Telloni, Mattia Villani
Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer (2020) — Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, Peter J. Liu
The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling (2020) — Sara Montagna, Michele Braccini, Andrea Roli
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale, 2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Real-time tracking and documentation in trauma management (2020) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (Complexity, 2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Causal Interpretability for Machine Learning – Problems, Methods and Evaluation (2020) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information, 2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Coordination in Socio-technical Systems: Where are we now? Where do we go next? (Science of Computer Programming, 2019) — Stefano Mariani
From distributed coordination to field calculus and aggregate computing (Journal of Logical and Algebraic Methods in Programming, 2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting (2019) — Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
Client-side Computational Optimization (2019) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
Explanation in artificial intelligence: Insights from the social sciences (2019) — Tim Miller
A development approach for collective opportunistic Edge-of-Things services (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Deliver intelligence to integrate care: the Connecare way (2019) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (International Journal of Grid and Utility Computing, 2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (Future Generation Computer Systems, 2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Evaluating Origin–Destination Matrices Obtained from CDR Data (2019) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
A Survey of Methods for Explaining Black Box Models (ACM Computing Surveys, 2018) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions (2018) — Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Logic Programming as a Service (Theory and Practice of Logic Programming, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems, 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder (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
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
The mythos of model interpretability (2018) — Zachary C. Lipton
Spatial Tuples: Augmenting Reality with Tuples (Expert Systems, 2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Self-Adaptation to Device Distribution in the Internet of Things (ACM Transactions on Autonomous and Adaptive Systems, 2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study (SIMULATION: Transactions of the Society for Modeling and Simulation International, 2017) — Sara Montagna, Andrea Omicini
Augmented societies with mirror worlds (2017) — Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
State-of-the-Art and Trends in Nature-inspired Coordination Models (The IEEE Intelligent Informatics Bulletin, 2017) — Stefano Mariani, Andrea Omicini
Aggregate plans for multiagent systems (International Journal of Agent-Oriented Software Engineering, 2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
An Argumentation-based Perspective over the Social IoT (2017) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (International Journal of Distributed Systems and Technologies, 2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework (2016) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
Spatial awareness in pervasive ecosystems (The Knowledge Engineering Review, 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
Building Smart Spaces on the Home Manager platform (ALP Newsletter, 2016) — Roberta Calegari, Enrico Denti
Mastering the game of Go with deep neural networks and tree search (2016) — 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
Cross-organism learning method to discover new gene functionalities (2016) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Programming with event loops and control loops – From actors to agents (2016) — Alessandro Ricci
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, 2015) — Sara Montagna, Mirko Viroli, Andrea Roli
Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (Pervasive and Mobile Computing, 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
Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
Deep learning (Nature, 2015) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
Programming Multi-agent Systems (The Knowledge Engineering Review, 2015) — Mehdi Dastani
A coordination model of pervasive service ecosystems (Science of Computer Programming, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
GOTA: GO term annotation of biomedical literature (2015) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (Engineering Applications of Artificial Intelligence, 2015) — Stefano Mariani, Andrea Omicini
GOTA: GO term annotation of biomedical literature (2015) — Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli
Formal Foundations of Sensor Network Applications (2015) — Jacob Beal, Mirko Viroli
Novel pervasive scenarios for home management: the Butlers architecture (2014) — Enrico Denti
Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (SCS M&S Magazine, 2014) — Stefano Mariani, Andrea Omicini
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (2014) — Enrico Denti
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (Journal of Simulation, 2013) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction (2013) — Pedro Pablo González Pérez, Maura Cárdenas-García, Sara Montagna
tuProlog: Making Prolog Ubiquitous (ALP Newsletter, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
Operational Semantics of Proto (Science of Computer Programming, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation, 2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (2013) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
On competitive self-composition in pervasive services (Science of Computer Programming, 2013) — Mirko Viroli
Injecting Self-organisation into Pervasive Service Ecosystems (2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Multi-agent Oriented Programming with JaCaMo (Science of Computer Programming, 2013) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Description and composition of bio-inspired design patterns: a complete overview (2013) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Nature-inspired Coordination Models: Current Status, Future Trends (ISRN Software Engineering, 2013) — Andrea Omicini
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (International Journal of Foundations of Computer Science, 2013) — Houguang Yue
Semantic Tuple Centres (Science of Computer Programming, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (2013) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (Intelligenza Artificiale, 2013) — Andrea Omicini, Stefano Mariani
A Programming Paradigm based on Agent-Oriented Abstractions (2012) — Alessandro Ricci, Andrea Santi
Situation Identification Techniques in Pervasive Computing: A Review (Pervasive and Mobile Computing, 2012) — Juan Ye, Simon Dobson, Susan McKeever
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (2012) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (2012) — Schahram Dustdar, Hong-Linh Truong
Interdependent Artificial Institutions in Agent Environments (Applied Artificial Intelligence, 2012) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Self-adaptive software needs quantitative verification at runtime (Communications of the ACM, 2012) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Programming Directives for Elastic Computing (IEEE Internet Computing, 2012) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
Standard Type Soundness for Agents and Artifacts (2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Toward Sociotechnical Urban Superorganisms (2012) — Franco Zambonelli
Implicit: A Multi-agent Recommendation System for Web Search (Autonomous Agents and Multi-Agent Systems, 2012) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (ACM Transactions on Autonomous and Adaptive Systems, 2012) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
Living in a Digital World (Communications of the ACM, 2011) — Samuel Greengard
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Preface (Science of Computer Programming, 2011) — Carlos Canal, Mirko Viroli
Dennis Ritchie, 1941-2011 (2011) — Paul Hyman
Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review, 2011) — Andrea Omicini, Mirko Viroli
Verifying the Evolution of Probability Distributions Governed by a DTMC (2011) — YoungMin Kwon, Gul Agha
Abstraction in hardware system design (Communications of the ACM, 2011) — Rishiyur S. Nikhil
Principles of Elastic Processes (IEEE Internet Computing, 2011) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (The Knowledge Engineering Review, 2011) — Peter McBurney, Simon Parsons, Mirko Viroli
The Rise of Molecular Machines (Communications of the ACM, 2011) — Kirk L. Kroeker
Sustainable biomass power plant location in the Italian Emilia-Romagna region (2011) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
A Tour of Reaction Systems (International Journal of Foundations of Computer Science, 2011) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
Will software engineering ever be engineering? (Communications of the ACM, 2011) — Michael Davis
Towards a logic framework for Web programming (Intelligenza Artificiale, 2011) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (Autonomous Agents and Multi-Agent Systems, 2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Anonymity is not privacy: technical perspective (2011) — Vitaly Shmatikov
From Manifesta to Krypta: The Relevance of Categories for Trusting Others (2011) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
From Space to Stage: How Interactive Screens Will Change Urban Life (2011) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (2011) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
The software industry is the problem (Communications of the ACM, 2011) — Poul-Henning Kamp
Java Security Architecture Revisited (2011) — Li Gong
Seeing is not enough (Communications of the ACM, 2011) — Tom Geller
Computational journalism (Communications of the ACM, 2011) — Sarah Cohen, James T. Hamilton, Fred Turner
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (2011) — Franco Zambonelli, Mirko Viroli
Adaptive organizational changes in agent-oriented methodologies (The Knowledge Engineering Review, 2011) — Luca Cernuzzi, Franco Zambonelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (Science of Computer Programming, 2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
The Social Compute Unit (IEEE Internet Computing, 2011) — Schahram Dustdar, Kamal Bhattacharya
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (ACM Computing Surveys, 2011) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
Debt Deleveraging and Business Cycles. An Agent-Based Perspective (2011) — Marco Raberto, Andrea Teglio, Silvano Cincotti
A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (International Journal of Software Engineering and Knowledge Engineering, 2011) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
The most ancient marketing (Communications of the ACM, 2011) — Jaron Lanier
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems, 2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
The legacy of Steve Jobs (Communications of the ACM, 2011) — Michael A. Cusumano
Improving brain-computer interfaces (Communications of the ACM, 2011) — Kirk L. Kroeker
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (2010) — Silvano Cincotti, Marco Raberto, Andrea Teglio
Implementing reactive BDI agents with user-given constraints and objectives (International Journal of Agent-Oriented Software Engineering, 2010) — Aniruddha Dasgupta, Aditya K. Ghose
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (2010) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (Multiagent and Grid Systems, 2010) — Alessandro Ricci, Enrico Denti, Michele Piunti
Towards Model-driven Communications (2010) — Antonio Natali, Ambra Molesini
A Biochemical Approach to Adaptive Service Ecosystems (2010) — Mirko Viroli, Franco Zambonelli
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (2010) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
Logic-based decision support for strategic environmental assessment (Theory and Practice of Logic Programming, 2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (Pervasive and Mobile Computing, 2010) — Clemens Holzmann, Alois Ferscha
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (International Journal of Agent-Oriented Software Engineering, 2010) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Tutorial on Agent-based Modelling and Simulation (Journal of Simulation, 2010) — Charles M. Macal, Michael J. North
Argumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence, 2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (2010) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (2010) — Sagar Indurkhya, Jacob Beal
Agent-based Conference Management: A Case Study in SODA (International Journal of Agent-Oriented Software Engineering, 2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems, 2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
Making Sense of Revision-control Systems (Communications of the ACM, 2009) — Bryan O'Sullivan
Declarative Specification and Verification of Service Choreographies (2009) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Software Engineering: An Idea Whose Time Has Come and Gone? (IEEE Software, 2009) — Tom De Marco
Programming Pervasive and Mobile Computing Applications: The TOTA Approach (2009) — Marco Mamei, Franco Zambonelli
Mathematics for Economics: A Statistical Mechanics Perspective (2009) — Pierluigi Contucci, Francesca Romiti
A&A for Modelling and Engineering Simulations in Systems Biology (International Journal of Agent-Oriented Software Engineering, 2008) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Automating Workflow using Dialectical Argumentation (IADIS International Journal on Computer Science and Information Systems, 2008) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
A Process Algebraic View of Shared Dataspace Coordination (2008) — Nadia Busi, Gianluigi Zavattaro
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (2008) — Pierluigi Contucci, Cristian Giardina
Smart Environments as Agent Workspaces (Ubiquitous Computing and Communication Journal, 2008) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (The Knowledge Engineering Review, 2008) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
Phase Transitions in Social Sciences: Two-populations Mean Field Theory (2008) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Towards a Tuplespace-based Middleware for the Semantic Web (Web Intelligence and Agent Systems, 2008) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
On the reification of Java wildcards (Science of Computer Programming, 2008) — Maurizio Cimadamore, Mirko Viroli
Writing a thesis with LaTeX (2008) — Lapo Mori
Programming with models: modularity and abstraction provide powerful capabilities for systems biology (2008) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
An Adaptation Logic Framework for Java-based Component Systems (Journal of Universal Computer Science, 2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
Econophysics and the Current Economic Turmoil (2008) — H. Eugene Stanley
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (2008) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
Lightweight Family Polymorphism (2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
PASSIM: a simulation-based process for the development of multi-agent systems (International Journal of Agent-Oriented Software Engineering, 2008) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Environment as a First Class Abstraction in Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2007) — Danny Weyns, Andrea Omicini, James J. Odell
Situated Cellular Agents Approach to Crowd Modeling and Simulation (2007) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (2007) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Guest Editorial (2007) — Davide Ancona, Mirko Viroli
Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels (International Journal of Agent-Oriented Software Engineering, 2007) — Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier
Agent-based modeling of multicell morphogenic processes during development (2007) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Pellet: A practical OWL-DL reasoner (2007) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
Method fragments for agent design methodologies: from standardisation to research (International Journal of Agent-Oriented Software Engineering, 2007) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Integrating Software Models and Platform Models for Performance Analysis (2007) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (2007) — Tim O'Reilly
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (Autonomous Agents and Multi-Agent Systems, 2007) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (2007) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Executable cell biology (Nature Biotechnology, 2007) — Jasmin Fisher, Thomas A. Henzinger
Pervasive pheromone-based interaction with RFID tags (ACM Transactions on Autonomous and Adaptive Systems, 2007) — Mamei Marco, Franco Zambonelli
How to infer gene networks from expression proﬁles (2007) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
The LighTS Tuple Space Framework and its Customization for Context-aware Applications (Web Intelligence and Agent Systems, 2007) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
Discrete Event Modeling and Simulation in Systems Biology (Journal of Simulation, 2007) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Infrastructures for the Environment of Multiagent Systems (Autonomous Agents and Multi-Agent Systems, 2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (2007) — Pierluigi Contucci, Stefano Ghirlanda
Engineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
A core calculus for correlation in orchestration languages (2007) — Mirko Viroli
A Survey on Context-Aware Systems (2007) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
Timed Environment for Web Agents (Web Intelligence and Agent Systems, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Model Checking Multi-agent systems with Logic Based Petri Nets (2007) — Tristan M. Behrens, Jurgen Dix
Preface (Science of Computer Programming, 2007) — Carlos Canal, Mirko Viroli
tuProlog 2.0: One Step Beyond (ALP Newsletter, 2007) — Giulio Piancastelli, Andrea Omicini
Logics for Artificial Intelligence (Intelligenza Artificiale, 2006) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Tools for kinetic modeling of biochemical networks (Nature Biotechnology, 2006) — Rui Alves, Fernando Antunes, Armindo Salvador
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems, 2006) — Atsushi Igarashi, Mirko Viroli
Coordination as a Service (Fundamenta Informaticae, 2006) — Mirko Viroli, Andrea Omicini
Lime: A coordination model and middleware supporting mobility of hosts and agents (2006) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Toward Nature-Inspired Computing (Communications of the ACM, 2006) — Jiming Liu, Kwok Ching Tsui
On Coordination and its Significance to Distributed and Multi-Agent Systems (2006) — Sascha Ossowski, Ronaldo Menezes
Verifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems, 2006) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Service-Oriented Design and Development Methodology (2006) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
A Generic Large Scale Simulator for Ubiquitous Computing (2006) — M. Martin, P. Nurmi
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Case Studies for Self-organization in Computer Science (Journal of Systems Architecture, 2006) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Multiagent Systems (Intelligenza Artificiale, 2006) — Andrea Omicini, Agostino Poggi
On the Expressive Power of KLAIM-based Calculi (2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (2006) — Christine Julien, Gruia-Catalin Roman
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (Informatica, 2005) — Alessandro Ricci, Mirko Viroli
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (2005) — Eugene Eberbach
Environments in Multiagent Systems (The Knowledge Engineering Review, 2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Process Models for Agent-based Development (Engineering Applications of Artificial Intelligence, 2005) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
On Access Restriction with Java Wildcards (2005) — Mirko Viroli, Giovanni Rimassa
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Quantitative Information in the Tuple Space Coordination Model (2005) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Self-Organization in Multi-Agent Systems (The Knowledge Engineering Review, 2005) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Reo: A Channel-based Coordination Model for Component Composition (2004) — Farhad Arbab
Composing Adaptive Software (2004) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Relevance of Winning Coalitions in Indirect Control of Corporations (2004) — Enrico Denti, Nando Prati
Open Directions in Agent-Oriented Software Engineering (UPGRADE: The European Journal for the Informatics Professional, 2004) — Franco Zambonelli, Andrea Omicini
Adaptive Agents and Multiagent Systems (2004) — Zahia Guessoum
From the Editor in Chief: Nature-Inspired Computing (2004) — Nigel Shadbolt
Challenges and Research Directions in Agent-Oriented Software Engineering (Autonomous Agents and Multi-Agent Systems, 2004) — Franco Zambonelli, Andrea Omicini
System Support for Pervasive Applications (2004) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
Guest Editorial (2004) — Davide Ancona, Mirko Viroli
Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Coordination and Collaboration Activities in Cooperative Information Systems (International Journal of Cooperative Information Systems, 2004) — Andrea Omicini, Sascha Ossowski
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (2003) — Mirko Viroli
Developing multiagent systems: The Gaia methodology (2003) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Reasoning about Organisation: Shaping the Infrastructure (AI*IA Notizie, 2003) — Andrea Omicini, Alessandro Ricci
Architecture as a Coordination Tool in Multi-site Software Development (2003) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
Computation Beyond Turing Machines (Communications of the ACM, 2003) — Peter Wegner, Dina Goldin
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (The Knowledge Engineering Review, 2003) — Franco Zambonelli, H. Van Dyke Parunak
From SHIQ and RDF to OWL: The Making of a Web Ontology Language (2003) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
Method engineering for OO systems development (Communications of the ACM, 2003) — Brian Henderson-Sellers
How has the 9/11 terrorist attack influenced decision making? (2003) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
The Vision of Autonomic Computing (2003) — Jeffrey O. Kephart, David M. Chess
Coordination Knowledge Engineering (The Knowledge Engineering Review, 2002) — Sascha Ossowski, Andrea Omicini
Virtual Enterprises and Workflow Management as Agent Coordination Issues (International Journal of Cooperative Information Systems, 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Coordination Tools for MAS Development and Deployment (Applied Artificial Intelligence, 2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (2002) — Hidde De Jong
Design Principles of a Reactive Behavioral System for the Intelligent Room (2002) — Ajay Kulkarni
Computational challenges in cell simulation: a software engineering approach (2002) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
Objects and Agents Compared (2002) — James J. Odell
A Survey of Coordination Middleware for XML-centric Applications (The Knowledge Engineering Review, 2002) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
Bisimulation for Labelled Markov Processes (2002) — José Desharnais, Abbas Edalat, Prakash Panangaden
Modelling Agents as Observable Sources (Journal of Universal Computer Science, 2002) — Mirko Viroli, Andrea Omicini
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (2002) — Brian Henderson-Sellers
Principled Design of the Modern Web Architecture (ACM Transactions on Internet Technology, 2002) — Roy Thomas Fielding, Richard N. Taylor
An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini
The Complementary Nature of Coordination Dynamics: Self-organization and Agency (2002) — J.A. Scott Kelso
XML Dataspaces for the Coordination of Internet Agents (Applied Artificial Intelligence, 2001) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Self Organization and Coordination (2001) — Scott E. Page
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (2001) — Ian Foster, Carl Kesselman, Steven Tuecke
On the Unusual Effectiveness of Logic in Computer Science (Bulletin of Symbolic Logic, 2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
On the Notion of Agent Coordination Context: Preliminary Notes (AI*IA Notizie, 2001) — Andrea Omicini
Introduction to This Special Issue on Context-Aware Computing (2001) — Thomas Moran, Paul Dourish
Enlightened Agents in TuCSoN (AI*IA Notizie, 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
From Tuple Spaces to Tuple Centres (Science of Computer Programming, 2001) — Andrea Omicini, Enrico Denti
An Agent-based Approach for Building Complex Software Systems (Communications of the ACM, 2001) — Nicholas R. Jennings
Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie, 2001) — Mirko Viroli, Andrea Omicini
A Coordination Language for Collective Agent-based Systems: GroupLog (Applied Artificial Intelligence, 2001) — Fernanda Barbosa, José C. Cunha
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (2001) — Ganesh D. Bhatt
Safe Tuplespace-based Coordination in Multiagent Systems (Applied Artificial Intelligence, 2001) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Control-driven Constraint Propagation (Applied Artificial Intelligence, 2001) — Eric Monfroy
An Algorithm for Winning Coalitions in Indirect Control of Corporations (2001) — Nando Prati, Enrico Denti
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (International Journal of Software Engineering and Knowledge Engineering, 2001) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (Autonomous Agents and Multi-Agent Systems, 2001) — Enrico Denti, Andrea Omicini
Simulation-verification: biting at the state explosion problem (2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
On Agent-Based Software Engineering (2000) — Nicholas R. Jennings
Amorphous Computing (Communications of the ACM, 2000) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Amorphous Computing (Communications of the ACM, 2000) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
On the Expressiveness of Linda Coordination Primitives (2000) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (2000) — Mirko Viroli, Antonio Natali
Process Migration (ACM Computing Surveys, 2000) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (2000) — Michael A. Gibson, Jehoushua Bruck
MARS: A Programmable Coordination Architecture for Mobile Agents (IEEE Internet Computing, 2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Selecting a Project's Methodology (IEEE Software, 2000) — Alistair Cockburn
The Gaia Methodology for Agent-Oriented Analysis and Design (Autonomous Agents and Multi-Agent Systems, 2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
The Gaia Methodology for Agent-Oriented Analysis and Design (Autonomous Agents and Multi-Agent Systems, 2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
An Architecture for Tuple-based Coordination of Multi-Agent Systems (Software: Practice and Experience, 1999) — Enrico Denti, Andrea Omicini
Meta-Modelling Based Assembly Techniques for Situational Method Engineering (1999) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
A Brief History of Stigmergy (1999) — Guy Theraulaz, Eric Bonabeau
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (1999) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
Agents with Power (Communications of the ACM, 1999) — Rune Gustavsson
Coordination Models for Multi-Agent Systems (AgentLink News, 1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination Technologies for Internet Agents (Nordic Journal of Computing, 1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination for Internet Application Development (Autonomous Agents and Multi-Agent Systems, 1999) — Andrea Omicini, Franco Zambonelli
Editor's Introduction: Stigmergy (1999) — Eric Bonabeau
Modelling Social Action for AI Agents (1998) — Cristiano Castelfranchi
Agent Communication Languages: Rethinking the Principles (1998) — Munindar P. Singh
T Spaces (1998) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
On the Expressive Power of KLAIM-based Calculi (1998) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Towards Empirical Computer Science (1998) — Peter Wegner
Co-ordination of Mobile Information Agents in TuCSoN (Internet Research, 1998) — Andrea Omicini, Franco Zambonelli
Understanding Code Mobility (1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Collective dynamics of ‘small-world’ networks (Nature, 1998) — Duncan J. Watts, Steven H. Strogatz
Planning and acting in partially observable stochastic domains (1998) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (1998) — Enrico Denti
A process algebraic view of Linda coordination primitives (1998) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
KLAIM: A Kernel Language for Agent Interaction and Mobility (1998) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (1998) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
Decision procedures for BDI logics (Journal of Logic and Computation, 1998) — Anand S. Rao, Michael P. Georgeff
“Go to the Ant”: Engineering Principles from Natural Agent Systems (1997) — H. Van Dyke Parunak
Why Interaction Is More Powerful Than Algorithms (Communications of the ACM, 1997) — Peter Wegner
A Tutorial on (Co)Algebras and (Co)Induction (1997) — Bart Jacobs, Jan Rutten
Coordination Models and Languages as Software Integrators (ACM Computing Surveys, 1996) — Paolo Ciancarini
Method engineering: engineering of information systems development methods and tools (1996) — Sjaak Brinkkemper
Specification and Analysis of System Architecture Using Rapide (1995) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Reactive, Generative, and Stratified Models of Probabilistic Processes (1995) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
Computational Research on Interaction and Agency (1995) — Philip E. Agre
Intelligent Agents: Theory and Practice (The Knowledge Engineering Review, 1995) — Michael J. Wooldridge, Nicholas R. Jennings
A distributed semantics for EMPA based on stochastic contextual nets (1995) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
Distributed Programming with Logic Tuple Spaces (1994) — Paolo Ciancarini
Modularity in Logic Programming (1994) — Michele Bugliesi, Evelina Lamma, Paola Mello
Embedding as a Tool for Language Comparison (1994) — Frank S. de Boer, Catiuscia Palamidessi
The Interdisciplinary Study of Coordination (ACM Computing Surveys, 1994) — Thomas W. Malone, Kevin Crowston
Elements of Interaction: Turing Award Lecture (Communications of the ACM, 1993) — Robin Milner
Agent-Oriented Programming (1993) — Yoav Shoham
Science for the post-normal age (1993) — Silvio O. Funtowicz, Jerome R. Ravetz
An Overview of Manifold and its Implementation (1993) — Farhad Arbab, Ivan Herman, Per Spilling
The Chemical Abstract Machine (1992) — Gérard Berry
A calculus of mobile processes, II (1992) — Robin Milner, Joachim Parrow, David Walker
Coordination Languages and Their Significance (Communications of the ACM, 1992) — David Gelernter, Nicholas Carriero
Design principles for cognitive artifacts (1992) — Donald A. Norman
A calculus of mobile processes, I (1992) — Robin Milner, Joachim Parrow, David Walker
The Concurrent Language, Shared Prolog (ACM Transactions on Programming Languages and Systems, 1991) — Antonio Brogi, Paolo Ciancarini
Intelligence without Representation (1991) — Rodney A. Brooks
Quintus Prolog 3.0 (1991) — Ken Johnson
Concepts and Paradigms of Object-oriented Programming (1990) — Peter Wegner
The GAMMA Model and its Discipline of Programming (Science of Computer Programming, 1990) — Jean-Pierre Banâtre, Daniel Le Métayer
Linda in Context (Communications of the ACM, 1989) — Nicholas Carriero, David Gelernter
How to Write Parallel Programs: A Guide to the Perplexed (ACM Computing Surveys, 1989) — Nicholas Carriero, David Gelernter
Grafica in Turbo Pascal (1988) — Enrico Denti
Linear logic (1987) — Jean-Yves Girard
Linda and Friends (1986) — Sudhir Ahuja, Nicholas Carriero, David Gelernter
Meta-level Programming and Knowledge Representation (1985) — Kenneth A. Bowen
Generative Communication in Linda (ACM Transactions on Programming Languages and Systems, 1985) — David Gelernter
Algebra of communicating processes with abstraction (1985) — Jan A. Bergstra, Jan Willem Klop
Minds, Brains, and Programs (1980) — John R. Searle
The Paradigms of Programming (Communications of the ACM, 1979) — Robert W. Floyd
Time, Clocks, and the Ordering of Events in a Distributed System (Communications of the ACM, 1978) — Leslie Lamport
Petri Nets (ACM Computing Surveys, 1977) — James L. Peterson
Exact Stochastic Simulation of Coupled Chemical Reactions (1977) — Daniel T. Gillespie
Autopoiesis: The Organization of Living Systems, its Characterization and a Model (1974) — Francisco G. Varela, Humberto R. Maturana, R. Uribe
The Strength of Weak Ties (1973) — Mark S. Granovetter
On the Criteria to Be Used in Decomposing Systems into Modules (Communications of the ACM, 1972) — David Lorge Parnas
Intentional Systems (1971) — Daniel Dennett
The Architecture of Complexity (1962) — Herbert A. Simon
La reconstruction du nid et les coordinations interindividuelles chez Bellicositermes natalensis et Cubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeurs (1959) — Pierre-Paul Grassé
The Chemical Basis of Morphogenesis (1952) — Alan Mathison Turing
I.—Computing Machinery and Intelligence (1950) — Alan Mathison Turing
Principles of Self-Organizing Dynamic Systems (1947) — W. Ross Ashby
Systems of Logic Based on Ordinals (1939) — Alan Mathison Turing
On Computable Numbers, with an Application to the Entscheidungsproblem (1937) — Alan Mathison Turing

394 articoli in rivista • in cima • indice • in fondo

articoli in rivista / personali

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini