Per Sort

388 articles in journal

long bib

articles in journal

Delay Indices for Train Punctuality (2023) — Enrico Denti, Luca Burroni
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (2023) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Neural-logic multi-agent system for flood event detection (2023) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (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
Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (2023) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (2023) — Luciano Floridi
Efficient compliance checking of RDF data (2023) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (2023) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
HAMLET: a framework for Human-centered AutoML via Structured Argumentation (2023) — Matteo Francia, Joseph Giovanelli, Giuseppe Pisano
Burden of Persuasion: A Meta-argumentation Approach (2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
On Correctness and Completeness of an n Queens Program (2022) — Włodzimierz Drabent
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Pervasive and Connected Digital Twins - A Vision for Digital Health (2022) — Alessandro Ricci, Angelo Croatti, Sara Montagna
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
Fifty Years of Prolog and Beyond (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
Coordination of Autonomous Vehicles: Taxonomy and Survey (2022) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
Web of Digital Twins (2022) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
How to model contrary-to-duty with GCP-nets (2022) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
Arg2P: An argumentation framework for explainable intelligent systems (2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (2021) — Angelo Croatti, Marco Longoni, Sara Montagna
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (2021) — Andrea Agiollo, Andrea Omicini
Argumentation and Defeasible Reasoning in the Law (2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (2021) — Sara Montagna, Stefano Mariani, Emiliano Gamberini
Partitioned integration and coordination via the self-organising coordination regions pattern (2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing (2021) — Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
DETONAR: Detection of Routing Attacks in RPL-based IoT (2021) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
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 (2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Complementing Agents with Cognitive Services: A Case Study in Healthcare (2020) — Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, 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
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Twenty years of coordination technologies: COORDINATION contribution to the state of art (2020) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
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 Agents and Digital Twins in Healthcare (2020) — Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci
From Agents to Blockchain: Stairway to Integration (2020) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
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
Real-time tracking and documentation in trauma management (2020) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices (2020) — Angelo Croatti, Alessandro Ricci
Deliver intelligence to integrate care: the Connecare way (2019) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Evaluating Origin–Destination Matrices Obtained from CDR Data (2019) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
From distributed coordination to field calculus and aggregate computing (2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Coordination in Socio-technical Systems: Where are we now? Where do we go next? (2019) — Stefano Mariani
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
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
A development approach for collective opportunistic Edge-of-Things services (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Explanation in artificial intelligence: Insights from the social sciences (2019) — Tim Miller
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
ReSpecTX: Programming Interaction Made Easy (2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
The mythos of model interpretability (2018) — Zachary C. Lipton
Towards attack-resistant Aggregate Computing using trust mechanisms (2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
A Survey of Methods for Explaining Black Box Models (2018) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
Optimal single-path information propagation in gradient-based algorithms (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Spatial Tuples: Augmenting Reality with Tuples (2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
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 (2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, 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
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming as a Service (2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study (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 (2017) — Stefano Mariani, Andrea Omicini
An Argumentation-based Perspective over the Social IoT (2017) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Aggregate plans for multiagent systems (2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Self-Adaptation to Device Distribution in the Internet of Things (2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
Cross-organism learning method to discover new gene functionalities (2016) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Spatial awareness in pervasive ecosystems (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
A type-sound calculus of computational fields (2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
Building Smart Spaces on the Home Manager platform (2016) — Roberta Calegari, Enrico Denti
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
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
Programming with event loops and control loops – From actors to agents (2016) — Alessandro Ricci
Formal Foundations of Sensor Network Applications (2015) — Jacob Beal, Mirko Viroli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (2015) — Sara Montagna, Mirko Viroli, Andrea Roli
GOTA: GO term annotation of biomedical literature (2015) — Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
A coordination model of pervasive service ecosystems (2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli
Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
Deep learning (2015) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (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
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (2015) — Stefano Mariani, Andrea Omicini
GOTA: GO term annotation of biomedical literature (2015) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
Programming Multi-agent Systems (2015) — Mehdi Dastani
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (2014) — Enrico Denti
Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (2014) — Stefano Mariani, Andrea Omicini
Novel pervasive scenarios for home management: the Butlers architecture (2014) — Enrico Denti
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (2013) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
Semantic Tuple Centres (2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (2013) — Houguang Yue
Operational Semantics of Proto (2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (2013) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
tuProlog: Making Prolog Ubiquitous (2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (2013) — Andrea Omicini, Stefano Mariani
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (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
On competitive self-composition in pervasive services (2013) — Mirko Viroli
Multi-agent Oriented Programming with JaCaMo (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
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
Injecting Self-organisation into Pervasive Service Ecosystems (2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Nature-inspired Coordination Models: Current Status, Future Trends (2013) — Andrea Omicini
A Programming Paradigm based on Agent-Oriented Abstractions (2012) — Alessandro Ricci, Andrea Santi
Situation Identification Techniques in Pervasive Computing: A Review (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
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (2012) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
Self-adaptive software needs quantitative verification at runtime (2012) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Interdependent Artificial Institutions in Agent Environments (2012) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Programming Directives for Elastic Computing (2012) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (2012) — Schahram Dustdar, 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 (2012) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
The Social Compute Unit (2011) — Schahram Dustdar, Kamal Bhattacharya
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (2011) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (2011) — Franco Zambonelli, Mirko Viroli
The most ancient marketing (2011) — Jaron Lanier
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (2011) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Seeing is not enough (2011) — Tom Geller
A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Will software engineering ever be engineering? (2011) — Michael Davis
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (2011) — Peter McBurney, Simon Parsons, Mirko Viroli
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Preface (2011) — Carlos Canal, Mirko Viroli
Living in a Digital World (2011) — Samuel Greengard
The legacy of Steve Jobs (2011) — Michael A. Cusumano
A Tour of Reaction Systems (2011) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
Principles of Elastic Processes (2011) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
Improving brain-computer interfaces (2011) — Kirk L. Kroeker
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (2011) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
Anonymity is not privacy: technical perspective (2011) — Vitaly Shmatikov
The Rise of Molecular Machines (2011) — Kirk L. Kroeker
Dennis Ritchie, 1941-2011 (2011) — Paul Hyman
Verifying the Evolution of Probability Distributions Governed by a DTMC (2011) — YoungMin Kwon, Gul Agha
Abstraction in hardware system design (2011) — Rishiyur S. Nikhil
Computational journalism (2011) — Sarah Cohen, James T. Hamilton, Fred Turner
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
Sustainable biomass power plant location in the Italian Emilia-Romagna region (2011) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
The software industry is the problem (2011) — Poul-Henning Kamp
Towards a logic framework for Web programming (2011) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Debt Deleveraging and Business Cycles. An Agent-Based Perspective (2011) — Marco Raberto, Andrea Teglio, Silvano Cincotti
Java Security Architecture Revisited (2011) — Li Gong
Adaptive organizational changes in agent-oriented methodologies (2011) — Luca Cernuzzi, Franco Zambonelli
Coordination Models and Languages: From Parallel Computing To Self-Organisation (2011) — Andrea Omicini, Mirko Viroli
Implementing reactive BDI agents with user-given constraints and objectives (2010) — Aniruddha Dasgupta, Aditya K. Ghose
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (2010) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
Agent-based Conference Management: A Case Study in SODA (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (2010) — Alessandro Ricci, Enrico Denti, Michele Piunti
Tutorial on Agent-based Modelling and Simulation (2010) — Charles M. Macal, Michael J. North
Logic-based decision support for strategic environmental assessment (2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Argumentation and Artifacts for Negotiation Support (2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (2010) — Sagar Indurkhya, Jacob Beal
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (2010) — Silvano Cincotti, Marco Raberto, Andrea Teglio
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (2010) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
Towards Model-driven Communications (2010) — Antonio Natali, Ambra Molesini
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
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (2010) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (2010) — Clemens Holzmann, Alois Ferscha
A Biochemical Approach to Adaptive Service Ecosystems (2010) — Mirko Viroli, Franco Zambonelli
Software Engineering: An Idea Whose Time Has Come and Gone? (2009) — Tom De Marco
On the Collective Sort Problem for Distributed Tuple Spaces (2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Mathematics for Economics: A Statistical Mechanics Perspective (2009) — Pierluigi Contucci, Francesca Romiti
Environment in Agent-Oriented Software Engineering Methodologies (2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
Making Sense of Revision-control Systems (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
Programming Pervasive and Mobile Computing Applications: The TOTA Approach (2009) — Marco Mamei, Franco Zambonelli
Programming with models: modularity and abstraction provide powerful capabilities for systems biology (2008) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
Phase Transitions in Social Sciences: Two-populations Mean Field Theory (2008) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
PASSIM: a simulation-based process for the development of multi-agent systems (2008) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Econophysics and the Current Economic Turmoil (2008) — H. Eugene Stanley
On the reification of Java wildcards (2008) — Maurizio Cimadamore, Mirko Viroli
Lightweight Family Polymorphism (2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
A&A for Modelling and Engineering Simulations in Systems Biology (2008) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Artifacts in the A&A Meta-Model for Multi-Agent Systems (2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Process Algebraic View of Shared Dataspace Coordination (2008) — Nadia Busi, Gianluigi Zavattaro
Automating Workflow using Dialectical Argumentation (2008) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Writing a thesis with LaTeX (2008) — Lapo Mori
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (2008) — Pierluigi Contucci, Cristian Giardina
An Adaptation Logic Framework for Java-based Component Systems (2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Smart Environments as Agent Workspaces (2008) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Towards a Tuplespace-based Middleware for the Semantic Web (2008) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (2008) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (2008) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
Engineering a BPEL Orchestration Engine as a Multi-agent System (2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
How to infer gene networks from expression proﬁles (2007) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
Agent-based modeling of multicell morphogenic processes during development (2007) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Preface (2007) — Carlos Canal, Mirko Viroli
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
A core calculus for correlation in orchestration languages (2007) — Mirko Viroli
Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli
Method fragments for agent design methodologies: from standardisation to research (2007) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Environment as a First Class Abstraction in Multi-Agent Systems (2007) — Danny Weyns, Andrea Omicini, James J. Odell
tuProlog 2.0: One Step Beyond (2007) — Giulio Piancastelli, Andrea Omicini
Pellet: A practical OWL-DL reasoner (2007) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
A Survey on Context-Aware Systems (2007) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
Situated Cellular Agents Approach to Crowd Modeling and Simulation (2007) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Guest Editorial (2007) — Davide Ancona, Mirko Viroli
Timed Environment for Web Agents (2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Discrete Event Modeling and Simulation in Systems Biology (2007) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (2007) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (2007) — Pierluigi Contucci, Stefano Ghirlanda
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (2007) — Tim O'Reilly
Pervasive pheromone-based interaction with RFID tags (2007) — Mamei Marco, Franco Zambonelli
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (2007) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Executable cell biology (2007) — Jasmin Fisher, Thomas A. Henzinger
The LighTS Tuple Space Framework and its Customization for Context-aware Applications (2007) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
Integrating Software Models and Platform Models for Performance Analysis (2007) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Model Checking Multi-agent systems with Logic Based Petri Nets (2007) — Tristan M. Behrens, Jurgen Dix
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (2007) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Infrastructures for the Environment of Multiagent Systems (2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Case Studies for Self-organization in Computer Science (2006) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Verifying Multi-agent Programs by Model Checking (2006) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Logics for Artificial Intelligence (2006) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
On the Expressive Power of KLAIM-based Calculi (2006) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (2006) — Atsushi Igarashi, Mirko Viroli
Lime: A coordination model and middleware supporting mobility of hosts and agents (2006) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Operating Instructions for Intelligent Agent Coordination (2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (2006) — Christine Julien, Gruia-Catalin Roman
Coordination as a Service (2006) — Mirko Viroli, Andrea Omicini
Tools for kinetic modeling of biochemical networks (2006) — Rui Alves, Fernando Antunes, Armindo Salvador
Agent Coordination Contexts in a MAS Coordination Infrastructure (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Toward Nature-Inspired Computing (2006) — Jiming Liu, Kwok Ching Tsui
On Coordination and its Significance to Distributed and Multi-Agent Systems (2006) — Sascha Ossowski, Ronaldo Menezes
Multiagent Systems (2006) — Andrea Omicini, Agostino Poggi
A Generic Large Scale Simulator for Ubiquitous Computing (2006) — M. Martin, P. Nurmi
Service-Oriented Design and Development Methodology (2006) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Multi-paradigm Java-Prolog Integration in tuProlog (2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
On Access Restriction with Java Wildcards (2005) — Mirko Viroli, Giovanni Rimassa
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (2005) — Eugene Eberbach
Environments in Multiagent Systems (2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Quantitative Information in the Tuple Space Coordination Model (2005) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (2005) — Alessandro Ricci, Mirko Viroli
Process Models for Agent-based Development (2005) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Self-Organization in Multi-Agent Systems (2005) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
From the Editor in Chief: Nature-Inspired Computing (2004) — Nigel Shadbolt
Challenges and Research Directions in Agent-Oriented Software Engineering (2004) — Franco Zambonelli, Andrea Omicini
Open Directions in Agent-Oriented Software Engineering (2004) — Franco Zambonelli, Andrea Omicini
Reo: A Channel-based Coordination Model for Component Composition (2004) — Farhad Arbab
Coordination and Collaboration Activities in Cooperative Information Systems (2004) — Andrea Omicini, Sascha Ossowski
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
Adaptive Agents and Multiagent Systems (2004) — Zahia Guessoum
Composing Adaptive Software (2004) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Guest Editorial (2004) — Davide Ancona, Mirko Viroli
Relevance of Winning Coalitions in Indirect Control of Corporations (2004) — Enrico Denti, Nando Prati
Multi-agent Infrastructures for Objective and Subjective Coordination (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Developing multiagent systems: The Gaia methodology (2003) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
From SHIQ and RDF to OWL: The Making of a Web Ontology Language (2003) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (2003) — Franco Zambonelli, H. Van Dyke Parunak
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (2003) — Mirko Viroli
How has the 9/11 terrorist attack influenced decision making? (2003) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
Reasoning about Organisation: Shaping the Infrastructure (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 (2003) — Peter Wegner, Dina Goldin
The Vision of Autonomic Computing (2003) — Jeffrey O. Kephart, David M. Chess
Method engineering for OO systems development (2003) — Brian Henderson-Sellers
An Observation Approach to Semantics of Agents Communication Languages (2002) — Mirko Viroli, Andrea Omicini
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (2002) — Brian Henderson-Sellers
The Complementary Nature of Coordination Dynamics: Self-organization and Agency (2002) — J.A. Scott Kelso
Principled Design of the Modern Web Architecture (2002) — Roy Thomas Fielding, Richard N. Taylor
Virtual Enterprises and Workflow Management as Agent Coordination Issues (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Coordination Tools for MAS Development and Deployment (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Coordination Knowledge Engineering (2002) — Sascha Ossowski, Andrea Omicini
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (2002) — Hidde De Jong
A Survey of Coordination Middleware for XML-centric Applications (2002) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
Computational challenges in cell simulation: a software engineering approach (2002) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
Bisimulation for Labelled Markov Processes (2002) — José Desharnais, Abbas Edalat, Prakash Panangaden
Objects and Agents Compared (2002) — James J. Odell
Design Principles of a Reactive Behavioral System for the Intelligent Room (2002) — Ajay Kulkarni
Modelling Agents as Observable Sources (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Safe Tuplespace-based Coordination in Multiagent Systems (2001) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (2001) — Enrico Denti, Andrea Omicini
XML Dataspaces for the Coordination of Internet Agents (2001) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
On the Unusual Effectiveness of Logic in Computer Science (2001) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
Self Organization and Coordination (2001) — Scott E. Page
Simulation-verification: biting at the state explosion problem (2001) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
Enlightened Agents in TuCSoN (2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
An Agent-based Approach for Building Complex Software Systems (2001) — Nicholas R. Jennings
Multi-Agent Systems as Composition of Observable Systems (2001) — Mirko Viroli, Andrea Omicini
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (2001) — Ian Foster, Carl Kesselman, Steven Tuecke
On the Notion of Agent Coordination Context: Preliminary Notes (2001) — Andrea Omicini
An Algorithm for Winning Coalitions in Indirect Control of Corporations (2001) — Nando Prati, Enrico Denti
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (2001) — Ganesh D. Bhatt
From Tuple Spaces to Tuple Centres (2001) — Andrea Omicini, Enrico Denti
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (2001) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
A Coordination Language for Collective Agent-based Systems: GroupLog (2001) — Fernanda Barbosa, José C. Cunha
Introduction to This Special Issue on Context-Aware Computing (2001) — Thomas Moran, Paul Dourish
Control-driven Constraint Propagation (2001) — Eric Monfroy
On the Expressiveness of Linda Coordination Primitives (2000) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
The Gaia Methodology for Agent-Oriented Analysis and Design (2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Selecting a Project's Methodology (2000) — Alistair Cockburn
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (2000) — Mirko Viroli, Antonio Natali
Amorphous Computing (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 Agent-Based Software Engineering (2000) — Nicholas R. Jennings
Amorphous Computing (2000) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Process Migration (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 (2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
The Gaia Methodology for Agent-Oriented Analysis and Design (2000) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
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
An Architecture for Tuple-based Coordination of Multi-Agent Systems (1999) — Enrico Denti, Andrea Omicini
Coordination Technologies for Internet Agents (1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination Models for Multi-Agent Systems (1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination for Internet Application Development (1999) — Andrea Omicini, Franco Zambonelli
Meta-Modelling Based Assembly Techniques for Situational Method Engineering (1999) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Agents with Power (1999) — Rune Gustavsson
Editor's Introduction: Stigmergy (1999) — Eric Bonabeau
A Brief History of Stigmergy (1999) — Guy Theraulaz, Eric Bonabeau
Co-ordination of Mobile Information Agents in TuCSoN (1998) — Andrea Omicini, Franco Zambonelli
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
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (1998) — Enrico Denti
Understanding Code Mobility (1998) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Modelling Social Action for AI Agents (1998) — Cristiano Castelfranchi
Decision procedures for BDI logics (1998) — Anand S. Rao, Michael P. Georgeff
Collective dynamics of ‘small-world’ networks (1998) — Duncan J. Watts, Steven H. Strogatz
T Spaces (1998) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
Agent Communication Languages: Rethinking the Principles (1998) — Munindar P. Singh
Planning and acting in partially observable stochastic domains (1998) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
On the Expressive Power of KLAIM-based Calculi (1998) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Towards Empirical Computer Science (1998) — Peter Wegner
Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (1998) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
Why Interaction Is More Powerful Than Algorithms (1997) — Peter Wegner
“Go to the Ant”: Engineering Principles from Natural Agent Systems (1997) — H. Van Dyke Parunak
A Tutorial on (Co)Algebras and (Co)Induction (1997) — Bart Jacobs, Jan Rutten
Method engineering: engineering of information systems development methods and tools (1996) — Sjaak Brinkkemper
Coordination Models and Languages as Software Integrators (1996) — Paolo Ciancarini
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
A distributed semantics for EMPA based on stochastic contextual nets (1995) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
Intelligent Agents: Theory and Practice (1995) — Michael J. Wooldridge, Nicholas R. Jennings
Computational Research on Interaction and Agency (1995) — Philip E. Agre
Distributed Programming with Logic Tuple Spaces (1994) — Paolo Ciancarini
The Interdisciplinary Study of Coordination (1994) — Thomas W. Malone, Kevin Crowston
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
Science for the post-normal age (1993) — Silvio O. Funtowicz, Jerome R. Ravetz
Agent-Oriented Programming (1993) — Yoav Shoham
Elements of Interaction: Turing Award Lecture (1993) — Robin Milner
An Overview of Manifold and its Implementation (1993) — Farhad Arbab, Ivan Herman, Per Spilling
Design principles for cognitive artifacts (1992) — Donald A. Norman
A calculus of mobile processes, I (1992) — Robin Milner, Joachim Parrow, David Walker
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 (1992) — David Gelernter, Nicholas Carriero
Quintus Prolog 3.0 (1991) — Ken Johnson
The Concurrent Language, Shared Prolog (1991) — Antonio Brogi, Paolo Ciancarini
Intelligence without Representation (1991) — Rodney A. Brooks
The GAMMA Model and its Discipline of Programming (1990) — Jean-Pierre Banâtre, Daniel Le Métayer
Concepts and Paradigms of Object-oriented Programming (1990) — Peter Wegner
Linda in Context (1989) — Nicholas Carriero, David Gelernter
How to Write Parallel Programs: A Guide to the Perplexed (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
Algebra of communicating processes with abstraction (1985) — Jan A. Bergstra, Jan Willem Klop
Meta-level Programming and Knowledge Representation (1985) — Kenneth A. Bowen
Generative Communication in Linda (1985) — David Gelernter
Minds, Brains, and Programs (1980) — John R. Searle
The Paradigms of Programming (1979) — Robert W. Floyd
Time, Clocks, and the Ordering of Events in a Distributed System (1978) — Leslie Lamport
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 (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

388 articles in journal • top • index • bottom