All Publications

AGoT: A Reasoning Framework for LLM Agents (AIxIA 2026) — Mattia Matteini, Marco Raggini, Giovanni Ciatto, Andrea Omicini • 25 Years of Declarative Agent Technologies in Italy (The Agents Journey) — Davide Ancona, Daniela Briola, Angelo Ferrando, Maurizio Martelli, Viviana Mascardi • Integrating JaCa-Unity in VEsNA for Behavioural Realistic VR Simulations (EUMAS 2025) — Daniela Briola, Giuseppe Vizzari, Giuseppe Mirra, Andrea Gatti, Viviana Mascardi • Oops, I Heard That! Situated Communication with Locality-Aware KQML (EMAS 2025 @ AAMAS 2025) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi • Le disavventure della verità (book) — Umberto Galimberti • Unfair Inequality in Education: A Benchmark for AI-Fairness Research (Scientific Data) — Joseph Giovanelli, Matteo Magnini, Giovanni Ciatto, Angel S. Marrero, Andrea Borghesi, Gustavo A. Marrero, Roberta Calegari • NL2UNIFOL: From Natural Language Sentences to Uniform First-Order Logic Formulae (SKILLED-LLMs 2026 @ FLoC 2026) — Matteo Magnini, Davide Liga, Luca Pasetto • Proceedings of the 2026 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026) — Viviana Mascardi, John Thangarajah, Chris Amato, Louise A. Dennis • Performant and Small: Can We Have Both? SLMs on Mobile Devices for Healthcare Chatbots (TELMED 2026 @ PerCom 2026) — Aqila Farahmand, Sara Montagna, Alessandro Bogliolo, Stefano Ferretti, Matteo Magnini • Testing BDI-based multi-agent systems using discrete event simulation (Autonomous Agents and Multi-Agent Systems) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini • AI Infrastructure: From Gigastructure to Edge Intelligence with Multi-Agent Systems (The Agents Journey) — Andrea Omicini, Alessandro Ricci, Viviana Mascardi • Composite2Change (C2C) on Google Earth Engine: Time-series change detection and metrics characterizing disturbance and recovery (article in journal) — Txomin Hermosilla, Michael A. Wulder, Joanne C. White, Nicholas C. Coops, Daniel Coelho, Giovanni Ciatto, Noel Gorelick, Emma Bambagioni, Saverio Francini • Self-organisation with Aggregate Computing: A Reflection Under the Lenses of Multi-agent Systems Engineering (The Agents Journey) — Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli • MEDiTATe: a First Step of a Journey from BDI to Neuroscience, and Back (paper in proceedings) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi • The Sweeter Lesson (Communications of the ACM) — Moshe Y. Vardi • Coordination of Software Agents: Models and Languages (The Agents Journey) — Giacomo Cabri, Letizia Leonardi, Stefano Mariani, Franco Zambonelli • AI is incapable of telling the truth (other publication sort) — Bun-Sun Kim, Hongjoon Jo • Multi-Agent Systems (EUMAS 2025) — Matteo Baldoni, Franziska Klügl, Andrei Olaru, Alexandru Sorici, Adina Magda Florea • Agency and Generation: Friends or Enemies? (EUMAS 2025) — Angelo Ferrando, Daniela Briola, Rem W. Collier, Viviana Mascardi • Simulation and Agent-Based Simulation at WOA: 25 of Years of Simulation-Related Contributions, and an Outlook of What Awaits Us (The Agents Journey) — Giuseppe Vizzari, Daniela Briola • Evolution of Programming Languages in Agent Systems and the Role of Computational Logic (The Agents Journey) — Alina Vozna, Andrea Monaldini, Stefania Costantini, Giovanni De Gasperis, Pierangelo dell’Acqua, Andrea Formisano, Andrea Rafanelli • Advances in Databases and Information Systems (ADBIS 2026) — Genoveva Vargas-Solar, Kostas Stefanidis, Themis Palpanas, Patrick Marcel, Mirian Halfeld-Ferrari • Intelligent Agents from Symbolic to Neurosymbolic Systems: The Quest for Integration (The Agents Journey) — Andrea Agiollo, Roberta Calegari, Giovanni Ciatto, Matteo Magnini, Andrea Omicini, Federico Sabbatini • Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and Its Variants In Constraint Logic Programming (Theory and Practice of Logic Programming) — Alessandro Bertagnon, Marco Gavanelli • Integrating Virtual Reality, Chatbots, and BDI Agents: VEsNA Goes Fast! (book chapter) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi • Rethinking Software Agents as Building Blocks of Software Systems (The Agents Journey) — Federico Bergenti, Stefania Monica • The Agents Journey (edited volume) — Viviana Mascardi, Andrea Omicini • Agentic Architecture for Data-Centric AutoML (ADBIS 2026) — Mattia Matteini, Matteo Magnini, Matteo Francia, Giovanni Ciatto, Andrea Omicini • Looking for the Best Partners (The Agents Journey) — Domenico Rosaci, Giuseppe M. L. Sarnè • An Ecosystem to Develop Multi-Agent Systems in Real-World IoT Applications (Software: Practice and Experience) — Davide Carnemolla, Fabrizio Messina, Federico Fausto Santoro, Corrado Santoro • Trust Evolution in Agent and Multi-agent Systems: A Computational Modeling Perspective (The Agents Journey) — Alessandro Sapienza, Filippo Cantucci, Cristiano Castelfranchi, Rino Falcone • AIxIA 2026 – Advances in Artificial Intelligence (AIxIA 2026) — Stefano Bistarelli, Marco Maratea, Francesco Santini • Agent-Based Computing for Science and Engineering: Back to the Future and Beyond... (The Agents Journey) — Alfredo Garro • Preface (The Agents Journey) — Viviana Mascardi, Andrea Omicini • Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing (paper in proceedings) — Angela Cortecchia, Davide Domini, Giovanni Ciatto, Roberto Casadei, Danilo Pianini, Mirko Viroli • Multi-Agent Systems (EUMAS 2025) — Matteo Baldoni, Franziska Klügl, Andrei Olaru, Alexandru Sorici, Adina Magda Florea • From Objects to Agents, and Back to Smart Objects: Software Agents for Intelligent Internet of Things (IoT) Systems (The Agents Journey) — Daniel-Costel Bouleanu, Marco Loaiza, Claudio Savaglio, Costin Bădică, Raffaele Gravina, Giancarlo Fortino • Interaction Protocols: From AUML to Social Commitments, from Artifacts to BSPL (The Agents Journey) — Matteo Baldoni, Cristina Baroglio, Roberto Micalizio • FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures (Complex & Intelligent Systems) — Angela Cortecchia, Giovanni Ciatto, Roberto Casadei, Danilo Pianini • Designing Agent-Oriented Systems (The Agents Journey) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita • Agents and Multi-Agent Systems Development (edited volume) — Rem Collier, Viviana Mascardi, Alessandro Ricci • Engineering Multi-agent Systems and Generative AI: Report from the Agent Toolkits 2025 Community Session (EUMAS 2025) — Andrei Ciortea, Katharine Beaumont, Gianluca Aguzzi, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Giovanni Ciatto, Rem W. Collier, Mehdi Dastani, Angelo Ferrando, Andrea Gatti, Önder Gürcan, Timotheus Kampik, Jérémy Lemée, Somsakun Maneerat, Elisa Marengo, Viviana Mascardi, Simon Mayer, Roberto Micalizio, Guillaume Muller, Vivek Nallur, Richard Niamke, Andrei Olaru, Heloise Pajot, Chloé Petridis, I. S. W. B. Prasetya, Alessandro Ricci, Alexandru Sorici, Stefano Tedeschi, Michael Winikoff • Large language models as oracles for instantiating ontologies with domain-specific knowledge (Knowledge-Based Systems) — Giovanni Ciatto, Andrea Agiollo, Matteo Magnini, Andrea Omicini • Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems (EXTRAAMAS 2025 @ AAMAS 2025) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Simona Tiribelli, Kary Främling • Multi-Agent Systems (EUMAS 2024) — Rem Collier, Alessandro Ricci, Vivek Nallur, Samuele Burattini, Andrea Omicini • Spotting False News and Doubting True News: A Systematic Review and Meta-Analysis of News Judgements (Nature Human Behaviour) — Jan Pfänder, Sacha Altay • From Conflict to Concealment: The Role of Generative AI in Creating a Digital Utopia (WOA 2025) — Sara Hejazi, Daniele Franch, Pierluigi Roberti, Enrico Blanzieri • AI-fairness: the FAIRBRIDGE approach to practically bridge the gap between socio-legal and technical perspectives (HICSS-58) — Giovanni Ciatto, Mattia Matteini, Laura Sartori, Maria Rebrean, Catelijne Muller, Andrea Borghesi, Roberta Calegari • Encyclopedia of Bioinformatics and Computational Biology, 2nd Edition (edited volume) — Shoba Ranganathan, Mario Cannataro, Mohammad Asif Khan • Exploiting GenAI for Plan Generation in BDI Agents (ECAI-2025) — Giovanni Ciatto, Gianluca Aguzzi, Riccardo Battistini, Martina Baiardi, Samuele Burattini, Alessandro Ricci • ChatBDI: Think BDI, Talk LLM (AAMAS 2025) — Andrea Gatti, Viviana Mascardi, Angelo Ferrando • Addressing Bias and Data Scarcity in AI-Based Skin Disease Diagnosis with Non-Dermoscopic Images (AEQUITAS 2024) — Chiara Bellatreccia, Daniele Zama, Arianna Dondi, Luca Pierantoni, Andreozzi Laura, Iria Neri, Marcello Lanari, Andrea Borghesi, Roberta Calegari • WOA 2025 – 26th Workshop “From Objects to Agents” (WOA 2025) — Giovanni Ciatto, Enrico Blanzieri, Viviana Mascardi • Proceedings of the 2025 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025) — Sanmay Das, Ann Nowé, Yevgeniy Vorobeychik • Intelligent Agents and Environment (encyclopedia entry) — Alfredo Garro, Alberto Falcone, Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari • 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) (edited volume) — Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani • LLMs as Agents, LLMs at the Service of Agents, or Agents at the Service of LLMs? (EUMAS 2025) — Gianluca Aguzzi, Giovanni Ciatto, Angelo Ferrando, Andrea Gatti, Viviana Mascardi • Actively Learning EL Terminologies from Large Language Models (ECAI-2025) — Matteo Magnini, Riccardo Squarcialupi, Martin T. Sterri, Ana Ozaki • Let Me Talk to You! Natural Language Interaction Between Humans and BDI Agents via ChatBDI (ECAI-2025) — Andrea Gatti, Viviana Mascardi, Angelo Ferrando • Enhancing LoRaWAN Simulator for Real-World Integration and Research Experimentation (PICom 2025) — Miriana Russo, Corrado Santoro, Federico Fausto Santoro, Alessio Tudisco • Privacy-preserving LLM-based chatbots for hypertensive patient self-management (Smart Health) — Sara Montagna, Stefano Ferretti, Lorenz Cuno Klopfenstein, Michelangelo Ungolo, Martino Francesco Pengo, Gianluca Aguzzi, Matteo Magnini • Hierarchical Knowledge Extraction from Opaque Machine Learning Predictors (AIxIA 2024) — Federico Sabbatini, Roberta Calegari • A Domain-Specific Language for NeSy Focussing on Symbolic Knowledge Injection (ANSyA 2025 @ ECAI-2025) — Mattia Matteini, Giovanni Ciatto, Matteo Magnini, Emre Kuru, Reyhan Aydoğan, Andrea Omicini • Preface (28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)) — Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani • Neuro-Symbolic AI for Supporting Chronic Disease Diagnosis and Monitoring (TELMED 2025 @ PerCom 2025) — Matteo Magnini, Giovanni Ciatto, Ahmet Emre Kuru, Christel Sirocchi, Sara Montagna • ICE: An Evaluation Metric to Assess Symbolic Knowledge Quality (AIxIA 2024) — Federico Sabbatini, Roberta Calegari • Truth Is the Most Dangerous Fantasy Our Species Ever Invented (other publication sort) — Manuel Delaflor • BDI-Driven Indoor Positioning and Assistance via Hermes Mesh Networks and LLM Interfaces (PICom 2025) — Mario Bonanno, Miriana Russo, Corrado Santoro, Federico Fausto Santoro, Alessio Tudisco • Intelligent Agents: Multi-Agent Systems (encyclopedia entry) — Alfredo Garro, Alberto Falcone, Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari • Preface (Multi-Agent Systems) — Rem Collier, Alessandro Ricci, Vivek Nallur, Samuele Burattini, Andrea Omicini • Preface (Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Kary Främling • Proceedings of the 2nd Workshop on Fairness and Bias in AI co-located with 27th European Conference on Artificial Intelligence (ECAI 2024) (edited volume) — Roberta Calegari, Virginia Dignum, Barry O'Sullivan • Metacognition and Confidence: A Review and Synthesis (Annual Review of Psychology) — Stephen M. Fleming • Integrating Agents and Virtual & Augmented Reality: a Preliminary Analysis of Challenges and Directions (XRIA 2024 @ ECAI-2024) — Andrea Pagliericci, Daniela Briola, Viviana Mascardi • Fairness and Bias in AI (Journal of Artificial Intelligence Research) — Roberta Calegari, Andrea Aler Tubella, Virginia Dignum, Michela Milano • Perspectives and Challenges of Telemedicine and Artificial Intelligence in Pediatric Dermatology (Children) — Daniele Zama, Andrea Borghesi, Alice Ranieri, Elisa Manieri, Luca Pierantoni, Laura Andreozzi, Arianna Dondi, Iria Neri, Marcello Lanari, Roberta Calegari • A Comprehensive System for Indoor Assistance and User Interaction (PICom 2024) — Francesco Cauteruccio, Miriana Russo, Corrado Santoro, Federico Fausto Santoro, Alessio Tudisco • Bridging machine learning and diagnostics of the ESA LISA space mission with equation discovery via explainable artificial intelligence (Advances in Space Research) — Federico Sabbatini, Catia Grimani, Roberta Calegari • Generation of Clinical Skin Images with Pathology with Scarce Data (AAAI-24) — Andrea Borghesi, Roberta Calegari • Blending BDI agents with object-oriented and functional programming with JaKtA (SN Computer Science) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini • Untying black boxes with clustering-based symbolic knowledge extraction (Intelligenza Artificiale) — Federico Sabbatini, Roberta Calegari • Concurrency Model of BDI Programming Frameworks: Why Should We Control It? (AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini • Ensuring Fairness Stability for Disentangling Social Inequality in Access to Education: the FAiRDAS General Method (IJCAI 2024) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano • Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024) — Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum • Actively Learning Ontologies from LLMs: First Results (Extended Abstract) (DL 2024) — Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi • LLM-based Solutions for Healthcare Chatbots: a Comparative Analysis (TELMED 2024) — Sara Montagna, Gianluca Aguzzi, Stefano Ferretti, Martino Francesco Pengo, Lorenz Cuno Klopfenstein, Michelangelo Ungolo, Matteo Magnini • Unmasking the Shadows: Leveraging Symbolic Knowledge Extraction to Discover Biases and Unfairness in Opaque Predictive Models (AEQUITAS 2024) — Federico Sabbatini, Roberta Calegari • Enforcing Fairness via Constraint Injection with FaUCI (AEQUITAS 2024) — Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini • On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (AI and Ethics) — Federico Sabbatini, Roberta Calegari • Explainable, Transparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2024 @ AAMAS 2024) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling • Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (ACM Computing Surveys) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini • From Large Language Models to Small Logic Programs: Building Global Explanations from Disagreeing Local Post-hoc Explainers (Autonomous Agents and Multi-Agent Systems) — Andrea Agiollo, Luciano Cavalcante Siebert, Pradeep Kumar Murukannaiah, Andrea Omicini • AIxIA 2024 – Advances in Artificial Intelligence (AIxIA 2024) — Alessandro Artale, Gabriella Cortellessa, Marco Montali • Preface (Explainable, Transparent Autonomous Agents and Multi-Agent Systems) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Kary Främling • Special Issue on Trustworthy AI (ACM Computing Surveys) — Roberta Calegari, Fosca Giannotti, Francesca Pratesi, Michela Milano • Long-Term Fairness Strategies in Ranking with Continuous Sensitive Attributes (AEQUITAS 2024) — Luca Giuliani, Eleonora Misino, Roberta Calegari, Michele Lombardi • Symbolic Knowledge Comparison: Metrics and Methodologies for Multi-Agent Systems (WOA 2024) — Federico Sabbatini, Christel Sirocchi, Roberta Calegari • ToolLLM: Facilitating Large Language Models to Master 16000+ Real-world APIs (paper in proceedings) — Yujia Qin, Shihao Liang, Yining Ye, Kunlun Zhu, Lan Yan, Yaxi Lu, Yankai Lin, Xin Cong, Xiangru Tang, Bill Qian, Sihan Zhao, Lauren Hong, Runchu Tian, Ruobing Xie, Jie Zhou, Mark Gerstein, Dahai Li, Zhiyuan Liu, Maosong Sun • Anonymous Federated Learning via Named-Data Networking (Future Generation Computer Systems) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Nicolò Dal Fabbro, Riccardo Lazzeretti • AI-fairness and equality of opportunity: a case study on educational achievement (AEQUITAS 2024) — Ángel S. Marrero, Gustavo A. Marrero, Carlos Bethencourt, Liam James, Roberta Calegari • Hermes: a Wireless Communication Interface for Edge Computing (WOA 2024) — Davide Carnemolla, Fabrizio Messina, Corrado Santoro, Federico Fausto Santoro • EneA-FL: Energy-aware Orchestration for Serverless Federated Learning (Future Generation Computer Systems) — Andrea Agiollo, Paolo Bellavista, Matteo Mendula, Andrea Omicini • The Cognitive Hourglass: Agent Abstractions in the Large Models Era (AAMAS 2024) — Alessandro Ricci, Stefano Mariani, Franco Zambonelli, Samuele Burattini, Cristiano Castelfranchi • Rule enforcement in LLMs: a parameter efficient fine-tuning approach with self-generated training dataset (AIxHMI 2024 @ AIxIA 2024) — Daniele Franch, Pierluigi Roberti, Enrico Blanzieri • On the External Concurrency of Current BDI Frameworks for MAS (EMAS 2024 @ AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini • An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (WOA 2024) — Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea Omicini • Coordination and Trust in MAS Towards Intelligent Socio-technical Systems (book chapter) — Andrea Omicini, Alessandro Ricci • Geometric and Spatial Reasoning in BDI Agents: A Survey (paper in proceedings) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi • Approximating Memorization Using Loss Surface Geometry for Dataset Pruning and Summarization (KDD 2024) — Andrea Agiollo, Young In Kim, Rajiv Khanna • Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (Journal of Logic and Computation) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini • GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (EuroS&P 2023) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini • Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (paper in proceedings) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini • AIxIA 2022 Discussion Papers (AIxIA 2022) — Agostino Dovier, Angelo Montanari, Andrea Orlandini • ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (KoDis 2023 @ KR 2023) — Federico Sabbatini, Roberta Calegari • Burden of Persuasion: A Meta-argumentation Approach (Journal of Applied Logics) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor • (Re)Integration of Logical English and s(CASP) (paper in proceedings) — Galileo Sartor, Jacinto Dàvila, Alessia Fidelangeli, Giuseppe Pisano • Preface - Proceedings 39th International Conference on Logic Programming (editorial/introduction/preface) — Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni • Measuring Trustworthiness in Neuro-Symbolic Integration (FedCSIS 2023) — Andrea Agiollo, Andrea Omicini • Preface: Fairness and Bias in AI: Insights from AEQUITAS 2023 (editorial/introduction/preface) — Roberta Calegari, Andrea Aler Tubella, Gabriel Gonzalez, Virginia Dignum, Michela Milano • Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (Intelligenza Artificiale) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini • Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (EXTRAAMAS 2023 @ AAMAS 2023) — Federico Sabbatini, Roberta Calegari • Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (AIxIA 2022) — Andrea Rafanelli, Stefania Costantini, Andrea Omicini • Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023) — Noa Agmon, Bo An, Alessandro Ricci, William Yeoh • Toolformer: Language Models Can Teach Themselves to Use Tools (paper in proceedings) — Timo Schick, Jane Dwivedi-Yu, Roberto Dessì, Roberta Raileanu, Maria Lomeli, Eric Hambro, Luke Zettlemoyer, Mike Lewis • A General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023 @ AAMAS 2023) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini • Knowledge injection of Datalog rules via Neural Network Structuring with KINS (Journal of Logic and Computation) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini • Efficient compliance checking of RDF data (Journal of Logic and Computation) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa • Delay Indices for Train Punctuality (Information) — Enrico Denti, Luca Burroni • Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini • Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques (ECAI-2023) — Federico Sabbatini, Roberta Calegari • Special Issue “Advances in Multi-Agent Systems” (Applied Sciences) — Andrea Omicini, Stefano Mariani • Preface (Journal of Logic and Computation) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini • Neural-logic multi-agent system for flood event detection (Intelligenza Artificiale) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis • HAMLET: a framework for Human-centered AutoML via Structured Argumentation (Future Generation Computer Systems) — Matteo Francia, Joseph Giovanelli, Giuseppe Pisano • Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking (paper in proceedings) — Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub • Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (paper in proceedings) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini • Preface (Explainable and Transparent AI and Multi-Agent Systems) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Kary Främling • VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation (Robotics) — Andrea Gatti, Viviana Mascardi • Peer-Reviewed Federated Learning (WOA 2023) — Mattia Passeri, Andrea Agiollo, Andrea Omicini • Integrating Ontologies and Cognitive Conversational Agents in On2Conv (EUMAS 2023) — Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi • The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (EXTRAAMAS 2023 @ AAMAS 2023) — Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini • A geometric framework for fairness (paper in proceedings) — Alessandro Maggio, Luca Giuliani, Roberta Calegari, Michele Lombardi, Michela Milano • Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (Autonomous Agents and Multi-Agent Systems) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini • AIxIA 2022 – Advances in Artificial Intelligence (AIxIA 2022) — Agostino Dovier, Angelo Montanari, Andrea Orlandini • Proceedings of the 1st Workshop on Fairness and Bias in AI, AEQUITAS 2023 co-located with 26th European Conference on Artificial Intelligence (ECAI 2023) (edited volume) — Roberta Calegari, Andrea Aler Tubella, Gabriel González Castañe, Virginia Dignum, Michela Milano • ChatGPT is not all you need. A State of the Art Review of large Generative AI models (other publication sort) — Roberto Gozalo-Brizuela, Eduardo C. Garrido-Merchan • Explainable Clustering with CREAM (KR 2023) — Federico Sabbatini, Roberta Calegari • AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (Philosophy & Technology) — Luciano Floridi • FAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System (paper in proceedings) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano • Augmented Language Models: a Survey (Transactions on Machine Learning Research) — Grégoire Mialon, Roberto Dessì, Maria Lomeli, Christoforos Nalmpantis, Ram Pasunuru, Roberta Raileanu, Baptiste Rozière, Timo Schick, Jane Dwivedi-Yu, Asli Celikyilmaz, Edouard Grave, Yann LeCun, Thomas Scialom • JaKtA: BDI Agent-Oriented Programming in Pure Kotlin (EUMAS 2023) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini • Unveiling Opaque Predictors via Explainable Clustering: The CReEPy Algorithm (paper in proceedings) — Federico Sabbatini, Roberta Calegari • Multi-Agent Cooperative Argumentation in Arg2P (AIxIA 2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini • Special Issue “Advances in Multi-Agent Systems”: Editorial (Applied Sciences) — Stefano Mariani, Andrea Omicini • Explainable and Transparent AI and Multi-Agent Systems (EXTRAAMAS 2023 @ AAMAS 2023) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling • Accuracy and Social Motivations Shape Judgements of (Mis)Information (Nature Human Behaviour) — Steve Rathje, Jon Roozenbeek, Jay J. Van Bavel, Sander van der Linden • The PSyKE Technology for Trustworthy Artificial Intelligence (AIxIA 2022) — Roberta Calegari, Federico Sabbatini • AIxIA 2023 – Advances in Artificial Intelligence (AIxIA 2023) — Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini • Proceedings of the 1st Workshop on AI bias: Measurements, Mitigation, Explanation Strategies co-located with the AI Fairness Cluster Inaugural Conference 2024 (edited volume) — Roberta Calegari, Carlos Castillo, Symeon Papadopoulos, Roger Soraa • Assessing and Enforcing Fairness in the AI Lifecycle (IJCAI 2023) — Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O’Sullivan • Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (Artificial Intelligence and Law) — 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 • Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (WOA 2023) — Federico Sabbatini, Roberta Calegari • RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa (paper in proceedings) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi • Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (ECAI-2023) — Federico Sabbatini, Roberta Calegari • EPTCS 385-Proceedings 39th International Conference on Logic Programming (edited volume) — Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni • Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (Computer Methods and Programs in Biomedicine) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini • PlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change (paper in proceedings) — Karthik Valmeekam, Matthew Marquez, Alberto Olmo, Sarath Sreedharan, Subbarao Kambhampati • A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini • Towards socially-competent and culturally-adaptive artificial agents: Expressive order, interactional disruptions and recovery strategies (Interaction Studies) — Chiara Bassetti, Enrico Blanzieri, Stefano Borgo, Sofia Marangon • On Correctness and Completeness of an n Queens Program (Theory and Practice of Logic Programming) — Włodzimierz Drabent • CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini • How to model contrary-to-duty with GCP-nets (Intelligenza Artificiale) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor • Modular logic argumentation in Arg-tuProlog (AIxIA 2021) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor • Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari • Towards Human-centric AutoML via Logic and Argumentation (DATAPLAT 2022) — Joseph Giovanelli, Giuseppe Pisano • Integration of Logical English and s(CASP) (paper in proceedings) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski • Web of Digital Twins (ACM Transactions on Internet Technology) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone • Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (Intelligenza Artificiale) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini • KINS: Knowledge Injection via Network Structuring (CILC 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini • Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini • Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (WOA 2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini • Arg2P: An argumentation framework for explainable intelligent systems (Journal of Logic and Computation) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor • Preface (editorial/introduction/preface) — Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu, Antonio Rago • Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence (book) — Adrian A. Hopgood • Burden of Persuasion in Meta-argumentation (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor • ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (PLP 2022) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari • GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022) — Andrea Agiollo, Andrea Omicini • Fifty Years of Prolog and Beyond (Theory and Practice of Logic Programming) — 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 • Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari • Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022 @ AAMAS 2022) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini • Taking stock of available technologies for compliance checking on first-order knowledge (CILC 2022) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis • Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (paper in proceedings) — Federico Sabbatini, Roberta Calegari • A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (IEEE Internet of Things Journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli • Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini • Pervasive and Connected Digital Twins - A Vision for Digital Health (IEEE Internet Computing) — Alessandro Ricci, Angelo Croatti, Sara Montagna • Proceedings of the 2022 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) — Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor • Coordination of Autonomous Vehicles: Taxonomy and Survey (ACM Computing Surveys) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli • Burden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor • AIxIA 2021 – Advances in Artificial Intelligence (AIxIA 2021) — Stefania Bandini, Francesca Gasparini, Viviana Mascardi, Matteo Palmonari, Giuseppe Vizzari • Getting to the Source of the Illusion of Consensus (Cognition) — Saoirse Connor Desai, Belinda Xie, Brett K. Hayes • ReAct: Synergizing Reasoning and Acting in Language Models (paper in proceedings) — Shunyu Yao, Jeffrey Zhao, Dian Yu, Izhak Shafran, Karthik R. Narasimhan, Yuan Cao • On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (EXTRAAMAS 2022 @ AAMAS 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini • Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (KR 2022) — Federico Sabbatini, Roberta Calegari • Clustering-Based Approaches for Symbolic Knowledge Extraction (paper in proceedings) — Federico Sabbatini, Roberta Calegari • Arguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor • Probabilistic logic programming in 2P-Kt (AIxIA 2021) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto • Logic Programming library for Machine Learning: API design and prototype (CILC 2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari • Preface (WOA 2021 – 22nd Workshop “From Objects to Agents”) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor • AIxIA 2020 – Advances in Artificial Intelligence (AIxIA 2020) — Matteo Baldoni, Stefania Bandini • Teaching the Old Dog New Tricks: Supervised Learning with Constraints (paper in proceedings) — Fabrizio Detassis, Michele Lombardi, Michela Milano • The Dawn of Language: The Story of How We Came to Talk (book) — Sverker Johansson • Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021 @ AAMAS 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini • On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini • 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini • Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (Applied Sciences) — Andrea Agiollo, Andrea Omicini • Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (EXTRAAMAS 2021 @ AAMAS 2021) — Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher • WOA 2021 – 22nd Workshop “From Objects to Agents” (WOA 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor • Explainability through argumentation in logic programming (CAUSAL 2021 @ ICLP 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor • Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini • Towards Explainable Visionary Agents: License to Dare and Imagine (EXTRAAMAS 2021 @ AAMAS 2021) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi • GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021 @ AAMAS 2021) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini • The mathematical values of fraction signs in the Linear A script: A computational, statistical and typological approach (Journal of Archaeological Science) — Michele Corazza, Silvia Ferrara, Barbara Montecchi, Fabio Tamburini, Miguel Valério • Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor • Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini • Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (article in journal) — Sara Montagna, Stefano Mariani, Emiliano Gamberini • DETONAR: Detection of Routing Attacks in RPL-based IoT (article in journal) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola • Partitioned integration and coordination via the self-organising coordination regions pattern (Future Generation Computer Systems) — 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 (SN Computer Science) — Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani • Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (article in journal) — Angelo Croatti, Marco Longoni, Sara Montagna • Argumentation and Defeasible Reasoning in the Law (J — Multidisciplinary Scientific Journal) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor • The Effects of Repetition Frequency on the Illusory Truth Effect (Cognitive Research: Principles and Implications) — Aumyo Hassan, Sarah J. Barber • MDE & MDA in a Multi-Paradigm Modeling Perspective (book chapter) — Ambra Molesini, Enrico Denti, Andrea Omicini • A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor • Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles (technical report) — SAE International • The Burden of Persuasion in Structured Argumentation (ICAIL 2021) — Roberta Calegari, Regis Riveret, Giovanni Sartor • Optimal resilient distributed data collection in mobile edge environments (Computers & Electrical Engineering) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli • Programming Agent-Based Mobile Apps: The JaCa-Android Framework (AAMAS 2021) — Angelo Croatti, Alessandro Ricci • Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini • Artificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter Norvig • Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) — Frank Dignum, Alessio Lomuscio, Ulle Endriss, Ann Nowé • Burdens of Persuasion and Standards of Proof in Structured Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor • Counterfactual Explanations for Machine Learning: Challenges Revisited (other publication sort) — Sahil Verma, John P. Dickerson, Keegan Hines • Towards cooperative argumentation for MAS: An actor-based approach (WOA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini • Breaking down monoliths with Microservices and DevOps: an industrial experience report (paper in proceedings) — Danilo Pianini, Alessandro Neri • Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (Autonomous Agents and Multi-Agent Systems) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini • Feeling and Knowing: Making Minds Conscious (book) — Antonio R. Damasio • Multi-Agent Oriented Programming (book) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci • Twenty years of coordination technologies: COORDINATION contribution to the state of art (Journal of Logical and Algebraic Methods in Programming) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli • Legal Knowledge and Information Systems (JURIX 2020) — Serena Villata, Jakub Harašta, Petr Křemen • AIxIA 2020 Discussion Papers Workshop (AIxIA 2020 DP @ AIxIA 2020) — Giuseppe Vizzari, Matteo Palmonari, Andrea Orlandini • From Agents to Blockchain: Stairway to Integration (Applied Sciences) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli • Arg-tuProlog: A tuProlog-based argumentation framework (CILC 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor • From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities (EUMAS 2020) — Angelo Croatti, Alessandro Ricci • Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini • On the Integration of Agents and Digital Twins in Healthcare (article in journal) — Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci • Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) — Amal El Fallah Seghrouchni, Gita Sukthankar, Bo An, Neil Yorke-Smith • A Model for the Burden of Persuasion in Argumentation (JURIX 2020) — Roberta Calegari, Giovanni Sartor • Special Issue “Multi-Agent Systems”: Editorial (Applied Sciences) — Stefano Mariani, Andrea Omicini • The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices (PAAMS'20) — Angelo Croatti, Alessandro Ricci • Agent-based Modelling in Multicellular Systems Biology (book chapter) — Sara Montagna, Andrea Omicini • An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini • Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (paper in proceedings) — Roberto Casadei, Mirko Viroli, Alessandro Ricci • Computable Law as Argumentation-based MAS (WOA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor • WOA 2020 – 21st Workshop “From Objects to Agents” (WOA 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor • Not just for humans: Explanation for agent-to-agent communication (AIxIA 2020) — Andrea Omicini • Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks (paper in proceedings) — Patrick Lewis, Ethan Perez, Aleksandra Piktus, Fabio Petroni, Vladimir Karpukhin, Naman Goyal, Heinrich Küttler, Mike Lewis, Wen-tau Yih, Tim Rocktäschel, Sebastian Riedel, Douwe Kiela • Real-time tracking and documentation in trauma management (article in journal) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini • Causal Interpretability for Machine Learning – Problems, Methods and Evaluation (ACM SIGKDD Explorations Newsletter) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu • Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini • 2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini • Preface (WOA 2020 – 21st Workshop “From Objects to Agents”) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor • Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer (Journal of Machine Learning Research) — Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, Peter J. Liu • Complementing Agents with Cognitive Services: A Case Study in Healthcare (article in journal) — Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco Zambonelli • Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini • Language Models are Few-Shot Learners (paper in proceedings) — Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, Dario Amodei • Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles (paper in proceedings) — Stefano Mariani, Franco Zambonelli • Echo Chambers and Epistemic Bubbles (Episteme) — C. Thi Nguyen • Burden of Persuasion in Argumentation (ICLP 2020) — Roberta Calegari, Giovanni Sartor • Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini • Counterfactual Explanations for Machine Learning: A Review (other publication sort) — Sahil Verma, John P. Dickerson, Keegan Hines • Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (Complexity) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski • Multi-Agent Systems 2019 (Special Issue “Multi-Agent Systems” 2019) — Andrea Omicini, Stefano Mariani • Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020 @ AAMAS 2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi • Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (Complexity) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski • Explainable Artificial Intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI (Information Fusion) — Alejandro Barredo Arrieta, Natalia Díaz-Rodríguez, Javier Del Ser, Adrien Bennetot, Siham Tabik, Alberto Barbado, Salvador Garcia, Sergio Gil-Lopez, Daniel Molina, Richard Benjamins, Raja Chatila, Francisco Herrera • Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24 (The Astrophysical Journal) — Catia Grimani, Andrea Cesarini, Michele Fabi, Federico Sabbatini, Daniele Telloni, Mattia Villani • Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (Complexity) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski • Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project (PAAMS'20) — Angelo Croatti, Manuel Bottazzi, Alessandro Ricci • The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling (IEEE/ACM Transactions on Computational Biology and Bioinformatics) — Sara Montagna, Michele Braccini, Andrea Roli • Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (ISOLA 2020) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini • Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor • Time-Fluid Field-Based Coordination (paper in proceedings) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli • On the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini • Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices (Autonomous Agents and Multi-Agent Systems) — Angelo Croatti, Alessandro Ricci • Exploiting Simulation for MAS Development and Execution—The JaCaMo-Sim Approach (EMAS 2020 @ AAMAS 2020) — Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier • Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor • Special Issue “Multi-Agent Systems” 2019 (Applied Sciences) — Andrea Omicini, Stefano Mariani • Proceedings of the 2019 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) — Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. Taylor • Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (paper in proceedings) — Roberto Casadei, Mirko Viroli • Special Issue “Multi-Agent Systems”: Editorial (Applied Sciences) — Stefano Mariani, Andrea Omicini • Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling (paper in proceedings) — Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh • Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (International Journal of Grid and Utility Computing) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini • Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019 @ AI*IA 2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi • Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT (book chapter) — Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli • Preface – AI&IoT 2019 (AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino • Aggregate Processes in Field Calculus (paper in proceedings) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani • The Future of Digital Democracy. An Interdisciplinary Approach (edited volume) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu • AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 (AI&IoT 2019 @ AI*IA 2019) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini • The share Operator for Field-Based Coordination (paper in proceedings) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli • On a Higher-Order Calculus of Computational Fields (paper in proceedings) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal • Multi-Agent Systems (Special Issue “Multi-Agent Systems”) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian • Language Models are Unsupervised Multitask Learners (other publication sort) — Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, Ilya Sutskever • TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani • Explanation in artificial intelligence: Insights from the social sciences (article in journal) — Tim Miller • Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (paper in proceedings) — Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca • Intelligent Agents and Environment (encyclopedia entry) — Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari • Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (AAMAS 2019) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli • Evaluating Origin–Destination Matrices Obtained from CDR Data (Sensors) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli • Towards Adaptive Flow Programming for the IoT: The Fluidware Approach (paper in proceedings) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re • BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting (Artificial Intelligence in Medicine) — Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti • Democratic Process and Digital Platforms: An Engineering Perspective (The Future of Digital Democracy. An Interdisciplinary Approach) — Danilo Pianini, Andrea Omicini • Explainability in human-agent systems (Autonomous Agents and Multi-Agent Systems) — Avi Rosenfeld, Ariella Richardson • Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (IDCS 2019) — Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli • Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini • Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management (CBMS 2019) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello • Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models (paper in proceedings) — Michele Braccini, Sara Montagna, Andrea Roli • Client-side Computational Optimization (ACM Transactions on Mathematical Software) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia • Deliver intelligence to integrate care: the Connecare way (International Journal of Integrated Care) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles • A Higher-Order Calculus of Computational Fields (article in journal) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal • Explainable, Transparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2019) — Davide Calvaresi, Amro Najjar, Michael Schumacher, Kary Främling • On Context-Orientation in Aggregate Programming (paper in proceedings) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli • Preface (The Future of Digital Democracy. An Interdisciplinary Approach) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu • Engineering Resilient Collaborative Edge-Enabled IoT (paper in proceedings) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar • Big Data from the Cloud to the Edge: The Aggregate Computing Solution (paper in proceedings) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns • AI*IA 2019 – Advances in Artificial Intelligence (AI*IA 2019) — Mario Alviano, Gianluigi Greco, Francesco Scarcello • Defeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor • Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini • ViTALiSE: Virtual to Augmented Loop in Smart Environments (AAMAS 2019) — Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari • Special Issue “Multi-Agent Systems” (Applied Sciences) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian • From distributed coordination to field calculus and aggregate computing (Journal of Logical and Algebraic Methods in Programming) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini • A development approach for collective opportunistic Edge-of-Things services (Information Sciences) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli • Coordination in Socio-technical Systems: Where are we now? Where do we go next? (Science of Computer Programming) — Stefano Mariani • Case studies for a new IoT programming paradigm: Fluidware (AI&IoT 2019 @ AI*IA 2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli • A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN (paper in proceedings) — Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra • Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (Future Generation Computer Systems) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli • Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018) — Andrea Omicini, Roberta Calegari • Self-organising Coordination Regions: a Pattern for Edge Computing (paper in proceedings) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali • Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019 @ PAAMS'19) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini • Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini • Security in Collective Adaptive Systems: A Roadmap (paper in proceedings) — Danilo Pianini, Roberto Casadei, Mirko Viroli • Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini • Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things (paper in proceedings) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou • Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (ACM Transactions on Modeling and Computer Simulation) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini • Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions (Internet Technology Letters) — Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti • Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli • Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018 @ ACM/IEEE IoTDI) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini • ReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini • From Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini • Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel • Spatial Tuples: Augmenting Reality with Tuples (Expert Systems) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini • Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework (PAAMS'18) — Angelo Croatti, Alessandro Ricci • Logic Programming as a Service (Theory and Practice of Logic Programming) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini • Space-Time Universality of Field Calculus (ALP4IoT 2017) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli • The Moral Machine experiment (Nature) — Edmond Awad, Sohan Dsouza, Richard Kim, Jonathan Schulz, Joseph Henrich, Azim Shariff, Jean-François Bonnefon, Iyad Rahwan • Artificial Intelligence (book) — Michael Wooldridge • A Survey of Methods for Explaining Black Box Models (ACM Computing Surveys) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi • The mythos of model interpretability (Communications of the ACM) — Zachary C. Lipton • Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini • Combining Trust and Aggregate Computing (FOCLASA 2017 @ SEFM 2017) — Roberto Casadei, Alessandro Aldini, Mirko Viroli • AI*IA 2018 – Advances in Artificial Intelligence (AI*IA 2018) — Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso • Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (paper in proceedings) — Roberto Casadei, Mirko Viroli • Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming) — Roberto Casadei, Alessandro Aldini, Mirko Viroli • Distributed Speaking Objects: a Case for Massive Multiagent Systems (MMAS 2018) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli • Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder (The Astrophysical Journal) — 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 (Big Data and Cognitive Computing) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini • Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018 @ WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini • Programming Actor-Based Collective Adaptive Systems (book chapter) — Roberto Casadei, Mirko Viroli • A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems (PAAMS'18) — Angelo Croatti, Alessandro Ricci • Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini • Proceedings of the 2018 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018) — Elisabeth André, Sven Koenig, Mehdi Dastani, Gita Sukthankar • From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini • Distributed Real-Time Shortest-Paths Computations with the Field Calculus (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini • Coordination of Complex Socio-technical Systems: Challenges and Opportunities (FOCLASA 2018 @ STAF 2018) — Stefano Mariani • The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis (paper in proceedings) — Sara Montagna, Michele Braccini, Andrea Roli • Aggregate Graph Statistics (ALP4IoT 2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli • A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (A2HC 2017) — Angelo Croatti, Sara Montagna, Alessandro Ricci • Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017) — Kate Larson, Michael Winikoff, Sanmay Das, Edmund H. Durfee • AI*IA 2017 Advances in Artificial Intelligence (AI*IA 2017) — Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi • Agent-based modeling for the self-management of chronic diseases: An exploratory study (SIMULATION: Transactions of the Society for Modeling and Simulation International) — Sara Montagna, Andrea Omicini • State-of-the-Art and Trends in Nature-inspired Coordination Models (The IEEE Intelligent Informatics Bulletin) — Stefano Mariani, Andrea Omicini • Aggregate plans for multiagent systems (International Journal of Agent-Oriented Software Engineering) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti • An Argumentation-based Perspective over the Social IoT (IEEE Internet of Things Journal) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli • Agent-based Modelling in Multicellular Systems Biology (book chapter) — Sara Montagna, Andrea Omicini • Programming the Interaction Space Effectively with ReSpecTX (IDC 2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini • Attention Is All You Need (paper in proceedings) — Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, Illia Polosukhin • Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto • Transformer: A Novel Neural Network Architecture for Language Understanding (other publication sort) — Jakob Uszkoreit • Modeling Opportunistic IoT Services in Open IoT Ecosystems (WOA 2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou • A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (A2HC 2017) — Angelo Croatti, Sara Montagna, Alessandro Ricci • Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (SASO 2017) — Danilo Pianini, Simon Dobson, Mirko Viroli • Coordinating Distributed Speaking Objects (paper in proceedings) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli • Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli • The impact of self-loops in random boolean network dynamics (paper in proceedings) — Sara Montagna, Michele Braccini, Andrea Roli • Discovering Event Structure in Continuous Narrative Perception and Memory (Neuron) — Christopher Baldassano, Janice Chen, Asieh Zadbood, Jonathan W. Pillow, Uri Hasson, Kenneth A. Norman • Augmented societies with mirror worlds (AI & Society) — Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi • Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea (paper in proceedings) — Angelo Croatti, Alessandro Ricci • Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (International Journal of Distributed Systems and Technologies) — Angelo Croatti, Alessandro Ricci, Mirko Viroli • Towards the Web of Augmented Things (paper in proceedings) — Angelo Croatti, Alessando Ricci • Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini • Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17) — Roberta Calegari, Enrico Denti • Agents and Multi-Agent Systems for Health Care (A2HC 2017) — Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Schumacher • Preface (A2HC 2017) — Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher • Towards a Foundational API for Resilient Distributed Systems Design (eCAS 2017 @ SASO 2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli • Spiking Neural Networks as Timed Automata (ALP4IoT 2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto • Multiagent System Technologies (MATES 2017) — Jan Ole Berndt, Paolo Petta, Rainer Unland • Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini • Formal Validation of Neural Networks as Timed Automata (paper in proceedings) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto • Practical Aggregate Programming with Protelis (SASO 2017) — Danilo Pianini, Jacob Beal, Mirko Viroli • Self-Adaptation to Device Distribution in the Internet of Things (ACM Transactions on Autonomous and Adaptive Systems) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani • Compositional Blocks for Optimal Self-Healing Gradients (SASO 2017) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli • Towards Argumentation-based Recommendations for Personalised Patient Empowerment (HealthRecSys 2017 @ RecSys 2017) — Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli • Simulating Large-scale Aggregate MASs with Alchemist and Scala (paper in proceedings) — Mirko Viroli, Roberto Casadei, Danilo Pianini • Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems (book) — Darius Plikynas • Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (WOA 2016) — Stefano Mariani, Andrea Omicini • Aggregate Programming: From Foundations to Applications (paper in proceedings) — Jacob Beal, Mirko Viroli • The Butlers Framework for Socio-Technical Smart Spaces (INSCI 2016) — Roberta Calegari, Enrico Denti • Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini • Programming with event loops and control loops – From actors to agents (Computer Languages, Systems & Structures) — Alessandro Ricci • Self-adaptation to Device Distribution Changes in Situated Computing Systems (SASO 2016) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani • Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (paper in proceedings) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal • An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development (AGERE! 2016 @ SPLASH 2016) — Angelo Croatti, Alessandro Ricci • On Execution Platforms for Large-scale Aggregate Computing (paper in proceedings) — Mirko Viroli, Roberto Casadei, Danilo Pianini • Resiliency with Aggregate Computing: State of the Art and Roadmap (paper in proceedings) — Mirko Viroli, Jacob Beal • Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (eCAS 2016 @ SASO 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal • Mastering the game of Go with deep neural networks and tree search (Nature) — 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 • Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework (Bioinformatics and Biology Insights) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero • Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (paper in proceedings) — Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci • Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (WOA 2016) — Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati • Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini • Challenges of Decentralized Coordination in Large-scale Ubicomp Systems (UbiComp2016) — Andrea Omicini, Franco Zambonelli • AI*IA 2016 Advances in Artificial Intelligence (AI*IA 2016) — Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea • Towards Aggregate Programming in Scala (paper in proceedings) — Roberto Casadei, Mirko Viroli • Cross-organism learning method to discover new gene functionalities (Computer Methods and Programs in Biomedicine) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli • Improving Gossip Dynamics Through Overlapping Replicates (COORDINATION 2016) — Danilo Pianini, Jacob Beal, Mirko Viroli • Run-Time Management of Computation Domains in Field Calculus (SASO 2016) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei • Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section (IEEE Transactions on Emerging Topics in Computing) — Franco Zambonelli, Andrea Omicini, Paul Scerri • A type-sound calculus of computational fields (Science of Computer Programming) — Ferruccio Damiani, Mirko Viroli, Jacob Beal • Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno • Special Section on Coordination in Large-Scale Socio-Technical Systems (IEEE Transactions on Emerging Topics in Computing) — Franco Zambonelli, Andrea Omicini, Paul Scerri • Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015 @ AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini • Multiagent System Technologies (MATES 2016) — Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt • Building Smart Spaces on the Home Manager platform (ALP Newsletter) — Roberta Calegari, Enrico Denti • Foreward by Prof. Andrea Omicini (Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems) — Andrea Omicini • Spatial awareness in pervasive ecosystems (The Knowledge Engineering Review) — 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 • The Autonomy of Technological Systems and Responsibilities for their Use (book chapter) — Giovanni Sartor, Andrea Omicini • A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori • Game Engines to Model MAS: A Research Roadmap (WOA 2016) — Stefano Mariani, Andrea Omicini • Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016) — Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls • Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK (book) — Stefano Mariani • A coordination model of pervasive service ecosystems (Science of Computer Programming) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli • Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015) — Andrea Omicini, Franco Zambonelli • Neural Machine Translation by Jointly Learning to Align and Translate (paper in proceedings) — Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio • Deep learning (Nature) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton • Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (SASO 2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini • Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (Engineering Applications of Artificial Intelligence) — Stefano Mariani, Andrea Omicini • Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (CSCWD 2015) — Andrea Omicini • Programming Multi-agent Systems (The Knowledge Engineering Review) — Mehdi Dastani • Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015) — Stefano Mariani, Andrea Omicini • Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (E4MAS 2014 @ AAMAS 2014) — Andrea Omicini, Stefano Mariani • Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi • Towards agent aggregates: perspectives and challenges (EMAS 2015 @ AAMAS 2015) — Mirko Viroli, Alessandro Ricci • Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015 @ AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini • GOTA: GO term annotation of biomedical literature (BMC Bioinformatics) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro • Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani • Human-level control through deep reinforcement learning (Nature) — Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Andrei A. Rusu, Joel Veness, Marc G. Bellemare, Alex Graves, Martin Riedmiller, Andreas K. Fidjeland, Georg Ostrovski, Stig Petersen, Charles Beattie, Amir Sadik, Ioannis Antonoglou, Helen King, Dharshan Kumaran, Daan Wierstra, Shane Legg, Demis Hassabis • Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli • Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (Pervasive and Mobile Computing) — 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 • Agent Environments for Multi-Agent Systems IV (E4MAS 2014 @ AAMAS 2014) — Danny Weyns, Fabien Michel • Effective Approaches to Attention-based Neural Machine Translation (paper in proceedings) — Thang Luong, Hieu Pham, Christopher D. Manning • Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) — Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind • Aggregate Programming for the Internet of Things (Computer) — Jacob Beal, Danilo Pianini, Mirko Viroli • Show, Attend and Tell: Neural Image Caption Generation with Visual Attention (paper in proceedings) — Kelvin Xu, Jimmy Lei Ba, Ryan Kiros, Kyunghyun Cho, Aaron Courville, Ruslan Salakhutdinov, Richard S. Zemel, Yoshua Bengio • Protelis: Practical Aggregate Programming (SAC 2015) — Danilo Pianini, Mirko Viroli, Jacob Beal • Type-based Self-stabilisation for Computational Fields (Logical Methods in Computer Science) — Ferruccio Damiani, Mirko Viroli • Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (PRIMA 2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti • Preface (PRIMA 2015: Principles and Practice of Multi-Agent Systems) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini • Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori • AI*IA 2015 Doctoral Consortium (AI*IA 2015 DC @ AI*IA 2015) — Elena Bellodi, Alessio Bonfietti • Space-Time Programming (article in journal) — Jacob Beal, Mirko Viroli • 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) — Sara Montagna, Mirko Viroli, Andrea Roli • Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015 @ DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal • A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini • Computational Fields Meet Augmented Reality: Perspectives and Challenges (paper in proceedings) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli • PRIMA 2015: Principles and Practice of Multi-Agent Systems (PRIMA 2015) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini • Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (EMAS 2015 @ AAMAS 2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli • Smart Augmented Fields for Emergency Operations (paper in proceedings) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli • Multiagent System Technologies (MATES 2015) — Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling • Formal Foundations of Sensor Network Applications (SIGSPATIAL Special) — Jacob Beal, Mirko Viroli • Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015) — Enrico Denti, Roberta Calegari • Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @ AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini • AI*IA 2015 Advances in Artificial Intelligence (AI*IA 2015) — Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi • Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 (CompleNet 2014) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas • Coordination-aware Elasticity (UCC 2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar • Building Blocks for Aggregate Programming of Self-Organising Applications (FoCAS 2014) — Jacob Beal, Mirko Viroli • Engineering General Intelligence, Part 2 (book) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller • Extending a Smart Home Multi-Agent System with Role-Based Access Control (ITS 2014) — Enrico Denti, Roberta Calegari, Marco Prandini • Multiagent System Technologies (MATES 2014) — Jörg P. Müller, Michael Weyrich, Ana L. C. Bazzan • Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (SCS M&S Magazine) — Stefano Mariani, Andrea Omicini • The IEEE-FIPA Standard on the Design Process Documentation Template (Handbook on Agent-Oriented Design Processes) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita • Negotiation and Argumentation in Multi-Agent Systems (edited volume) — Fernando Lopes, Helder Coelho • Introduction (Handbook on Agent-Oriented Design Processes) — Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria Seidita • Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) — Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri • A Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio Damiani • Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (World Journal of Computer Application and Technology) — Enrico Denti • Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks (book chapter) — Artur Arsénio, Hugo Serra, Rui Francisco, Fernando Nabais, João Andrade, Eduardo Serrano • HPC from a self-organisation perspective: The case of crowd steering at the urban scale (paper in proceedings) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha • Argumentation and Artifacts for Negotiation Support (book chapter) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli • TuCSoN Coordination for MAS Situatedness: Towards a Methodology (WOA 2014) — Stefano Mariani, Andrea Omicini • On the Origin of Autonomy. A New Look at the Major Transitions in Evolution (book) — Bernd Rosslenbroich • Handbook on Agent-Oriented Design Processes (edited volume) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita • The SODA Methodology: Meta-Model and Process Documentation (Handbook on Agent-Oriented Design Processes) — Ambra Molesini, Andrea Omicini • Cross-domain Text Classification through Iterative Refining of Target Categories Representations (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori • Distributed statistical analysis of complex systems modeled through a chemical metaphor (paper in proceedings) — Danilo Pianini, Stefano Sebastio, Andrea Vandin • Novel pervasive scenarios for home management: the Butlers architecture (SpringerPlus) — Enrico Denti • Best ACM SAC Articles on Coordination and Self-Adaptation (ACM Transactions on Autonomous and Adaptive Systems) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli • Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (IDCS 2014) — Stefano Mariani, Andrea Omicini • Preface (CompleNet 2014) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas • The Autonomy of Automated Systems (AWS-LEP 2014) — Giovanni Sartor, Andrea Omicini • On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (SASO 2014) — Stefano Mariani • Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli • Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini • Towards a Unified Model of Spatial Computing (paper in proceedings) — Jacob Beal, Mirko Viroli, Ferruccio Damiani • Bridging the Symbolic/Subsymbolic Gap (Engineering General Intelligence, Part 2) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller • The Gaia Methodology Process (Handbook on Agent-Oriented Design Processes) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini • Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea Omicini • Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012) — Stefano Mariani, Andrea Omicini • Coordination for Situated MAS: Towards an Event-driven Architecture (PNSE'13) — Andrea Omicini, Stefano Mariani • Declarative Agent Languages and Technologies X (DALT 2012 @ AAMAS 2012) — Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos • Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013 @ AAMAS 2013) — Stefano Mariani, Andrea Omicini • Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli • From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (book chapter) — Alessandro Ricci, Andrea Santi • Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (SASO 2012) — Marco Alberti, Andrea Omicini • Agreement Technologies (edited volume) — Sascha Ossowski • Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction (Journal of Computations & Modelling) — Pedro Pablo González Pérez, Maura Cárdenas-García, Sara Montagna • Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013 @ AAMAS 2013) — Mirko Viroli • Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (Intelligenza Artificiale) — Andrea Omicini, Stefano Mariani • Programming Multi-Agent Systems (PROMAS 2012 @ AAMAS 2012) — Mehdi Dastani, Jomi F. Hübner, Brian Logan • Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012 @ SASO 2012) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna • Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (AGERE! 2013 @ SPLASH 2013) — Alessandro Ricci, Andrea Santi • Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (WOA 2013) — Stefano Mariani • From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (International Journal of Foundations of Computer Science) — Houguang Yue • Special Issue on Software Agents (Computing Now) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini • Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (CM 2013 @ SAC 2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli • Coupling software architecture and human architecture for collaboration-aware system adaptation (paper in proceedings) — Christoph Dorn, Richard N Taylor • Multiagent System Technologies (MATES 2013) — Matthias Klusch, Matthias Thimm, Marcin Paprzycki • Nature-inspired Coordination for Complex Distributed Systems (IDC 2012) — Andrea Omicini • Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani • Semantic Tuple Centres (Science of Computer Programming) — Elena Nardini, Andrea Omicini, Mirko Viroli • Collaborative Learning and ICT: A Prototypal Learning Environment (book chapter) — Maria Cristina Matteucci, Elena Nardini, Andrea Omicini • A calculus of computation fields (FOCLASA 2013 @ ESOCC 2013) — Mirko Viroli, Ferruccio Damiani, Jacob Beal • Agent-Oriented Software Engineering XIII (AOSE 2012 @ AAMAS 2012) — Jörg P. Müller, Massimo Cossentino • Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013 @ AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli • Injecting Self-organisation into Pervasive Service Ecosystems (Mobile Networks and Applications) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli • On competitive self-composition in pervasive services (Science of Computer Programming) — Mirko Viroli • tuProlog: Making Prolog Ubiquitous (ALP Newsletter) — Enrico Denti, Andrea Omicini, Roberta Calegari • Nature-Inspired Coordination Models: Current Status and Future Trends (ISRN Software Engineering) — Andrea Omicini • 1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013) (EMAS 2013 @ AAMAS 2013) — Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff • Chemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation) — Danilo Pianini, Sara Montagna, Mirko Viroli • Space-aware Coordination in ReSpecT (WOA 2013) — Stefano Mariani, Andrea Omicini • MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013) — Stefano Mariani, Andrea Omicini • Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (Computational and Mathematical Organization Theory) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata • Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013) — Stefano Mariani, Andrea Omicini • Operational Semantics of Proto (Science of Computer Programming) — Mirko Viroli, Jacob Beal, Kyle Usbeck • Organizing the Aggregate: Languages for Spatial Computing (book chapter) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll • Multi-agent Oriented Programming with JaCaMo (Science of Computer Programming) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi • Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013 @ SAC 2013) — Stefano Mariani, Andrea Omicini • From Manifesta to Krypta: The Relevance of Categories for Trusting Others (ACM Transactions on Intelligent Systems and Technology) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi • Description and composition of bio-inspired design patterns: a complete overview (Natural Computing) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos • Domain Independent Text Categorization (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori • Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (ICCCI 2013) — Andrea Omicini, Pierluigi Contucci • Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012) — Matteo Casadei, Mirko Viroli • 6th International Spatial Computing Workshop (SCW 2013) (SCW 2013 @ AAMAS 2013) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli • Software Agents: Twenty Years and Counting (Computing Now) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini • Towards Situated Awareness in Urban Networks: A Bio-Inspired Approach (ASENSIS 2012 @ SASO 2012) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli • Predicting Social Density in Mass Events to Prevent Crowd Disasters. (SocInfo2013) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha • Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (SCW 2013 @ AAMAS 2013) — Sara Montagna, Mirko Viroli • Typing Multi-agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012) — Alessandro Ricci, Andrea Santi • Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (Complex Adaptive Systems Modeling) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani • A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (Journal of Simulation) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia • TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (book chapter) — Stefano Mariani, Andrea Omicini • Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013 @ AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli • Self-Organising News Management: The Molecules of Knowledge Approach (SASO 2012) — Stefano Mariani, Andrea Omicini • Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (SOCIAL:PATH @ AISB 2013) — Harko Verhagen, Pablo Noriega, Tina Balke, Marina de Vos • International conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2013) — Maria L. Gini, Onn Shehory, Takayuki Ito, Catholijn M. Jonker • Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (ABC:MI 2013 @ MATES 2013) — Stefano Mariani, Andrea Omicini • AI*IA 2013: Advances in Artificial Intelligence (AI*IA 2013) — Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio • A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012) — Sara Montagna, Danilo Pianini, Mirko Viroli • Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012 @ SASO 2012) — Marco Alberti, Andrea Omicini • Is It a “Good” Encoding of Mixed Choice? (paper in proceedings) — Kirstin Peters, Uwe Nestmann • Gradient-based Self-organisation Patterns of Anticipative Adaptation (SASO 2012) — Sara Montagna, Danilo Pianini, Mirko Viroli • Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (SAC 2012) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson • Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings) — Mirko Viroli, Danilo Pianini, Jacob Beal • Bayesian Reasoning and Machine Learning (book) — David Barber • Agents and Peer-to-Peer Computing (AP2PC 2008 @ AAMAS 2008) — Domenico Beneventano, Zoran Despotovic, Francesco Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau de Pinninck • A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli • Bottom-Up Argumentation (paper in proceedings) — Francesca Toni, Paolo Torroni • Self-organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012 @ SASO 2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson • Programming Distributed Multi-Agent Systems in simpAL (WOA 2012) — Andrea Santi, Alessandro Ricci • The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi (edited volume) — Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli • VPN - Client-server object-oriented virtual plant modeling tool (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti • Programming Multi-Agent Systems (PROMAS 2010 @ AAMAS 2010) — Rem Collier, Jürgen Dix, Peter Novák • Molecules of Knowledge: A Novel Perspective over Knowledge Management (AI*IA 2012 DC @ AI*IA 2012) — Stefano Mariani, Andrea Omicini • From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson • Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (International Journal of Next-Generation Computing) — Schahram Dustdar, Hong-Linh Truong • ASENSIS 2012 – 1st International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (ASENSIS 2012 @ SASO 2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli • Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (AGERE! 2012 @ SPLASH 2012) — Alessandro Ricci, Andrea Santi • Programming Directives for Elastic Computing (IEEE Internet Computing) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong • On the Space-time Situation of Pervasive Service Ecosystems (SCW 2012 @ AAMAS 2012) — Mirko Viroli, Graeme Stevenson • A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (ACM Transactions on Autonomous and Adaptive Systems) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri • International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) — Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff • Distributed Systems. Concepts and Design (book) — George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair • Advanced Agent Technology (AOSE 2011 @ AAMAS 2011) — Francien Dechesne, Hiromitsu Hattori, Adriaan ter Mors, Jose Miguel Such, Danny Weyns, Frank Dignum • Thinking as Computation: A First Course (book) — Hector J. Levesque • Programming Multi-Agent Systems (PROMAS 2011 @ AAMAS 2011) — Louise A. Dennis, Olivier Boissier, Rafael H. Bordini • Standard Type Soundness for Agents and Artifacts (Scientific Annals of Computer Science) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli • A Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko Viroli • BIO-CORE: Bio-inspired Self-organising Mechanisms Core (paper in proceedings) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna • Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012 @ SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli • A Programming Paradigm based on Agent-Oriented Abstractions (International Journal on Advances in Software) — Alessandro Ricci, Andrea Santi • Interdependent Artificial Institutions in Agent Environments (Applied Artificial Intelligence) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher • Perspectives on Spin Glasses (book) — Pierluigi Contucci, Cristian Giardinà • Agents Writing on Walls: Cognitive Stigmergy and Beyond (book chapter) — Andrea Omicini • 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012) (ASENSIS 2012 @ SASO 2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli • Proceedings of the AI*IA 2012 Doctoral Consortium (edited volume) — Paolo Liberatore, Michele Lombardi, Floriano Scioscia • Self-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012 @ SASO 2012) — Stefano Mariani, Andrea Omicini • On the Space-time Situation of Pervasive Service Ecosystems (SCW 2012 @ AAMAS 2012) — Mirko Viroli, Graeme Stevenson • Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez • An Eclipse-based IDE for Agent-Oriented Programming in simpAL (Eclipse-IT 2012) — Andrea Santi, Alessandro Ricci • Multiagent System Technologies (MATES 2012) — Ingo J. Timm, Christian Guttmann • Implicit: A Multi-agent Recommendation System for Web Search (Autonomous Agents and Multi-Agent Systems) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini • Situation Identification Techniques in Pervasive Computing: A Review (Pervasive and Mobile Computing) — Juan Ye, Simon Dobson, Susan McKeever • Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (paper in proceedings) — Christoph Dorn, Richard N Taylor • ECLiPSe – From LP to CLP (Theory and Practice of Logic Programming) — Joachim Schimpf, Kish Shen • Self-adaptive software needs quantitative verification at runtime (Communications of the ACM) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola • Identification of the Social and Cognitive Processes Underlying Human Cumulative Culture (Science) — L. G. Dean, R. L. Kendal, S. J. Schapiro, B. Thierry, K. N. Laland • Toward Sociotechnical Urban Superorganisms (Computer) — Franco Zambonelli • Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (EMBnet.journal) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna • Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (FOCLASA 2012 @ CONCUR'12) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu • Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012) — Matteo Casadei, Mirko Viroli • The Finite Domain Constraint Solver of SWI-Prolog (book chapter) — Markus Triska • Declarative Agent Languages and Technologies IX (DALT 2011 @ AAMAS 2011) — Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff • Typing Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012) — Alessandro Ricci, Andrea Santi • Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda (edited volume) — Alois Ferscha • Coordinating Spatially-Situated Pervasive Service Ecosystems (WOA 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli • Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn (book) — Daniele Archibugi, Andrea Filippetti • 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011) — Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar Yolum • Model-driven communications and collaborative software development (paper in proceedings) — Antonio Natali • Declarative Agent Languages and Technologies VIII (DALT 2010 @ AAMAS 2010) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos • Deep diving into BitTorrent locality (paper in proceedings) — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez • Living in a Digital World (Communications of the ACM) — Samuel Greengard • AI*IA 2011: Artificial Intelligence Around Man and Beyond (AI*IA 2011) — Roberto Pirrone, Filippo Sorbello • simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (Science of Computer Programming) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli • Reasoning with Categories for Trusting Strangers: a Cognitive Architecture (paper in proceedings) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi • Seeing is not enough (Communications of the ACM) — Tom Geller • Preface (Declarative Agent Languages and Technologies VIII) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos • Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (The Computer Journal) — Giuseppe Cardone, Antonio Corradi, Luca Foschini • One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (ACM Computing Surveys) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi • Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (Autonomous Agents and Multi-Agent Systems) — Alessandro Ricci, Michele Piunti, Mirko Viroli • Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (SASO 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli • BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011) — Ambra Molesini, Enrico Denti, Andrea Omicini • JaCa-Android: an agent-based platform for building smart mobile applications (AGERE! 2011 @ SPLASH 2011) — Andrea Santi, Alessandro Ricci • Special Issue “Infrastructures and Tools for Multiagent Systems” (Engineering Applications of Artificial Intelligence) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti • Software Engineering for Self-Organizing Systems (AOSE 2011 @ AAMAS 2011) — H. Van Dyke Parunak, Sven A. Brueckner • A Simulation Framework for Pervasive Services Ecosystems (WOA 2011) — Danilo Pianini, Mirko Viroli, Sara Montagna • Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions (paper in proceedings) — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah • Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (AAMAS 2011) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri • Introduction to Bisimulation and Coinduction (book) — Davide Sangiorgi • Description Spaces with Fuzziness (CM 2011 @ SAC 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli • A Coordination Approach to Adaptive Pervasive Service Ecosystems (SASO 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli • A Calculus of Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli • Dennis Ritchie, 1941-2011 (Communications of the ACM) — Paul Hyman • Sustainable biomass power plant location in the Italian Emilia-Romagna region (ACM Transactions on Intelligent Systems and Technology) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli • Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna • Distributed Computing. Principles, Algorithms, and Systems (book) — Ajay D. Kshemkalyani, Mukesh Singhal • Abstraction in hardware system design (Communications of the ACM) — Rishiyur S. Nikhil • Towards a logic framework for Web programming (Intelligenza Artificiale) — Giulio Piancastelli, Andrea Omicini, Enrico Denti • Java Security Architecture Revisited (ACM Queue) — Li Gong • Improving brain-computer interfaces (Communications of the ACM) — Kirk L. Kroeker • Middleware Infrastructures for Self-organising Pervasive Computing Systems (book chapter) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli • Unsupervised Learning of True Ranking Estimators using the Belief Function Framework (technical report) — Andrea Argentini, Enrico Blanzieri • Towards Social-ICT Organisms (book chapter) — Franco Zambonelli • A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (International Journal of Pervasive Computing and Communications) — Franco Zambonelli, Mirko Viroli • Multiagent System Technologies (MATES 2011) — Franziska Klügl, Sascha Ossowski • The legacy of Steve Jobs (Communications of the ACM) — Michael A. Cusumano • Verifying the Evolution of Probability Distributions Governed by a DTMC (IEEE Transactions on Software Engineering) — YoungMin Kwon, Gul Agha • Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei • The most ancient marketing (Communications of the ACM) — Jaron Lanier • Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (AGERE! 2011 @ SPLASH 2011) — Alessandro Ricci, Andrea Santi • Self-aware Pervasive Service Ecosystems (fet11) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally • The software industry is the problem (Communications of the ACM) — Poul-Henning Kamp • Adaptive organizational changes in agent-oriented methodologies (The Knowledge Engineering Review) — Luca Cernuzzi, Franco Zambonelli • Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli • From Space to Stage: How Interactive Screens Will Change Urban Life (Computer) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller • Self-organising Knowledge-intensive Workspaces (book chapter) — Andrea Omicini • Enhancing Privacy in Multi-Agent Systems (phd thesis) — Jose Miguel Such Aparicio • The Social Compute Unit (IEEE Internet Computing) — Schahram Dustdar, Kamal Bhattacharya • Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher • Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (paper in proceedings) — Clare Dixon, Alan Winfield, Micheal Fisher • Multi-level models and infrastructures for simulating biological system development (phd thesis) — Sara Montagna • Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (International Journal of Software Engineering and Knowledge Engineering) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli • Preface (Science of Computer Programming) — Carlos Canal, Mirko Viroli • The Rise of Molecular Machines (Communications of the ACM) — Kirk L. Kroeker • BDI Agents with Objectives and Preferences (DALT 2010 @ AAMAS 2010) — Aniruddha Dasgupta, Aditya K. Ghose • Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (Eclipse-IT 2011) — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci • Facing Openness with Socio Cognitive Trust and Categories (IJCAI 2011) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi • Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei • Principles of Elastic Processes (IEEE Internet Computing) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong • Processes Engineering and AOSE (AOSE 2009 @ AAMAS 2009) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini • Agent-Oriented Software Engineering X (AOSE 2009 @ AAMAS 2009) — Marie-Pierre Gleizes, Jorge J. Gómez-Sanz • Agent-Oriented Software Engineering XI (AOSE 2010 @ AAMAS 2010) — Danny Weyns, Marie-Pierre Gleizes • A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Sara Montagna, Mirko Viroli • Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo • A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (The Knowledge Engineering Review) — Peter McBurney, Simon Parsons, Mirko Viroli • Anonymity is not privacy: technical perspective (Communications of the ACM) — Vitaly Shmatikov • Programming Coordination Laws of Artifacts in CArtAgO (CM 2011 @ SAC 2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei • A Tour of Reaction Systems (International Journal of Foundations of Computer Science) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg • Debt Deleveraging and Business Cycles. An Agent-Based Perspective (Economics) — Marco Raberto, Andrea Teglio, Silvano Cincotti • Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs (AAMAS 2011) — Stefan J. Witwicki, Edmund H. Durfee • Exploiting the JaCaMo framework for realising an adaptive room governance application (AGERE! 2011 @ SPLASH 2011) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi • Global Democracy: Normative and Empirical Perspectives (book) — Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele Marchetti • Computational journalism (Communications of the ACM) — Sarah Cohen, James T. Hamilton, Fred Turner • Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review) — Andrea Omicini, Mirko Viroli • An interaction-oriented agent framework for open environments (AI*IA 2011) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi • Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems (Engineering Applications of Artificial Intelligence) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti • Will software engineering ever be engineering? (Communications of the ACM) — Michael Davis • Agent-based Conference Management: A Case Study in SODA (International Journal of Agent-Oriented Software Engineering) — Ambra Molesini, Enrico Denti, Andrea Omicini • 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) — Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen • Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (book chapter) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni • Documenting SODA: An Evaluation of the Process Documentation Template (WOA 2010) — Ambra Molesini, Andrea Omicini • Programming Open Systems with Agents, Environments and Organizations (WOA 2010) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner • A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (Pervasive and Mobile Computing) — Clemens Holzmann, Alois Ferscha • Simulate plants: a client-server graphic approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti • MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (WOA 2010) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi • Towards Model-driven Communications (ICSET 2010) — Antonio Natali, Ambra Molesini • A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents (phd thesis) — Sameh Abdel-Naby • The Description Logic Handbook: Theory, Implementation, and Applications (book) — Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider • Specification and Verification of Multi-agent Systems (edited volume) — Mehdi Dastani, Koen V. Hindriks, John-Jules Ch. Meyer • Exploring the Boundaries: When Method Fragmentation is not Convenient (FIPA-DPDF @ MALLOW 2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro • Artificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter Norvig • Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (paper in proceedings) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci • A Biochemical Approach to Adaptive Service Ecosystems (Information Sciences) — Mirko Viroli, Franco Zambonelli • Engineering Self-Coordinating Software Intensive Systems (paper in proceedings) — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler • Argumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli • Logic-based decision support for strategic environmental assessment (Theory and Practice of Logic Programming) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli • Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (FIPA-DPDF @ MALLOW 2010) — Sergio Esparcia, Estefania Argente, Vicent Botti • Chemical-Inspired Self-Composition of Competing Services (SAC 2010) — Mirko Viroli, Matteo Casadei • Process Documentation Standardization: An Initial Evaluation (FIPA-DPDF @ MALLOW 2010) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini • A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini • Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (Economics) — Silvano Cincotti, Marco Raberto, Andrea Teglio • Building an Agent Methodology from Fragments: the MEnSA experience (AOMIP 2010 @ SAC 2010) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini • From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (paper in proceedings) — Andrea Santi • WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (WOA 2010) — Andrea Omicini, Mirko Viroli • Programming Multi-Agent Systems (PROMAS 2009 @ AAMAS 2009) — Lars Braubach, Jean-Pierre Briot, John Thangarajah • Multiagent System Technologies (MATES 2010) — Jürgen Dix, Cees Witteveen • A Basis Set of Operators for Space-Time Computations (SASO 2010) — Jacob Beal • Tutorial on Agent-based Modelling and Simulation (Journal of Simulation) — Charles M. Macal, Michael J. North • Mind in Life: Biology, Phenomenology, and the Sciences of Mind (book) — Evan Thompson • Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (Journal of Integrative Bioinformatics) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami • Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (FIPA-DPDF @ MALLOW 2010) — Sara Casare, Zahia Guessoum, Anarosa A. F. Brandao, Jaime Sichman • Exploiting Agent-Oriented Programming for Developing Android Applications (WOA 2010) — Andrea Santi, Marco Guidi, Alessandro Ricci • MetaSelf: An Architecture and a Development Method for Dependable Self-* systems (SAC 2010) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky • HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (ICAART 2009) — Ambra Molesini, Enrico Denti, Andrea Omicini • Using Domain Specific Languages for platform-based software development: The case of Android (paper in proceedings) — Antonio Natali, Ambra Molesini • Self Organization in Coordination Systems using a WordNet-based Ontology (SASO 2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli • Simulation and Analysis of Distributed Systems in Klaim (paper in proceedings) — Francesco Calzolai, Michele Loreti • Applying Process Document Standarization to INGENIAS (FIPA-DPDF @ MALLOW 2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez • Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (paper in proceedings) — Bo Sun Conghua Zhou, Liu Zhifeng • MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (paper in proceedings) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi • Transitivity in Trust. A Discussed Property (WOA 2010) — Rino Falcone, Cristiano Castelfranchi • Declarative Agent Languages and Technologies VII (DALT 2009 @ AAMAS 2009) — Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd • Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010 @ SAC 2010) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta • Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (International Journal of Agent-Oriented Software Engineering) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo • An Agent-based Model for the Pattern Formation in Drosophila Melanogaster (ALIFE XII) — Sara Montagna, Nicola Donati, Andrea Omicini • Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (PROMAS 2010 @ AAMAS 2010) — Alessandro Ricci, Andrea Santi, Michele Piunti • A Framework for Modelling and Simulating Networks of Cells (paper in proceedings) — Sara Montagna, Mirko Viroli • Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (phd thesis) — Michele Piunti • Developing Web Client Applications with JaCa-Web (WOA 2010) — Mattia Minotti, Andrea Santi, Alessandro Ricci • Artificial Life XII (edited volume) — Harold Fellermann, Mark Dörr, Martin M. Hanczyc, Lone Ladegaard Laursen, Sarah Maurer, Daniel Merkle, Pierre-Alain Monnard, Kasper Stoy, Steen Rasmussen • Introducing Relevance Awareness in BDI Agents (PROMAS 2009 @ AAMAS 2009) — Emiliano Lorini, Michele Piunti • Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (PROMAS 2009 @ AAMAS 2009) — Alessandro Ricci, Mirko Viroli, Michele Piunti • JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (LADS 2010 @ MALLOW 2010) — Andrea Santi, Guidi Marco, Alessandro Ricci • Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (SOAR 2009 @ WICSA/ECSA 2009) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini • Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (Journal of Systems and Software) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista • Formal Verification of Probabilistic Swarm Behaviours (paper in proceedings) — Savas Konur, Clare Dixon, Michael Fisher • Interacting with Virtual Plants: a Client-Server Approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti • A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (FIPA-DPDF @ MALLOW 2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam • Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy (book chapter) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo • Implementing reactive BDI agents with user-given constraints and objectives (International Journal of Agent-Oriented Software Engineering) — Aniruddha Dasgupta, Aditya K. Ghose • Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (PLOS ONE) — Sagar Indurkhya, Jacob Beal • A Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci • Trust Theory: A Socio-Cognitive and Computational Model (book) — Christiano Castelfranchi, Rino Falcone • Agents and Peer-to-Peer Computing (AP2PC 2007 @ AAMAS 2007) — Samuel R.H. Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi • Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (International Journal of Ambient Computing and Intelligence) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini • Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (LADS 2010 @ MALLOW 2010) — Mattia Minotti, Andrea Santi, Alessandro Ricci • Epistemic Vigilance (Mind & Language) — Dan Sperber, Fabrice Clément, Christophe Heintz, Olivier Mascaro, Hugo Mercier, Gloria Origgi, Deirdre Wilson • The O-MaSE Process: a Standard View (FIPA-DPDF @ MALLOW 2010) — Juan C. Garcia-Ojeda, Scott DeLoach • A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (Multiagent and Grid Systems) — Alessandro Ricci, Enrico Denti, Michele Piunti • Architecture-Based Design of Multi-Agent Systems (book) — Danny Weyns • Risk Analysis and Deployment Security Issues in a Multi-Agent System (paper in proceedings) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti • Handouts of the 11th European Agent Systems Summer School (EASSS 2009) (EASSS 2009) — Matteo Baldoni, Cristina Baroglio, Guido Boella, Rafael P. Bordini, Mehdi Dastani, Barbara Dunin-Kęplicz, Catholijn Jonker, Nicholas Maudet, Andrea Omicini, Michal Pěchouček • Engineering Societies in the Agents World IX (ESAW 2008) — Alexander Artikis, Gauthier Picard, Laurent Vercouter • SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009) — Michele Piunti, Alessandro Ricci, Andrea Santi • Multiagent System Technologies (MATES 2009) — Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr • A Semantic eScience Portal for International Scientific and Academic Cooperation (DAAAM 2009) — Bernhard Angerer, Branko Katalinic, Andrea Omicini • General-Purpose Coordination Abstractions for Managing Interaction in MAS (IAT 2009) — Elena Nardini, Andrea Omicini, Mirko Viroli • Declarative Agent Languages and Technologies VI (DALT 2008 @ AAMAS 2008) — Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff • RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini • Programming Multi-Agent Systems (PROMAS 2008 @ AAMAS 2008) — Koen V. Hindriks, Alexander Pokahr, Sebastian Sardiña • Special Track on: Agent-Oriented Software Engineering Methodologies and Systems (SAC 2009) — Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita • Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico Denti • A Formal Definition of Colture (technical report) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia • Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (paper in proceedings) — Alessandro Ricci, Michele Piunti, Mirko Viroli • Information, Physics, and Computation (book) — Marc Mézard, Andrea Montanari • Argumentation and Artifact for Dialogue Support (ArgMAS 2008 @ AAMAS 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney • Self-Organising Coordination Systems (phd thesis) — Matteo Casadei • Manipulation implicite d'une organisation multiagent via l'environnement (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner • A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (SAC 2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna • Mathematics for Economics: A Statistical Mechanics Perspective (ERCIM News) — Pierluigi Contucci, Francesca Romiti • Gaia4E: A Tool Supporting the Design of MAS using Gaia (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli • A SOA Based Software Engineering Design Approach in Service Engineering (paper in proceedings) — Weider D. Yu, Chia H. Ong • Special Issue “Engineering Environments in Multi-Agent Systems” (Multiagent and Grid Systems) — Danny Weyns, Andrea Omicini • The Craft of Prolog (book) — Richard O'Keefe • Modelling Periodic Data Dissemination in Wireless Sensor Networks (paper in proceedings) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon • Embodying Organisations in Multi-Agent Work Environments (IAT 2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner • Declarative Specification and Verification of Service Choreographies (ACM Transactions on the Web) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari • Using Jason, MOISE, and CArtAgO to develop a team of cowboys (paper in proceedings) — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman • Agent-based Modelling of Stem Cells (book chapter) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders • A Goal-Oriented Approach for Modelling Self-organising MAS (ESAW 2009) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini • Interactive Graphical Maps for Infocenter via Model to Model Transformation (paper in proceedings) — Enrico Oliva • The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (book) — George Boole • Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci • An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications (paper in proceedings) — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti • Software Engineering: An Idea Whose Time Has Come and Gone? (IEEE Software) — Tom De Marco • An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli • Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (paper in proceedings) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán • A Process Model of Actin Polymerisation (paper in proceedings) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips • Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (SAC 2009) — Matteo Casadei, Mirko Viroli • Making Sense of Revision-control Systems (Communications of the ACM) — Bryan O'Sullivan • Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter) — Luca Gardelli, Mirko Viroli, Andrea Omicini • Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (paper in proceedings) — Michele Piunti, Andrea Santi, Alessandro Ricci • An Agent-based Application for Home Intelligence (ICAART 2009) — Ambra Molesini, Enrico Denti, Andrea Omicini • Knowledge-based coordination with a reliable semantic subscription mechanism (SAC 2009) — Martin Murth, Eva Kuhn • Environment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini • Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (AOSE 2008 @ AAMAS 2008) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio • Engineering Societies in the Agents World X (ESAW 2009) — Huib Aldewereld, Virginia Dignum, Gauthier Picard • Propagation via lazy clause generation (Constraints) — Olga Ohrimenko, Peter J. Stuckey, Michael Codish • Embodied Organisations in MAS Environments (MATES 2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner • Towards a Logic Language and Framework for Web Programming (Il Milione 2008) — Giulio Piancastelli, Andrea Omicini, Enrico Denti • A MAS Metamodel-Driven Approach to Process Fragments Selection (AOSE 2008 @ AAMAS 2008) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita • Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (paper in proceedings) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro • Empirical comparison of methods for information systems development according to SOA (paper in proceedings) — Philipp Offermann, Udo Bub • Agent-Oriented Software Engineering IX (AOSE 2008 @ AAMAS 2008) — Michael Luck, Jorge J. Gómez-Sanz • An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (paper in proceedings) — Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos • Agents, Intelligence, and Tools (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli • Programming Pervasive and Mobile Computing Applications: The TOTA Approach (ACM Transactions on Software Engineering and Methodology) — Marco Mamei, Franco Zambonelli • Implicit Culture Framework for behavior transfer. Definition, implementation and applications (phd thesis) — Aliaksandr Birukou • Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments (MATES 2009) — Alessandro Ricci, Michele Piunti • Parameter tuning of a stochastic biological simulator by metaheuristics (paper in proceedings) — Sara Montagna, Andrea Roli • Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (paper in proceedings) — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder • On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming) — Matteo Casadei, Mirko Viroli, Luca Gardelli • FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli • Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems) — Ambra Molesini, Andrea Omicini, Mirko Viroli • A computational framework for modelling multicellular biochemistry (paper in proceedings) — Sara Montagna, Mirko Viroli • An Introduction to MultiAgent Systems (book) — Michael J. Wooldridge • AI*IA 2009: Emergent Perspectives in Artificial Intelligence (AI*IA 2009) — Roberto Serra, Rita Cucchiara • 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009) — Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman • Testing Techniques for Software Agents (phd thesis) — Cu Duy Nguyen • Costruire sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra Molesini • Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini • Biochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei • Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009 @ SAC 2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini • A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini • Increasing interactivity in Agent-based Advanced Pocket-Device Service Application (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante • Towards a Logic Language and Framework for Web Programming (book chapter) — Giulio Piancastelli, Andrea Omicini, Enrico Denti • Industrial Deployment of Multi-Agent Technologies: Review and Selected Case Studies (Autonomous Agents and Multi-Agent Systems) — Michal Pěchouček, Vladimír Mařík • On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition (WICSA 2008) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista • Simulation Methods in Systems Biology (paper in proceedings) — Daniel T. Gillespie • Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms (AAMAS 2008) — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani • A&A for Modelling and Engineering Simulations in Systems Biology (International Journal of Agent-Oriented Software Engineering) — Sara Montagna, Alessandro Ricci, Andrea Omicini • Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini • Preface (editorial/introduction/preface) — Canal Carlos, Pascal Poizat, Mirko Viroli • A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (The Journal of Chemical Physics) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton • Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (FOCLASA 2007 @ CONCUR'07) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore • Phase Transitions in Social Sciences: Two-populations Mean Field Theory (International Journal of Modern Physics B) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi • Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (PROMAS 2007 @ AAMAS 2007) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg • Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (The Knowledge Engineering Review) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda • On the reification of Java wildcards (Science of Computer Programming) — Maurizio Cimadamore, Mirko Viroli • Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini • Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008 @ WET ICE 2008) — Matteo Casadei, Andrea Omicini • Il Milione. Viaggio nella logica computazionale in Italia (edited volume) — Matteo Baldoni, Cristina Baroglio • Description Logics (book chapter) — Franz Baader, Ian Horrocks, Ulrike Sattler • Tool-Supported Development with Tropos: The Conference Management System Case Study (AOSE 2007 @ AAMAS 2007) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi • From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS (paper in proceedings) — Michele Piunti, Alessandro Ricci • An experimental environment for teaching Java Security (paper in proceedings) — Anna Riccioni, Enrico Denti, Roberto Laschi • Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (paper in proceedings) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone • Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (paper in proceedings) — Mario Bravetti • Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (IAT 2008) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr • Programming Multi-Agent Systems (PROMAS 2007 @ AAMAS 2007) — Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff • Engineering Societies in the Agents’ World VIII (ESAW 2007) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros • A Logic Programming Model for Web Resources (WEBIST 2008) — Giulio Piancastelli, Andrea Omicini • The Architecture and Design of a Malleable Object-Oriented Prolog Engine (SAC 2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci • Agent-oriented AmI Engineering (paper in proceedings) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini • Automating Workflow using Dialectical Argumentation (IADIS International Journal on Computer Science and Information Systems) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini • Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (ERCIM News) — Pierluigi Contucci, Cristian Giardina • A Multi-Theory Logic Programming Language for the World Wide Web (technical report) — Giulio Piancastelli, Andrea Omicini • Integrating Java and Prolog through Generic Methods and Type Inference (SAC 2008) — Maurizio Cimadamore, Mirko Viroli • Econophysics and the Current Economic Turmoil (APS News) — H. Eugene Stanley • The BlenXLanguage: A Tutorial (paper in proceedings) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel • Introducing Join-Computing (paper in proceedings) — Giacomo Cabri • Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli • Declarative Agent Languages and Technologies V (DALT 2007 @ AAMAS 2007) — Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff • Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico Denti • The A&A Programming Model and Technology for Developing Agent Environments in MAS (PROMAS 2007 @ AAMAS 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (phd thesis) — Ambra Molesini • Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (SASO 2008) — Matteo Casadei, Mirko Viroli • Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (Autonomous Agents and Multi-Agent Systems) — Peter McBurney, Andrea Omicini • SPEM on Test: the SODA Case Study (SAC 2008) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti • Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems (AAMAS 2008) — Daniel Yamins, Radhika Nagpal • Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (paper in proceedings) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi • Programming with models: modularity and abstraction provide powerful capabilities for systems biology (Journal of the Royal Society Interface) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena • Model-driven Generation of Graphical Maps for e-Contents (Eclipse-IT 2008) — Antonio Natali, Enrico Oliva, Cristina Bonanni • Special Issue “Agents, Institutions and Legal Theory” (Artificial Intelligence and Law) — Andrea Omicini, Anja Oskamp, Rossella Rubino, Giovanni Sartor • Co-Argumentation Artifact for Agent Societies (ArgMAS 2007 @ AAMAS 2007) — Enrico Oliva, Peter McBurney, Andrea Omicini • Smart Environments as Agent Workspaces (Ubiquitous Computing and Communication Journal) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari • Towards a Tuplespace-based Middleware for the Semantic Web (Web Intelligence and Agent Systems) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl • Agent-Based Collaboration Systems: A Case Study (KCEC 2008) — Elena Nardini, Andrea Omicini • RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini • Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Peter McBurney • Toward a Framework for Collaborative Learning based on Agent-based Technologies (INTED 2008) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci • PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (paper in proceedings) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil • Lightweight Family Polymorphism (Journal of Functional Programming) — Chieri Saito, Atsushi Igarashi, Mirko Viroli • Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Autonomic Communication Services: A New Challenge for Software Agents (Autonomous Agents and Multi-Agent Systems) — Raffaele Quitadamo, Franco Zambonelli • La costruzione dei sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra Molesini • Arguments and Artifacts for Dispute Resolution (WOA 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini • A Process Algebraic View of Shared Dataspace Coordination (The Journal of Logic and Algebraic Programming) — Nadia Busi, Gianluigi Zavattaro • simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli • Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci • PASSIM: a simulation-based process for the development of multi-agent systems (International Journal of Agent-Oriented Software Engineering) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo • A Decentralized and Ontology-Based Approach to Infrastructure Monitoring (paper in proceedings) — Florian Fuchs, Michael Berger • Experimenting with Stochastic Prolog as a Simulation Language (CILC 2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini • Argumentation and Artifacts for Intelligent Multi-agent Systems (phd thesis) — Enrico Oliva • A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (ICL 2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri • Methodologies for Designing Agent Societies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani • Argumentation and Artifact for Dialogue Support (ArgMAS 2008 @ AAMAS 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney • A Multi-Theory Logic Language for the World Wide Web (ICLP 2008) — Giulio Piancastelli, Andrea Omicini • Architecture and Metaphors for Eternally Adaptive Service Ecosystems (IDC 2008) — Franco Zambonelli, Mirko Viroli • Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli • Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani • From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (EUMAS 2008) — Michele Piunti, Alessandro Ricci • Multiagent System Technologies (MATES 2008) — Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal Pěchouček • Fast self-healing gradients (paper in proceedings) — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin • Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education (edited volume) — Maria Cristina Matteucci, Andrea Omicini, Elena Nardini, Pietro Gaffuri • An Agent Framework for Ubiquitous Services (phd thesis) — Conor Muldoon • Agent Roles: from Methodologies to Infrastructures (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani • Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (AOSE 2007 @ AAMAS 2007) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos • Agent-Oriented Software Engineering VIII (AOSE 2007 @ AAMAS 2007) — Michael Luck, Lin Padgham • A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (paper in proceedings) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları • An Adaptation Logic Framework for Java-based Component Systems (Journal of Universal Computer Science) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli • Technology Diffusion: Analysing the Diffusion of Agent Technologies (Autonomous Agents and Multi-Agent Systems) — Jez McKean, Hayden Shorter, Michael Luck, Peter McBurney, Steven Willmott • ReSpecT Guide (manual) — Matteo Casadei, Andrea Omicini • Writing a thesis with LaTeX (The PracTeX Journal) — Lapo Mori • Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli • La cultura componibile. Dalla frammentazione alla disgregazione del sapere (book) — Lucio Russo • Agents and Peer-to-Peer Computing (AP2PC 2006 @ AAMAS 2006) — Sam Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi • Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (technical report) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis • Introduction to AOSE Tools for the Conference Management System (AOSE 2007 @ AAMAS 2007) — Lin Padgham, Michael Luck • 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) — Lin Padgham, David C. Parkes, Jörg P. Müller, Simon Parsons • Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (WOA 2008) — Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita • Engineering Self-organising Systems with the Multiagent Paradigm (phd thesis) — Luca Gardelli • Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (MAS&BIO 2008 @ AI*IA 2008) — Sara Montagna, Andrea Omicini, Marco Alberti • Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008 @ WET ICE 2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli • From AO Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini • The Prometheus Design Tool – A Conference Management System Case Study (AOSE 2007 @ AAMAS 2007) — Lin Padgham, John Thangarajah, Michael Winikoff • Hierarchical Modeling for Computational Biology (paper in proceedings) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher • A Survey of Service Oriented Development Methodologies (paper in proceedings) — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons • Developing Multi-Agent Systems with JADE (book) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood • AI*IA 2007: Artificial Intelligence and Human-Oriented Computing (AI*IA'07) — Roberto Basili, Maria Teresa Pazienza • Evaluating Procedural Alternatives. A Case Study in E-Voting (paper in proceedings) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita • Invited Talk: A Process Algebra Master Equation (paper in proceedings) — Luca Cardelli • From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini • A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf • What is “paradigm”? (technical report) — Erek Göktürk • Situated Cellular Agents Approach to Crowd Modeling and Simulation (Cybernetics and Systems) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari • An Agent-Oriented Programming Model for SOA & Web Services (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola Zaghini • Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (ESAW 2007) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss • Specifying Protocols for Multi-Agent Systems Interaction (ACM Transactions on Autonomous and Adaptive Systems) — Stefan Poslad • Exploiting the Environment for Coordinating Agent Intentions (paper in proceedings) — Tom Holvoet, Paul Valckenaers • What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (Communications & Strategies) — Tim O'Reilly • Integrating Software Models and Platform Models for Performance Analysis (IEEE Transactions on Software Engineering) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi • Using Eclipse in Building Model-driven e-Learning Supports (Eclipse-IT 2007) — Antonio Natali, Antonio Del Cinque, Enrico Oliva • Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (FOSBE 2007) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno • Decentralized Regulation of Distributed Systems: Beyond Access Control (technical report) — Naftaly H. Minsky • Auction Negotiation for Mobile Rideshare Service (paper in proceedings) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini • Timed Environment for Web Agents (Web Intelligence and Agent Systems) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (Journal of Artificial Intelligence Research) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini • How to infer gene networks from expression profiles (Molecular Systems Biology) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo • Context-Dependent Evaluation Methodology for Open Source Software (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio Piancastelli • A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates (paper in proceedings) — George Jiri Mejtsky • Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (Autonomous Agents and Multi-Agent Systems) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak • Supporting Requirements Analysis in Tropos: a Planning-Based Approach (paper in proceedings) — Volha Bryl, Paolo Giorgini, John Mylopoulos • Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko Viroli • CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Measurement and Control of Self-organised Behaviour in Robot Swarms (paper in proceedings) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer • Service-Oriented Agent Methodologies (WET ICE 2007) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani • Cooperation and Conflict in Quorum-Sensing Bacterial Populations (Nature) — Stephen P. Diggle, Ashleigh S. Griffin, Genevieve S. Campbell, Stuart A. West • Programming Multi-Agent Systems (PROMAS 2006 @ AAMAS 2006) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni • Formal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06) — Andrea Omicini • Executable cell biology (Nature Biotechnology) — Jasmin Fisher, Thomas A. Henzinger • MiniZinc: Towards a Standard CP Modelling Language (book chapter) — Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack • The Traveling Salesman Problem: A Computational Study (book) — David L. Applegate, Robert E. Bixby, Vašek Chvátal, William J. Cook • vLab: an Eclipse-based Virtual Laboratory (paper in proceedings) — Anna Riccioni, Enrico Denti • High Variability Design for Software Agents: Extending Tropos (ACM Transactions on Autonomous and Adaptive Systems) — Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos • Practical Extensions in Agent Programming Languages (AAMAS 2007) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer • Multiagent System Technologies (MATES 2007) — Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael Georgeff • Experiences in Automated Workflows using Dialectical Argumentation (ISA 2007 @ MCCSIS 2007) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini • A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (paper in proceedings) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch • RESTful Web Services (book) — Leonard Richardson, Sam Ruby • “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (AAMAS 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Agent-Oriented Software Engineering VII (AOSE 2006 @ AAMAS 2006) — Lin Padgham, Franco Zambonelli • Environments for Multi-Agent Systems III (E4MAS 2006 @ AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel • Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf • Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli • ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli • Engineering Societies in the Agents World VII (ESAW 2006) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz Dikenelli • Infrastructures for the Environment of Multiagent Systems (Autonomous Agents and Multi-Agent Systems) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli • A Survey on Context-Aware Systems (International Journal of Ad Hoc and Ubiquitous Computing) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg • The LighTS Tuple Space Framework and its Customization for Context-aware Applications (Web Intelligence and Agent Systems) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco • Extrospection: Agents Reasoning About the Environment (paper in proceedings) — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg • Distributed Systems. Principles and Paradigms (book) — Andrew S. Tanenbaum, Marteen van Steen • B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (paper in proceedings) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone • Combined Proceedings of the 2nd International Workshop on Coordination and Organization (CoOrg 2006) and the 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) (CoOrg 2006 @ COORDINATION 2006) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden • Engineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming) — Mirko Viroli, Enrico Denti, Alessandro Ricci • On the Problem of Over-clustering in Tuple-based Coordination Systems (SASO 2007) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli • A core calculus for correlation in orchestration languages (The Journal of Logic and Algebraic Programming) — Mirko Viroli • Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae (technical report) — Nicola Segata, Enrico Blanzieri, Corrado Priami • Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design (paper in proceedings) — Olaf Zimmermann, Jana Koehler, Leymann Frank • Designing Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006 @ AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini • Intentional Systems Theory (book chapter) — Daniel Dennett • Preface (Combined Proceedings of the 2nd International Workshop on Coordination and Organization (CoOrg 2006) and the 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden • Design Patterns for Self-Organizing Multiagent Systems (EEDAS 2007 @ ICAC 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini • tuProlog 2.0: One Step Beyond (ALP Newsletter) — Giulio Piancastelli, Andrea Omicini • A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (SAC 2007) — Mirko Viroli, Matteo Casadei, Luca Gardelli • Pervasive pheromone-based interaction with RFID tags (ACM Transactions on Autonomous and Adaptive Systems) — Mamei Marco, Franco Zambonelli • Geo-Linda: a Geometry Aware Distributed Tuple Space (paper in proceedings) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers • Programming Multi-Agent Systems in AgentSpeak using Jason (book) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge • Building Smart Environments as Agent Workspaces (CoMA 2007 @ WET ICE 2007) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari • Event Perception: A Mind–Brain Perspective (Psychological Bulletin) — Jeffrey M. Zacks, Nicole K. Speer, Khena M. Swallow, Todd S. Braver, Jeremy R. Reynolds • Awareness in Collaborative Ubiquitous Environments: The Multilayered Multi-Agent Situated System Approach (ACM Transactions on Autonomous and Adaptive Systems) — Marco P. Locatelli, Giuseppe Vizzari • CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (paper in proceedings) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo • simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings) — Alessandro Ricci, Mirko Viroli • Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf • Guest Editorial (The Journal of Object Technology) — Davide Ancona, Mirko Viroli • Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (Stem Cells) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder • Large Language Models in Machine Translation (paper in proceedings) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean • A Framework for Web Service Negotiation (ACM Transactions on Autonomous and Adaptive Systems) — Shamimabi Paurobally, Valentina Tamma, Michael Wooldridge • simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (WOA 2007) — Alessandro Ricci, Enrico Denti • A Concise Introduction to Multiagent Systems and Distributed Artificial Intelligence (book) — Nikos Vlassis • Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence) — Mirko Viroli, Andrea Omicini, Alessandro Ricci • Sistemi Distribuiti (book) — Andrew S. Tanenbaum, Marteen van Steen • Preface (Science of Computer Programming) — Carlos Canal, Mirko Viroli • Environment as a First-class Abstraction in Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems) — Danny Weyns, Andrea Omicini, James J. Odell • On the Interplay of Crosscutting and MAS-Specific Styles (ECSA 2007) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista • Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels (International Journal of Agent-Oriented Software Engineering) — Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier • 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007) — Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, Onn Shehory • Discrete Event Modeling and Simulation in Systems Biology (Journal of Simulation) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher • Introduction to the Special Issue: The AgentLink III Technical Forums (ACM Transactions on Autonomous and Adaptive Systems) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney • Method fragments for agent design methodologies: from standardisation to research (International Journal of Agent-Oriented Software Engineering) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita • Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli • Model Checking Multi-agent systems with Logic Based Petri Nets (Annals of Mathematics and Artificial Intelligence) — Tristan M. Behrens, Jurgen Dix • A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli • Variant path types for scalable extensibility (ACM SIGPLAN Notices) — Atsushi Igarashi, Mirko Viroli • Governing Environments for Agent-Based Traffic Simulations (CEEMAS 2007) — Michael Schumacher, Laurent Grangier, Radu Jurca • Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva • Towards Integrating Agents with Objects Tracing Systems in AmI (EUMAS 2007) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali • A General Purpose Programming Model & Technology for Developing Working Environments in MAS (PROMAS 2007 @ AAMAS 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Agent-based modeling of multicell morphogenic processes during development (Birth Defects Research Part C: Embryo Today: Reviews) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce • Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (Quality & Quantity) — Pierluigi Contucci, Stefano Ghirlanda • Design Patterns for Self-Organising Systems (CEEMAS 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini • Special Issue on the AgentLink III Technical Forums (ACM Transactions on Autonomous and Adaptive Systems) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney • Pellet: A practical OWL-DL reasoner (Journal of Web Semantics) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz • ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (FOCLASA 2004 @ CONCUR'04) — Mirko Viroli, Andrea Omicini • Co-Argumentation Artifact for Agent Societies (ArgMAS 2007 @ AAMAS 2007) — Enrico Oliva, Peter McBurney, Andrea Omicini • Software Engineering for Multi-Agent Systems V (SELMAS 2006 @ ICSE 2006) — Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky • A Survey of Programming Languages and Platforms for Multi-Agent Systems (Informatica) — Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Amal El Fallah Seghrouchni, Jorge J. Gómez-Sanz, João Leite, Gregory O’Hare, Alexander Pokahr, Alessandro Ricci • Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005 @ AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti • 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (E4MAS 2006 @ AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel • L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei • Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (AOSE 2005 @ AAMAS 2005) — Luca Cernuzzi, Franco Zambonelli • Coordination as a Service (Fundamenta Informaticae) — Mirko Viroli, Andrea Omicini • Preface (Declarative Agent Languages and Technologies III) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni • On Coordination and its Significance to Distributed and Multi-Agent Systems (Concurrency and Computation: Practice and Experience) — Sascha Ossowski, Ronaldo Menezes • Metodologie per l'ingegneria del software: approccio ad agenti (AICA 2006) — Ambra Molesini, Enrico Denti, Andrea Omicini • Socio-technical systems (encyclopedia entry) — Brian Whitworth • Service-Oriented Design and Development Methodology (International Journal of Web Engineering and Technology) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel • Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (MAS&S'06 @ ISC'06) — Sara Montagna, Alessandro Ricci, Andrea Omicini • Verifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge • Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (edited volume) — Ron Sun • On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei • Software Engineering for Multi-Agent Systems IV (SELMAS 2005 @ ICSE 2005) — Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky • Web Services Implementation Methodology for SOA Application (paper in proceedings) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee • simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (WOA 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini • Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (DALT 2004 @ AAMAS 2004) — L. Robert Pokorny, C. R. Ramakrishnan • Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (SELMAS 2005 @ ICSE 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Agents and Peer-to-Peer Computing (AP2PC 2005 @ AAMAS 2005) — Zoran Despotovic, Sam Joseph, Claudio Sartori • Environments for Multi-Agent Systems II (E4MAS 2005 @ AAMAS 2005) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel • An agent oriented tool for method engineering (EUMAS 2006) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio • Agent-Oriented Software Engineering VI (AOSE 2005 @ AAMAS 2005) — Jörg P. Müller, Franco Zambonelli • SHRDLU (encyclopedia entry) — Nigel Ward • Bio-inspired Mechanisms for Artificial Self-organised Systems (Informatica) — Jean-Pierre Mano, Christine Bourjot, Gabriel Lopardo, Pierre Glize • Interactive Computation: The New Paradigm (edited volume) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner • Linkable Coordination Artifacts for Inter-Organisational Workflow (CIOW 2006 @ AAMAS 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini • Encyclopedia of Cognitive Science (edited volume) — Lynn Nadel • Tools for kinetic modeling of biochemical networks (Nature Biotechnology) — Rui Alves, Fernando Antunes, Armindo Salvador • 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006) — Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone • SPI - A Role for Method Engineering (paper in proceedings) — Brian Henderson-Sellers • Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review) — Mirko Viroli, Alessandro Ricci, Andrea Omicini • Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (FOCLASA 2005 @ CONCUR'05) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli • Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (EMCSR 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini • Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli • Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari • On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (ESOA 2005 @ AAMAS 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini • WOA 2006 – Dagli Oggetti agli Agenti (WOA 2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro • EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (IEEE Transactions on Software Engineering) — Christine Julien, Gruia-Catalin Roman • Issues in Multiagent Resource Allocation (Informatica) — Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Michel Lemaître, Nicolas Maudet, Julian Padget, Steve Phelps, Juan A. Rodríguez-Aguilar, Paulo Sousa • STRIPS (encyclopedia entry) — David Furcy, Sven Koenig • Simulation (Multiagent Engineering) — Rainer Herrler, Franziska Klügl • On Self-Organising Mechanisms from Social, Business and Economic Domains (Informatica) — Salima Hassas, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Cristiano Castelfranchi • Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (EMCSR 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Fundamentals of natural computing: basic concepts, algorithms, and applications (book) — Leandro Nunes De Castro • Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva • OWL-S for Describing Artifacts (EUMAS 2006) — Rossella Rubino, Ambra Molesini, Enrico Denti • Simulation of Minority Game in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini • Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (paper in proceedings) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog • A Framework for Engineering Interactions in Java-based Component Systems (FOCLASA 2005 @ CONCUR'05) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli • Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (AICA 2006) — Michele Cabano, Cesare Monti, Giulio Piancastelli • CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Verification of Multi-agent Systems Via Bounded Model Checking (paper in proceedings) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds • StoKlaim: A Stochastic Extension of Klaim (technical report) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink • The MHS Methodology: Analysis and Design for Context-Aware Systems (paper in proceedings) — Evi Syukur, Seng Wai Loke • Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications (paper in proceedings) — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk • SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci • BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings) — Rafael H. Bordini, Jomi F. Hübner • Declarative Agent Languages and Technologies IV (DALT 2006 @ AAMAS 2006) — Matteo Baldoni, Ulle Endriss • Multiagent Engineering (edited volume) — Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto Spaniol • Case Studies for Self-organization in Computer Science (Journal of Systems Architecture) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli • Collective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli • The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (Interactive Computation: The New Paradigm) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Declarative Agent Languages and Technologies III (DALT 2005 @ AAMAS 2005) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni • Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (book) — Marco Mamei, Franco Zambonelli • Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko Viroli • Special Issue “Hot Topics in European Agent Research II” (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams • 4th European Workshop on Multi-Agent Systems (EUMAS 2006) (EUMAS 2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget • Simulating Minority Game with TuCSoN (MAS&S'06 @ ISC'06) — Enrico Oliva, Mirko Viroli, Andrea Omicini • Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (paper in proceedings) — Charles M. Macal, Michael J. North • Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini • The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2 (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams • Toward Nature-Inspired Computing (Communications of the ACM) — Jiming Liu, Kwok Ching Tsui • Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison (Informatica) — Carole Bernon, Vincent Chevrier, Vincent Hilaire, Paul Marrow • Agens Faber: Toward a Theory of Artefacts for MAS (CoOrg 2005 @ COORDINATION 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • A Survey of Environments and Mechanisms for Human-Human Stigmergy (E4MAS 2005 @ AAMAS 2005) — H. Van Dyke Parunak • On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006 @ AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei • Formal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06) — Andrea Omicini • Handbook of Constraint Programming (edited volume) — Francesca Rossi, Peter van Beek, Toby Walsh • A Generic Large Scale Simulator for Ubiquitous Computing (paper in proceedings) — M. Martin, P. Nurmi • Logics for Artificial Intelligence (Intelligenza Artificiale) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini • Cognitive Modeling of Social Behaviours (book chapter) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky • The World According To Brahms: Modeling and Simulating Work Practice (book chapter) — Maarten Sierhuis • Multiagent System Technologies (MATES 2006) — Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong • A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli • On the Expressive Power of KLAIM-based Calculi (Theoretical Computer Science) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese • Programming MAS with Artifacts (PROMAS 2005 @ AAMAS 2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems) — Atsushi Igarashi, Mirko Viroli • A Design Theory for Pervasive Information Systems (paper in proceedings) — Panos E. Kourouthanassis, George M. Giaglis • Multiagent Systems (Intelligenza Artificiale) — Andrea Omicini, Agostino Poggi • Zooming Multi-Agent Systems (AOSE 2005 @ AAMAS 2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti • Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini • Standardizing Agent Communication (book chapter) — Yannis Labrou • Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (AAMAS 2006) — Sebastian Sardina, Lavindra de Silva, Lin Padgham • Lime: A coordination model and middleware supporting mobility of hosts and agents (ACM Transactions on Software Engineering and Methodology) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman • Engineering Societies in the Agents World VI (ESAW 2005) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci • The Fading Concept in Tuple-Space Systems (SAC 2006) — Ronaldo Menezes, Alan Wood • Programming Multi-Agent Systems (PROMAS 2005 @ AAMAS 2005) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni • Process Calculi Abstractions for Biology (technical report) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia • Self-Organisation and Emergence in MAS: An Overview (Informatica) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos • Stanley: The robot that won the DARPA Grand Challenge (Journal of Field Robotics) — Sebastian Thrun, Mike Montemerlo, Hendrik Dahlkamp, David Stavens, Andrei Aron, James Diebel, Philip Fong, John Gale, Morgan Halpenny, Gabriel Hoffmann, Kenny Lau, Celia Oakley, Mark Palatucci, Vaughan Pratt, Pascal Stang, Sven Strohband, Cedric Dupont, Lars‐Erik Jendrossek, Christian Koelen, Charles Markey, Carlo Rummel, Joe van Niekerk, Eric Jensen, Philippe Alessandrini, Gary Bradski, Bob Davies, Scott Ettinger, Adrian Kaehler, Ara Nefian, Pamela Mahoney • The Plausibility of Life: Resolving Darwin's Dilemma (book) — Marc W. Kirschner, John C. Gerhart • Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (Intelligenza Artificiale) — Marco Cadoli, Michela Milano, Andrea Omicini • On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (ESOA 2005 @ AAMAS 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini • Developing MAS Solutions with Gaia and AUML (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli • SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci • Composition of a New Process to Meet Agile Needs Using Method Engineering (SELMAS 2004 @ ICSE 2004) — Massimo Cossentino, Valeria Seidita • Drago: Distributed reasoning architecture for the semantic web (paper in proceedings) — Luciano Serafini, Andrei Tamilin • The Third AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Paolo Petta, László Zsolt Varga • The Second AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Paolo Petta, Matjaz Gams • Verifying Multi-agent Systems via Unbounded Model Checking (paper in proceedings) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter • Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming) — Enrico Denti, Andrea Omicini, Alessandro Ricci • Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (Informatica) — Alessandro Ricci, Mirko Viroli • Multiagent Resource Allocation (The Knowledge Engineering Review) — Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Nicolas Maudet, Juan A. Rodríguez-Aguilar • Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings) — Mirko Viroli, Alessandro Ricci • Effective Tool Use in a Habile Agent (paper in proceedings) — Alexander B. Wood, Thomas E. Horton, Robert St. Amant • Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts (paper in proceedings) — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright • Distributed Instance Retrieval in Heterogeneous Ontologies (paper in proceedings) — Luciano Serafini, Andrei Tamilin • Environment-Based Coordination Through Coordination Artifacts (E4MAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Programming Stigmergic Coordination with the TOTA Middleware (AAMAS 2005) — Marco Mamei, Franco Zambonelli • Message from the Program Chairs (Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005)) — Andrea Omicini, Roger L. Wainwright • Quantitative Information in the Tuple Space Coordination Model (Theoretical Computer Science) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro • Towards CSpaces: A New Perspective for the Semantic Web (paper in proceedings) — Francisco Martín-Recuerda • An Agent-Oriented Conceptual Framework for Systems Biology (NETTAB 2004) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci • Agents in Bioinformatics (The Knowledge Engineering Review) — Michael Luck, Emanuela Merelli • Towards Semantic Web Agents: Knowledge Web and AgentLink (The Knowledge Engineering Review) — Terry Payne, Valentina Tamma • Environments in Multiagent Systems (The Knowledge Engineering Review) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet • RBAC for Organisation and Security in an Agent Coordination Infrastructure (SecCo'04) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Engineering MAS Environment with Artifacts (E4MAS 2005 @ AAMAS 2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci • Programming Multi-Agent Systems in 3APL (book chapter) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer • On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro • An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AI*IA 2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci • Special Issue “Process Algebras and Multi-Agent Systems” (Applicable Algebra in Engineering, Communication and Computing) — Mirko Viroli, Andrea Omicini • AI*IA 2005: Advances in Artificial Intelligence (AI*IA 2005) — Stefania Bandini, Sara Manzoni • Agent Modeling Language (AML): A Comprehensive Approach to Modeling MAS (Informatica) — Ivan Trencansky, Radovan Cervenka • The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams • WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (WOA 2005) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini • Agent-Oriented Software Engineering (The Knowledge Engineering Review) — Carole Bernon, Massimo Cossentino, Juan Pavón • Declarative Agent Languages and Technologies II (DALT 2004 @ AAMAS 2004) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum • Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (edited volume) — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen • Process-Algebraic Approaches for Multi-Agent Systems: An Overview (Applicable Algebra in Engineering, Communication and Computing) — Mirko Viroli, Andrea Omicini • Programming MAS with Artifacts (PROMAS 2005 @ AAMAS 2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Towards a Unified View of the Environment(s) within Multi-Agent Systems (Informatica) — Abdelkader Gouaïch, Fabien Michel • Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (MASS 2005) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright • Cognitive Stigmergy: A Framework Based on Agents and Artifacts (EUMAS 2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva • A Trust Analysis Methodology for Pervasive Computing Systems (paper in proceedings) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth • More Principled Design of Pervasive Computing Systems (paper in proceedings) — Simon Dobson, Paddy Nixon • On Access Restriction with Java Wildcards (The Journal of Object Technology) — Mirko Viroli, Giovanni Rimassa • 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005) — Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael J. Wooldridge • Time-Aware Coordination in ReSpecT (COORDINATION 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità (Intelligenza Artificiale) — Marco Cadoli, Michela Milano, Andrea Omicini • The Logic Programming Paradigm and Prolog (book chapter) — Krzysztof R. Apt • Agent-Oriented Software Engineering V (AOSE 2004 @ AAMAS 2004) — James Odell, Paolo Giorgini, Jörg P. Müller • Probabilistic Linda-based Coordination Languages (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky • Process Models for Agent-based Development (Engineering Applications of Artificial Intelligence) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli • Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (SAC 2005) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock • Special Issue “Hot Topics in European Agent Research I” (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams • “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (E4MAS 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini • The Tropos Metamodel and its Use (Informatica) — Angelo Susi, Anna Perini, John Mylopoulos, Paolo Giorgini • Agents and Peer-to-Peer Computing (AP2PC 2003 @ AAMAS 2003) — Gianluca Moro, Claudio Sartori, Munindar P. Singh • Engineering Self-Organizing MAS with Coordination Artifacts and ACCs (COORDINATION 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini • Engineering Societies in the Agents World V (ESAW 2004) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli • $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (Fundamenta Informaticae) — Eugene Eberbach • Preface (Declarative Agent Languages and Technologies II) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum • Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (CEEMAS 2005) — Brian Henderson-Sellers • Self-Organization in Multi-Agent Systems (The Knowledge Engineering Review) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos • Reliable Distributed Systems. Technologies, Web Services, and Applications (book) — Kenneth P. Birman • On the Role of Environments in Multiagent Systems (Informatica) — Danny Weyns, Tom Holvoet • Programming Multi-Agent Systems (The Knowledge Engineering Review) — Mehdi Dastani, Jorge J. Gómez-Sanz • An Overview of Current Trends in European AOSE Research (Informatica) — Carole Bernon, Massimo Cossentino, Juan Pavón • The AgentLink III Technical Forums: Introduction to the Special Issue (The Knowledge Engineering Review) — Andrea Omicini, Peter McBurney • Software Engineering for Multi-Agent Systems III (SELMAS 2004 @ ICSE 2004) — Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky • Agents and Peer-to-Peer Computing (AP2PC 2004 @ AAMAS 2004) — Gianluca Moro, Sonia Bergamaschi, Karl Aberer • 3rd International Workshop “Declarative Agent Languages and Technologies” (DALT 2005) (DALT 2005 @ AAMAS 2005) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni • Crowd Modeling and Simulation: Towards 3D Visualization (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari • An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AAMAS 2005) — Mirko Viroli, Alessandro Ricci, Andrea Omicini • An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Programming Multi-Agent Systems (PROMAS 2004 @ AAMAS 2004) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni • Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums” (The Knowledge Engineering Review) — Andrea Omicini, Peter McBurney • Preface (Transactions on Computational Systems Biology III) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini • Environments for Multi-Agent Systems (E4MAS 2004) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel • Coordination and Composition in Multi-agent Systems (AAMAS 2005) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer • Preface (Engineering Societies in the Agents World V) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli • On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (WOA 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini • Multiagent System Technologies (MATES 2005) — Torsten Eymann, Franziska Klügl, Winfried Lamersdorf, Matthias Klusch, Michael N. Huhns • Zooming Multi-Agent Systems (AOSE 2005 @ AAMAS 2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti • MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005) — Ambra Molesini, Enrico Denti, Andrea Omicini • Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005 @ AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti • Transactions on Computational Systems Biology III (edited volume) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini • The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (CEEMAS 2005) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita • Adaptive Agents and Multiagent Systems (IEEE Distributed Systems Online) — Zahia Guessoum • The Gaia Methodology (book chapter) — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli • Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini • Preface (Engineering Societies in the Agents World IV) — Andrea Omicini, Paolo Petta, Jeremy Pitt • ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (FOCLASA 2004 @ CONCUR'04) — Mirko Viroli, Andrea Omicini • Coordination Infrastructures in the Engineering of Multiagent Systems (book chapter) — Andrea Omicini, Sascha Ossowski, Alessandro Ricci • Challenges and Research Directions in Agent-Oriented Software Engineering (Autonomous Agents and Multi-Agent Systems) — Franco Zambonelli, Andrea Omicini • Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information (paper in proceedings) — Dieter Fensel • Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004) (SAC 2004) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock • 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004) —  • Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems (ESA 2004) — Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti • “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (E4MAS 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini • Preface (Models and Metaphors from Biology to Bioinformatics Tools) — Emanuela Merelli, Andrea Omicini, Pedro Pablo González Pérez • Relevance of Winning Coalitions in Indirect Control of Corporations (Theory and Decision) — Enrico Denti, Nando Prati • sTuples: Semantic Tuple Spaces (paper in proceedings) — Deepali Khushraj, Ora Lassila, Tim Finin • On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (FOCLASA 2003 @ CONCUR'03) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli • From the Editor in Chief: Nature-Inspired Computing (IEEE Intelligent Systems) — Nigel Shadbolt • Composing Adaptive Software (Computer) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng • Coordination and Collaboration Activities in Cooperative Information Systems (International Journal of Cooperative Information Systems) — Andrea Omicini, Sascha Ossowski • Programming Pervasive and Mobile Computing Applications with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco Zambonelli • Agent Coordination Context: From Theory to Practice (AT2AI-4 @ EMCSR 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Engineering Trust in Complex System through Mediating Infrastructures (WOA 2004) — Alessandro Ricci, Andrea Omicini • Models and Metaphors from Biology to Bioinformatics Tools (edited volume) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini • The First AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Peter McBurney, Cristiano Castelfranchi • Programming Multi-Agent Systems (PROMAS 2003 @ AAMAS 2003) — Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni • Towards Seamless Agent Middleware (TAPOCS 2004 @ WET ICE 2004) — Andrea Omicini, Giovanni Rimassa • A Programming Language for Cognitive Agents: Goal Directed 3APL (PROMAS 2003 @ AAMAS 2003) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer • Message from the Program Chairs (Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004)) — Andrea Omicini, Roger L. Wainwright • From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs (paper in proceedings) — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita • Declarative Agent Languages and Technologies (DALT 2003 @ AAMAS 2003) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni • Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems (CILC 2004) — Ivana Gungui, Viviana Mascardi • A Conceptual Framework for Self-Organising MAS (WOA 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini • An Agent-oriented Conceptual Framework for Biological Systems Simulation (NETTAB 2004) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci • Preface (Declarative Agent Languages and Technologies) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni • Online Engineering and Open Computational Systems (book chapter) — Martin Fredriksson, Rune Gustavsson • From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools (paper in proceedings) — Andrei Borshchev, Alexei Filippov • Quarto Workshop Internazionale “Engineering Societies in the Agents World” (ESAW 2003) (article in journal) — Lloyd Kamara, Andrea Omicini, Paolo Petta • Verifiable Multi-agent Programs (PROMAS 2003 @ AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge • Agent-Oriented Software Engineering IV (AOSE 2003 @ AAMAS 2003) — Paolo Giorgini, Jörg P. Müller, James Odell • What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (CEAS'04 @ ECAI 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini • Probabilistic KLAIM (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky • Reo: A Channel-based Coordination Model for Component Composition (Mathematical Structures in Computer Science) — Farhad Arbab • Experiencing AUML in the GAIA Methodology (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli • Role-Based Access Control in MAS using Agent Coordination Contexts (AOTP'04 @ AAAI 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Engineering Societies in the Agents World IV (ESAW 2003) — Andrea Omicini, Paolo Petta, Jeremy Pitt • Software Engineering for Multi-Agent Systems II (SELMAS 2003 @ ICSE 2003) — Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S. C. Alencar • Special Issue “Coordination and Collaboration Technologies” (International Journal of Cooperative Information Systems) — Andrea Omicini, Sascha Ossowski • Workpackage 5: Technical Forum (other publication sort) — Andrea Omicini • C@sa: Intelligent Home Control and Simulation (paper in proceedings) — Berardina De Carolis, Giovanni Cozzolongo • Verifying Communicating Agents by Model Checking in a Temporal Action Logic (paper in proceedings) — Laura Giordano, Alberto Martelli, Camilla Schwind • MAS as Complex Systems: A View on the Role of Declarative Approaches (DALT 2003 @ AAMAS 2003) — Andrea Omicini, Franco Zambonelli • AgentLink III: The European Network for Agents is Back (article in journal) — Peter McBurney, Andrea Omicini • Multiagent System Technologies (MATES 2004) — Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, Rainer Unland • Using Swarm Intelligence in Linda Systems (ESAW 2003) — Robert Tolksdorf, Ronaldo Menezes • A Semantics for the Interaction of Agents with Coordination Artifacts (AT2AI-4 @ EMCSR 2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini • WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali (WOA 2004) — Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini • Ant Colony Optimization (book) — Marco Dorigo, Thomas Stützle • Decision Support Systems and Intelligent Systems (book) — Efraim Turban, Jay E. Aronson, Ting-Peng Liang • Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa • 2nd International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (TAPOCS 2004 @ WET ICE 2004) — Andrea Omicini, Alessandro Ricci, Dina Goldin • Open Directions in Agent-Oriented Software Engineering (UPGRADE: The European Journal for the Informatics Professional) — Franco Zambonelli, Andrea Omicini • RBAC for Organisation and Security in an Agent Coordination Infrastructure (SecCo'04) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Guest Editorial (The Journal of Object Technology) — Davide Ancona, Mirko Viroli • MAS Organisation within a Coordination Infrastructure: Experiments in TuCSoN (ESAW 2003) — Andrea Omicini, Alessandro Ricci • Integrating Objective & Subjective Coordination in Multi-Agent Systems (CM 2004 @ SAC 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa • System Support for Pervasive Applications (ACM Transactions on Computer Systems) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall • Paradigm and Software Engineering (paper in proceedings) — Erek Göktürk, M. Naci Akkøk • sTuples: Semantic Tuple Spaces (paper in proceedings) — Deepali Khushraj, Ora Lassila, Timothy W. Finin • Model Checking for ACL Compliance Verification (book chapter) — Marc-Philippe Huget, Michael J. Wooldridge • Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro • Tropos: An Agent-Oriented Software Development Methodology (Autonomous Agents and Multi-Agent Systems) — Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos, Anna Perini • An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (SASEMAS'04 @ AAMAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini • Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (ESAW 2003) — Enrico Denti, Alessandro Ricci, Rossella Rubino • The Vision of Autonomic Computing (Computer) — Jeffrey O. Kephart, David M. Chess • Supporting Coordination in Open Computational Systems with TuCSoN (TAPOCS 2003 @ WET ICE 2003) — Alessandro Ricci, Andrea Omicini • Lean Software Development: An Agile Toolkit (book) — Mary Poppendieck, Tom Poppendieck • A software framework for matchmaking based on semantic web technology (paper in proceedings) — Lei Li, Ian Horrocks • Agents and Peer-to-Peer Computing (AP2PC 2002 @ AAMAS 2002) — Gianluca Moro, Manolis Koubarakis • 1st International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2003 @ WET ICE 2003) — Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci • Investigations (book) — Stuart A. Kauffman • Architecture as a Coordination Tool in Multi-site Software Development (Software Process: Improvement and Practice) — Päivi Ovaska, Matti Rossi, Pentti Marttiin • Modeling Agents and their Environment (AOSE 2002 @ AAMAS 2002) — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner • Computation Beyond Turing Machines (Communications of the ACM) — Peter Wegner, Dina Goldin • Learning the Sequential Coordinated Behavior of Teams from Observations (paper in proceedings) — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso • Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski • Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2002 @ ICSE 2002) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro • Method engineering for OO systems development (Communications of the ACM) — Brian Henderson-Sellers • MavHome: An Agent-based Smart Home (paper in proceedings) — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja • Engineering Societies in the Agents World III (ESAW 2002) — Paolo Petta, Robert Tolksdorf, Franco Zambonelli • WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva (WOA 2003) — Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa Vargiu • Agent-Oriented Software Engineering III (AOSE 2002 @ AAMAS 2002) — Fausto Giunchiglia, James Odell, Gerhard Weiss • Stochastic models for DNA replication (book chapter) — Richard Cowan • Adaptiveness in Linda-Based Coordination Models (paper in proceedings) — Ronaldo Menezes, Robert Tolksdorf • A Type-Passing Approach for the Implementation of Parametric Methods in Java (The Computer Journal) — Mirko Viroli • Towards a Methodology for Coordination Mechanism Selection in Open Systems (ESAW 2002) — Simon Miles, Mike Joy, Michael Luck • Reasoning about Organisation: Shaping the Infrastructure (AI*IA Notizie) — Andrea Omicini, Alessandro Ricci • La riforma universitaria a Ingegneria, Cesena: perché funziona? (article in journal) — Andrea Omicini • AI*IA 2003: Advances in Artificial Intelligence (AI*IA 2003) — Amedeo Cappelli, Franco Turini • Task-Oriented Engineering of Coordinated Software Systems (ISPE CE 2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci • Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (SecCo'03) — Andrea Omicini, Alessandro Ricci, Mirko Viroli • Editorial Message: Special Track on Coordination models, Languages and Applications (CM 2003 @ SAC 2003) — Andrea Omicini, Sascha Ossowski • The Second International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2003) —  • Quantitative Relations and Approximate Process Equivalences (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky • Preface (Cooperative Information Agents VII) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen • Activity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti • Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management (book) — Jean-Philippe Bouchaud, Marc Potters • Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (The Knowledge Engineering Review) — Franco Zambonelli, H. Van Dyke Parunak • Cooperative Information Agents VII (CIA 2003) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen • Coordination as a Service: Ontological and Formal Foundation (FOCLASA 2002 @ CONCUR'02) — Mirko Viroli, Andrea Omicini • Model Checking AgentSpeak (AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge • Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti • How has the 9/11 terrorist attack influenced decision making? (Applied Cognitive Psychology) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri • From SHIQ and RDF to OWL: The Making of a Web Ontology Language (Journal of Web Semantics) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen • Developing multiagent systems: The Gaia methodology (ACM Transactions on Software Engineering and Methodology) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge • Objective versus Subjective Coordination in the Engineering of Agent Systems (AL2M2) — Andrea Omicini, Sascha Ossowski • Preface (Software Engineering for Large-Scale Multi-Agent Systems) — Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro • Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (ESAW 2002) — Marco Mamei, Franco Zambonelli, Letizia Leonardi • Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures (phd thesis) — Alessandro Ricci • Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli • Multiagent System Technologies (MATES 2003) — Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield • Signs of a Revolution in Computer Science and Software Engineering (ESAW 2002) — Franco Zambonelli, H. Van Dyke Parunak • Principles of Constraint Programming (book) — Krzysztof R. Apt • On the event coordination in multi-component systems (paper in proceedings) — Gianluca Moro, Antonio Natali • Agent-based approach for software development process simulation (paper in proceedings) — N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala • The Logic of Scientific Discovery (book) — Karl Raimund Popper • Towards a Notion of Agent Coordination Context (book chapter) — Andrea Omicini • Coordination Knowledge Engineering (The Knowledge Engineering Review) — Sascha Ossowski, Andrea Omicini • On the Grey-Box Modelling Approach for Autonomous Agents (AI*IA 2002) — Mirko Viroli, Andrea Omicini • Tuple-based Models in the Observation Framework (COORDINATION 2002) — Mirko Viroli, Andrea Omicini • Coordination Tools for the Development of Agent-based Systems (AT2AI-3 @ EMCSR 2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci • Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli • Co-operating Sequential Processes (book chapter) — Edsger Wybe Dijkstra • Deep Blue (article in journal) — Murray Campbell, A.Joseph Hoane, Feng-hsiung Hsu • Bisimulation for Labelled Markov Processes (Information and Computation) — José Desharnais, Abbas Edalat, Prakash Panangaden • Aristotle: Semantics and Ontology. Volume I: General Introduction. The Works on Logic (book) — Lambertus Marie De Rijk • Towards an Alternative Semantics for FIPA ACL (AT2AI-3 @ EMCSR 2002) — Mirko Viroli, Andrea Omicini • Principled Design of the Modern Web Architecture (ACM Transactions on Internet Technology) — Roy Thomas Fielding, Richard N. Taylor • Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini • Design Principles of a Reactive Behavioral System for the Intelligent Room (Bitstream: The MIT Journal of EECS Student Research) — Ajay Kulkarni • The First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) — Cristiano Castelfranchi, W. Lewis Johnson • The TROPOS Analysis Process as Graph Transformation System (paper in proceedings) — Paolo Bresciani, Paolo Giorgini • Activity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti • Linear Embedding for a Quantitative Comparison of Language Expressiveness (paper in proceedings) — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky • Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology (paper in proceedings) — Anna Perini, Angelo Susi, Fausto Giunchiglia • Extending ReSpecT for Multiple Coordination Flows (PDPTA'02) — Alessandro Ricci, Andrea Omicini, Mirko Viroli • Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (Annals of Software Engineering) — Brian Henderson-Sellers • Intelligent Agents VIII (ATAL-01) — John-Jules Ch. Meyer, Milind Tambe • Extreme Programming of Multi-Agent Systems (AAMAS 2002) — Holger Knublauch • Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (COORDINATION 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti • Editorial Message: Special Track on Coordination Models, Languages and Applications (CM 2002 @ SAC 2002) — Andrea Omicini, Sascha Ossowski • Agent-Based Modeling: Methods and Techniques for Simulating Human Systems (paper in proceedings) — Eric Bonabeau • Engineering Agent Societies: A Case Study in Smart Environments (AAMAS 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti • A Specification Language for Agents Observable Behaviour (IC-AI'02) — Mirko Viroli, Andrea Omicini • A Framework for Systemic Coordination in Open Computational Systems (WOA 2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson • Virtual Enterprises and Workflow Management as Agent Coordination Issues (International Journal of Cooperative Information Systems) — Alessandro Ricci, Andrea Omicini, Enrico Denti • Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project (ESA 2002) — Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli • Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources (paper in proceedings) — Alex Borgida, Luciano Serafini • The Complementary Nature of Coordination Dynamics: Self-organization and Agency (Nonlinear Phenomena in Complex Systems) — J.A. Scott Kelso • Objects and Agents Compared (The Journal of Object Technology) — James J. Odell • Agent Communication Language Specifications (manual) —  • Modelling Agents as Observable Sources (Journal of Universal Computer Science) — Mirko Viroli, Andrea Omicini • Tuple-based Coordination Models in Event-based Scenarios (paper in proceedings) — Mirko Viroli, Alessandro Ricci • Software Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (SELMAS 2002 @ ICSE 2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli • Computational challenges in cell simulation: a software engineering approach (IEEE Intelligent Systems) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita • On the Expressiveness of Event-Based Coordination Media (PDPTA'02) — Mirko Viroli, Andrea Omicini, Alessandro Ricci • An Introduction to MultiAgent Systems (book) — Michael J. Wooldridge • Special Issue “Coordination and Knowledge Engineering” (The Knowledge Engineering Review) — Andrea Omicini, Sascha Ossowski • Coordination Tools for MAS Development and Deployment (Applied Artificial Intelligence) — Enrico Denti, Andrea Omicini, Alessandro Ricci • An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence) — Mirko Viroli, Andrea Omicini • Model Checking Multi-Agent Systems with MABLE (AAMAS 2002) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons • Agent Coordination Contexts: Experiments in TuCSoN (WOA 2002) — Alessandro Ricci, Andrea Omicini • Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (AAMAS 2002) — H. van Dyke Parunak, Sven Brueckner, John Sauter • Agent-Oriented Software Engineering II (AOSE 2001 @ Agents 2001) — Michael Wooldridge, Gerhard Weiss, Paolo Ciancarini • A Survey of Coordination Middleware for XML-centric Applications (The Knowledge Engineering Review) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli • Agile development of a clinical multi-agent system: An Extreme Programming case study (paper in proceedings) — Holger Knublauch, Holger Koeth, Thomas Rose • Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (Journal of Computational Biology) — Hidde De Jong • Probabilistic Extensions of Process Algebras (book chapter) — Jonsson Bengt, Kim G. Larsen, Wang Yi • Formal ReSpecT (AGP 2000) — Andrea Omicini, Enrico Denti • Enlightened Agents in TuCSoN (AI*IA Notizie) — Alessandro Ricci, Andrea Omicini, Enrico Denti • The Anatomy of the Grid: Enabling Scalable Virtual Organizations (book chapter) — Ian Foster • Preface (Engineering Societies in the Agents World II) — Andrea Omicini, Paolo Petta, Robert Tolksdorf • A Coordination Language for Collective Agent-based Systems: GroupLog (Applied Artificial Intelligence) — Fernanda Barbosa, José C. Cunha • Coordination as a Paradigm for Systems Integration (Journal of Systems Integration) — Andrea Omicini, George A. Papadopoulos • Questions and Answers: Reasoning and Querying in Description Logic (phd thesis) — Sergio Tessaris • LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (Autonomous Agents and Multi-Agent Systems) — Enrico Denti, Andrea Omicini • Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie) — Mirko Viroli, Andrea Omicini • Introduction to This Special Issue on Context-Aware Computing (Human–Computer Interaction) — Thomas Moran, Paul Dourish • Special Issue “Coordination Models and Languages in AI” (Applied Artificial Intelligence) — Andrea Omicini, George A. Papadopoulos • Multi-Agent Systems and Applications (edited volume) — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl • Tuple-based Technologies for Coordination (Coordination of Internet Agents) — Davide Rossi, Giacomo Cabri, Enrico Denti • ESAW'00 Workshop on Engineering Societies in the Agents World (other publication sort) — Andrea Omicini, Franco Zambonelli, Robert Tolksdorf • Multi-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea Omicini • Editorial: Why Coordination Models and Languages in AI? (Applied Artificial Intelligence) — Andrea Omicini, George A. Papadopoulos • Simulation-verification: biting at the state explosion problem (IEEE Transactions on Software Engineering) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian • From Tuple Spaces to Tuple Centres (Science of Computer Programming) — Andrea Omicini, Enrico Denti • Coordination of Internet Agents (edited volume) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf • WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2001) — Andrea Omicini, Mirko Viroli • Safe Tuplespace-based Coordination in Multiagent Systems (Applied Artificial Intelligence) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky • Intelligent Agents VII (ATAL-00) — Cristiano Castelfranchi, Yves Lespérance • Coordination Models, Languages and Applications. Track Chair Messages (CM 2001 @ SAC 2001) — Andrea Omicini • The OPEN Process Framework: An Introduction (book) — Donald Firesmith, Brian Henderson-Sellers • The Anatomy of the Grid: Enabling Scalable Virtual Organizations (The International Journal of High Performance Computing Applications) — Ian Foster, Carl Kesselman, Steven Tuecke • Gamma and the Chemical Reaction Model: Fifteen Years After (book chapter) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer • On the Notion of Agent Coordination Context: Preliminary Notes (AI*IA Notizie) — Andrea Omicini • Designing Agent-Oriented Systems by Analysing Agent Interactions (AOSE 2000 @ ICSE 2000) — Simon Miles, Mike Joy, Michael Luck • Chaff: engineering an efficient SAT solver (DAC 2001) — Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik • Enlightened Agents in TuCSoN (WOA 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti • An Approach for Method Reengineering (paper in proceedings) — Jolita Ralyté, Colette Rolland • Coordination Models and Languages: State of the Art. Introduction (Coordination of Internet Agents) — Andrea Omicini • Preface: Coordination of Internet Agents (Coordination of Internet Agents) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf • Engineering Societies in the Agents World II (ESAW'01) — Andrea Omicini, Paolo Petta, Robert Tolksdorf • Control-driven Constraint Propagation (Applied Artificial Intelligence) — Eric Monfroy • Special Issue “Coordination as a Paradigm for Systems Integration” (Journal of Systems Integration) — Andrea Omicini, George A. Papadopoulos • Self Organization and Coordination (Computational Economics) — Scott E. Page • Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (Journal of Knowledge Management) — Ganesh D. Bhatt • Statistical Physics of Spin Glasses and Information Processing: An Introduction (book) — Hidetoshi Nishimori • Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (CIA 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini • Proceedings of the Fifth International Conference on Autonomous Agents (Agents 2001) — Elisabeth André, Sandip Sen, Claude Frasson, Jörg P. Müller • Basic Enabling Technologies. Introduction (Coordination of Internet Agents) — Andrea Omicini • An Agent-based Approach for Building Complex Software Systems (Communications of the ACM) — Nicholas R. Jennings • Agent-Oriented Software Engineering (AOSE 2000 @ ICSE 2000) — Paolo Ciancarini, Michael Wooldridge • tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro Ricci • On the Unusual Effectiveness of Logic in Computer Science (Bulletin of Symbolic Logic) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu • An Assembly Process Model for Method Engineering (paper in proceedings) — Jolita Ralyté, Colette Rolland • Objective Coordination in Multi-Agent System Engineering (book) — Michael Schumacher • WOA 2001 — Dagli oggetti agli agenti (AI*IA Notizie) — Marco Cadoli, Andrea Omicini, Agostino Poggi, Franco Zambonelli • AI*IA 2001: Advances in Artificial Intelligence (AI*IA 2001) — Floriana Esposito • Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (International Journal of Software Engineering and Knowledge Engineering) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge • On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001 @ SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini • Agent-Oriented Software Engineering for Internet Applications (Coordination of Internet Agents) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge • XML Dataspaces for the Coordination of Internet Agents (Applied Artificial Intelligence) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli • An Algorithm for Winning Coalitions in Indirect Control of Corporations (Decisions in Economics and Finance) — Nando Prati, Enrico Denti • Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti • Preface: Volume 48 (Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini • Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (AGP 2000) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini • The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti • SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (AOSE 2000 @ ICSE 2000) — Andrea Omicini • The LuCe Coordination Technology for MAS Design and Development on the Internet (COORDINATION 2000) — Enrico Denti, Andrea Omicini, Vladimiro Toschi • Hybrid Coordination Models for Handling Information Exchange among Internet Agents (MAS-RCRA @ AI*IA 2000) — Andrea Omicini • On the Expressiveness of Linda Coordination Primitives (Information and Computation) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro • Mind the Gap! Towards a unified view of CSCW (paper in proceedings) — Kjeld Schmidt, Carla Simone • Intelligent Agents VI (ATAL-99) — Nicholas R. Jennings, Yves Lespérance • Multiagent System Engineering: The Coordination Viewpoint (ATAL-99) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli • A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000) — Enrico Denti, Andrea Omicini • WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2000) — Antonio Corradi, Andrea Omicini, Agostino Poggi • Preface (WOA 2000) — Antonio Corradi, Andrea Omicini, Agostino Poggi • From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000) — Andrea Omicini • On Agent-Based Software Engineering (article in journal) — Nicholas R. Jennings • Compositional Algebra for Interactive Data Access (Information Systems) — Gianluca Moro, Antonio Natali, Claudio Sartori • EasyLiving: Technologies for Intelligent Environments (paper in proceedings) — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer • Ruling Agent Motion in Structured Environments (HPCN Europe 2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli • Selecting a Project's Methodology (IEEE Software) — Alistair Cockburn • Amorphous Computing (Communications of the ACM) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss • Engineering Societies in the Agents World (ESAW'00 @ ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli • Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti • Formal ReSpecT (AGP 2000) — Andrea Omicini, Enrico Denti • Folk Physics for Apes: The Chimpanzee's Theory of How the World Works (book) — Daniel J. Povinelli • Architectural Styles and the Design of Network-based Software Architectures (phd thesis) — Roy Thomas Fielding • Special Track on Coordination Models, Languages and Applications (CM 2000 @ SAC 2000) — Andrea Omicini, George A. Papadopoulos • Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (COORDINATION 2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli • AI*IA 99: Advances in Artificial Intelligence (AI*IA99) — Evelina Lamma, Paola Mello • Process Migration (ACM Computing Surveys) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou • Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (The Journal of Physical Chemistry A) — Michael A. Gibson, Jehoushua Bruck • Fondamenti di Informatica A (Parte II) (book) — Enrico Denti • Context-Dependency in Internet-Agent Coordination (ESAW'00 @ ECAI 2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli • The Gaia Methodology for Agent-Oriented Analysis and Design (Autonomous Agents and Multi-Agent Systems) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny • Preface (ESAW'00 @ ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli • SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (AOSE 2000 @ ICSE 2000) — Andrea Omicini • On the Consistent Observation of Active Systems (paper in proceedings) — Gianluca Moro, Antonio Natali, Mirko Viroli • Proceedings of the Fourth International Conference on Autonomous Agents (Agents 2000) — Carles Sierra, Maria L. Gini, Jeffrey S. Rosenschein • MARS: A Programmable Coordination Architecture for Mobile Agents (IEEE Internet Computing) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli • Persistent Turing Machines as a Model of Interactive Computation (paper in proceedings) — Dina Q. Goldin • Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (ACM SIGPLAN Notices) — Mirko Viroli, Antonio Natali • MAAMAW'99 — Modelling Autonomous Agents in a Multi-Agent World (AI*IA Notizie) — Andrea Omicini • Mathematical Models of Interactive Computing (technical report) — Peter Wegner, Dina Goldin • Implementing the ACLT Coordination Model (technical report) — Enrico Denti • Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web (book) — Tim Berners-Lee, Mark Fischetti • Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999) — Andrea Omicini, Franco Zambonelli • On the Expressiveness of Coordination Models (paper in proceedings) — Antonio Brogi, Jean-Marie Jacquet • Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (MAAMAW'99) — Marco Cremonini, Andrea Omicini, Franco Zambonelli • Extreme Programming Explained: Embrace Change (book) — Kent Beck • Multi-Agent System Engineering (MAAMAW'99) — Francisco J. Garijo, Magnus Boman • Meta-Modelling Based Assembly Techniques for Situational Method Engineering (Information Systems) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen • Introduction to Econophysics: Correlations and Complexity in Finance (book) — Rosario N. Mantegna, H. Eugene Stanley • Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli • Coordination Technology for the Development of Multi-Agent Systems on the Web (AI*IA99) — Enrico Denti, Andrea Omicini, Vladimiro Toschi • Engineering Multi-Agent Systems in LuCe (MAS @ ICLP'99) — Enrico Denti, Andrea Omicini • Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices (book) — Eric Freeman, Susanne Hupfer, Ken Arnold • The Explorable Topology: Supporting Agent Autonomy on the Internet (WSDAAL'99) — Marco Cremonini, Andrea Omicini, Franco Zambonelli • Coordination Models for Multi-Agent Systems (AgentLink News) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli • Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (IEEE Transactions on Software Engineering) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao • A Methodology for Agent-Oriented Analysis and Design (Agents '99) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny • Coordination for Internet Application Development (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Franco Zambonelli • Swarm Intelligence: From Natural to Artificial Systems (book) — Eric Bonabeau, Marco Dorigo, Guy Theraulaz • A Brief History of Stigmergy (Artificial Life) — Guy Theraulaz, Eric Bonabeau • Building Mobile Agent Applications in HiMAT (PDSE'99) — Marco Cremonini, Andrea Omicini, Franco Zambonelli • Coordination Technologies for Internet Agents (Nordic Journal of Computing) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli • The HiMAT Model for Mobile Agent Applications (PODC 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli • Adopting an Object-Oriented Data Model in Inductive Logic Programming (FLAIRS 1999) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi • Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione (book) — Enrico Denti • Distributed Cognition, Coordination and Environment Design (paper in proceedings) — David Kirsh • The UMASS Intelligent Home Project (Agents '99) — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang • Fondamenti di Informatica A (Parte I) (book) — Enrico Denti • Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence (edited volume) — Gerhard Weiss • Intelligent Agents V (ATAL-98) — Jörg P. Müller, Munindar P. Singh, Anand S. Rao • Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini • Coinductive Models of Finite Computing Agents (paper in proceedings) — Peter Wegner, Dina Goldin • On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999) — Andrea Omicini • Proceedings of the Third Annual Conference on Autonomous Agents (Agents '99) — Oren Etzioni, Jörg P. Müller, Jeffrey M. Bradshaw • Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (COORDINATION 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli • Co-ordination in Artificial Agent Societies (book) — Sascha Ossowski • Multiagent System Engineering: The Coordination Viewpoint (ATAL-99) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli • An Architecture for Tuple-based Coordination of Multi-Agent Systems (Software: Practice and Experience) — Enrico Denti, Andrea Omicini • Agents with Power (Communications of the ACM) — Rune Gustavsson • Editor's Introduction: Stigmergy (Artificial Life) — Eric Bonabeau • Comparing Coordination Models based on Shared Distributed Replicated Data (CM @ SAC 1999) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro • Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (IEEE Transactions on Software Engineering) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth • T Spaces (IBM Systems Journal) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford • KLAIM: A Kernel Language for Agent Interaction and Mobility (IEEE Transactions on Software Engineering) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese • Collective dynamics of ‘small-world’ networks (Nature) — Duncan J. Watts, Steven H. Strogatz • Understanding Code Mobility (IEEE Transactions on Software Engineering) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna • Programming with Constraints: An Introduction (book) — Kim Marriott, Peter J. Stuckey • Coordination Models and Languages (book chapter) — George A. Papadopoulos, Farhad Arbab • Towards a Hierarchy of Negative Test Operators for Generative Communication (paper in proceedings) — Gianluigi Zavattaro • Principles of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (paper in proceedings) — Cristiano Castelfranchi, Rino Falcone • Planning and acting in partially observable stochastic domains (article in journal) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra • A process algebraic view of Linda coordination primitives (Theoretical Computer Science) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro • Co-ordination of Mobile Information Agents in TuCSoN (Internet Research) — Andrea Omicini, Franco Zambonelli • Intelligent Agents IV (ATAL-97) — Munindar P. Singh, Anand S. Rao, Michael J. Wooldridge • Proceedings of the Second International Conference on Autonomous Agents (Agents '98) — Katia P. Sycara, Michael J. Wooldridge • Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (phd thesis) — Enrico Denti • Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (other publication sort) — Enrico Denti • On the Incomparability of Gamma and Linda (technical report) — Gianluigi Zavattaro • Agent Communication Languages: Rethinking the Principles (Computer) — Munindar P. Singh • Designing for the Dynamics of Cooperative Work Activities (paper in proceedings) — Jakob Bardram • Decision procedures for BDI logics (Journal of Logic and Computation) — Anand S. Rao, Michael P. Georgeff • Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature? (book) — Gustave Martelet • On the Expressive Power of a Language for Programming Coordination Media (CM @ SAC 1998) — Enrico Denti, Antonio Natali, Andrea Omicini • Distributed Agents Supporting Event-Driven Design Processes (book chapter) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira • Coordination of Mobile Agents for Information Systems: the TuCSoN Model (AI*IA'98) — Andrea Omicini, Franco Zambonelli • Modelling Social Action for AI Agents (article in journal) — Cristiano Castelfranchi • Towards Empirical Computer Science (The Monist) — Peter Wegner • Principles of Declarative Programming (PLILP’98) — Catuscia Palamidessi, Hugh Glaser, Karl Meinke • A Comprehensive View of Process Engineering (paper in proceedings) — Colette Rolland • TuCSoN: a Coordination model for Mobile Information Agents (IIIS-98 @ CAiSE'98) — Andrea Omicini, Franco Zambonelli • The Distributed Constraint Satisfaction Problem: Formalization and Algorithms (IEEE Transactions on Knowledge and Data Engineering) — Makoto Yokoo, Edmund H. Durfee, Toru Ishida, Kazuhiro Kuwabara • A Fuzzy Description Logic (paper in proceedings) — Umberto Straccia • A Formal Specification of dMARS (ATAL-97) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge • Data Access Services and Automatic Generation of Cooperative Interfaces (paper in proceedings) — Gianluca Moro, Antonio Natali, Claudio Sartori • Intelligent Decision Support Methods: The Science of Knowledge Work (book) — Vasant Dhar, Roger M. Stein • Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work (book chapter) — Yrjo Engeström, Katherine Brown, L. Carol Christopher, Judith Gregory • Designing Multi-Agent Systems around a Programmable Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini • Issues in Agent-Based Software Engineering (paper in proceedings) — Michael J. Wooldridge • Situational Method Engineering (book) — A.F. Harmsen • Multi-Agent Rationality (MAAMAW'97) — Magnus Boman, Walter Van de Velde • Programmable Coordination Media (COORDINATION 1997) — Enrico Denti, Antonio Natali, Andrea Omicini • Semantics and Conversations for an Agent Communication Language (book chapter) — Yannis Labrou, Tim Finin • “Go to the Ant”: Engineering Principles from Natural Agent Systems (Annals of Operations Research) — H. Van Dyke Parunak • In Pursuit of the Holy Grail (Constraints) — Eugene C. Freuder • Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents (ATAL-96 @ ECAI'96) — Stan Franklin, Art Graesser • Learning with an Object-Oriented Data Model (AALN’97) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi • Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (paper in proceedings) — Leon J. Osterweil • A Tutorial on (Co)Algebras and (Co)Induction (Bulletin of the European Association for Theoretical Computer Science) — Bart Jacobs, Jan Rutten • Expressive Power of the ACLT Reaction Specification Language (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini • Programming Languages: Implementations, Logics, and Programs (PLILP’97) — Hugh Glaser, Pieter Hartel, Herbert Kuchen • Why Interaction Is More Powerful Than Algorithms (Communications of the ACM) — Peter Wegner • Intelligent Agents III (ATAL-96 @ ECAI'96) — Jörg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings • Proceedings of the First International Conference on Autonomous Agents (Agents '97) — W. Lewis Johnson • Merging Logic Programming into Web-based Technology: A Coordination-based Approach (LPNET'97 @ ICLP'97) — Enrico Denti, Antonio Natali, Andrea Omicini • AI*IA 97: Advances in Artificial Intelligence (AI*IA'97) — Maurizio Lenzerini • Integrating Knowledge Acquisition in Plan Selection (AI*IA'96) — Antonio Natali, Andrea Omicini • The Birth of Prolog (book chapter) — Alain Colmerauer, Philippe Roussel • Foundations of Distributed Artificial Intelligence (edited volume) — Gregory M.P. O'Hare, Nicholas R. Jennings • Logic Tuple Spaces for the Coordination of Heterogeneous Agents (FroCoS 1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti • Programming Languages: Implementations, Logics, and Programs (PLILP’96) — Herbert Kuchen, S. Doaitse Swierstra • An Extensible Framework for the Development of Coordinated Applications (COORDINATION'96) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti • History of Programming Languages II (HOPL 1993) — Thomas J Bergin Jr., Richard G Gibson Jr. • Coordination Models and Languages as Software Integrators (ACM Computing Surveys) — Paolo Ciancarini • Intelligent Agents II (ATAL-95 @ IJCAI'95) — Michael J. Wooldridge, Jörg P. Müller, Milind Tambe • An Object-Oriented Approach to Planning (FAPR'96 Workshop) — Umberto Fonda, Antonio Natali, Andrea Omicini • A General Framework for Multi-Theory Logic Languages (technical report) — Andrea Omicini • The Structure of Scientific Revolutions (book) — Thomas S. Kuhn • A Software Environment for Concurrent Coordinated Programming (COORDINATION'96) — Anne-Alexandra Holzbacher • AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (MAAMAW'96) — Anand S. Rao • Trading Consistency for Availability in Distributed Systems (technical report) — Roy Friedman, Ken Birman • Method engineering: engineering of information systems development methods and tools (Information and Software Technology) — Sjaak Brinkkemper • Bulk Primitives in Linda Run-Time Systems (phd thesis) — Antony Ian Taylor Rowstron • Agents Breaking Away (MAAMAW'96) — Walter Van de Velde, John W. Perram • Distributed Software Agents and Applications (MAAMAW'94) — John W. Perram, Jean-Pierre Müller • Programming Languages: Implementations, Logics and Programs (PLILP’95) — Manuel Hermenegildo, S. Doaitse Swierstra • BDI Agents: From Theory to Practice (paper in proceedings) — Anand S. Rao, Michael P. Georgeff • Intelligent Agents: Theory and Practice (The Knowledge Engineering Review) — Michael J. Wooldridge, Nicholas R. Jennings • From Reaction to Cognition (MAAMAW'93) — Cristiano Castelfranchi, Jean-Pierre Müller • Context and Consciousness: Activity Theory and Human-Computer Interaction (edited volume) — Bonnie A. Nardi • A distributed semantics for EMPA based on stochastic contextual nets (The Computer Journal) — Marco Bernardo, Nadia Busi, Roberto Gorrieri • Integration of object-oriented analysis and performance simulation for engineering computer-based systems (paper in proceedings) — Richard Goldgar, Ramon D. Acosta • Intelligent Agents (ATAL-94 @ ECAI-94) — Michael J. Wooldridge, Nicholas R. Jennings • Law-Governed Linda as a Coordination Model (paper in proceedings) — Naftaly H. Minsky, Jerrold Leichter • Computational Research on Interaction and Agency (article in journal) — Philip E. Agre • Guarantees for Autonomy in Cognitive Agent Architecture (ATAL-94 @ ECAI-94) — Cristiano Castelfranchi • La programmazione logica nello sviluppo del software: dai modelli agli strumenti (book chapter) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini • Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (book) — Enrico Denti, Antonio Natali • Robot Control Systems as Contextual Logic Programs (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli • 1st International Conference on Multiagent Systems (edited volume) — Victor R. Lesser, Les Gasser • Agent Coordination and Control through Logic Theories (AI*IA'95) — Andrea Omicini, Enrico Denti, Antonio Natali • Specification and Analysis of System Architecture Using Rapide (IEEE Transactions on Software Engineering) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann • Reactive, Generative, and Stratified Models of Probabilistic Processes (Information and Computation) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen • Programmazione Logica Orientata agli Oggetti (phd thesis) — Andrea Omicini • A Petri Net Semantics for pi-Calculus (paper in proceedings) — Nadia Busi, Roberto Gorrieri • Cognitive and Social Action (edited volume) — Rosaria Conte, Cristiano Castelfranchi • Constraining Objects as Logic Theories (technical report) — Andrea Omicini • Topics in Artificial Intelligence (AI*IA'95) — Marco Gori, Giovanni Soda • A Filtering Algorithm for Constraints of Difference in CSPs (AAAI-94) — Jean-Charles Régin • Artificial Social Systems (MAAMAW'92) — Cristiano Castelfranchi, Eric Werner • A logic for reasoning about time and reliability (Formal Aspects of Computing) — Hans Hansson, Bengt Jonsson • A Structured Logic Programming Approach to Robot Programming (PAP'94) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli • Constraint Logic Programming: A Survey (The Journal of Logic Programming) — Joxan Jaffar, Michael J. Maher • The Interdisciplinary Study of Coordination (ACM Computing Surveys) — Thomas W. Malone, Kevin Crowston • A Multi-Agent Framework and Programming Environment for Autonomous Robotics (ICRA 1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini • Moving Prolog Toward Objects (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini • Scale in Distributed Systems (book chapter) — B. Clifford Neuman • Open Logic Theory Composition in a Software Engineering Perspective (ICLP'94-W7) — Enrico Denti, Andrea Omicini • Programming Language Implementation and Logic Programming (PLILP’94) — Manuel Hermenegildo, Jaan Penjam • Object-Oriented Computations in Logic Programming (ECOOP 1994) — Andrea Omicini, Antonio Natali • Introduction to Logic and to the Methodology of the Deductive Sciences (book) — Alfred Tarski, Jan Tarski • Distributed Programming with Logic Tuple Spaces (article in journal) — Paolo Ciancarini • Modularity in Logic Programming (The Journal of Logic Programming) — Michele Bugliesi, Evelina Lamma, Paola Mello • Embedding as a Tool for Language Comparison (Information and Computation) — Frank S. de Boer, Catiuscia Palamidessi • The convex-hull-and-line traveling salesman problem: a solvable case (Information Processing Letters) — Vladimir G. Deineko, René van Dal, Günter Rote • Advances in Artificial Intelligence (AI*IA'93) — Pietro Torasso • From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (PISELP @ ICLP'93) — Enrico Denti, Antonio Natali, Andrea Omicini • Foundations for Interaction: The Dependence Theory (paper in proceedings) — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli • Agent-Oriented Programming (article in journal) — Yoav Shoham • Objects with State in CSM (CompuLog 2 Meeting / WLL'93) — Antonio Natali, Andrea Omicini • Elements of Interaction: Turing Award Lecture (Communications of the ACM) — Robin Milner • Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini • Tools, Language and Cognition in Human Evolution (edited volume) — Kathleen R. Gibson, Tim Ingold • Objects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini • Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini • Science for the post-normal age (Futures) — Silvio O. Funtowicz, Jerome R. Ravetz • Development of a Programming Environment for Intelligent Robotics (paper in proceedings) — Stefano Caselli, Antonio Natali, Francesco Zanichelli • An Overview of Manifold and its Implementation (Concurrency and Computation: Practice and Experience) — Farhad Arbab, Ivan Herman, Per Spilling • Exploiting Logic Programming in Robot Applications (GULP 1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli • Programming Language Implementation and Logic Programming (PLILP’93) — Maurice Bruynooghe, Jaan Penjam • The Origins of Order: Self-organization and Selection in Evolution (book) — Stuart A. Kauffman • A History of Speculation on the Relation between Tools and Languages (book chapter) — Gordon W. Hewes • Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems (article in journal) — Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird • A calculus of mobile processes, I (Information and Computation) — Robin Milner, Joachim Parrow, David Walker • Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini • The Semantics of a Parallel Language based on a Shared Data Space (technical report) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich • An Abstract Architecture for Rational Agents (paper in proceedings) — Anand S. Rao, Michael P. Georgeff • Metastructures vs. Attributed Variables in the Context of Extensible Unification (PLILP’92) — Christian Holzbaur • An Extended Warren Abstract Machine for the Execution of Structured Logic Programs (The Journal of Logic Programming) — Evelina Lamma, Paola Mello, Antonio Natali • Decentralized A.I. 3 (MAAMAW'91) — Eric Werner, Yves Demazeau • Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini • Supporto alla Comunicazione Remota in MME 3 (technical report) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto • Extending Prolog with Modularity, Concurrency and Meta-Rules (article in journal) — Paola Mello, Antonio Natali • A calculus of mobile processes, II (Information and Computation) — Robin Milner, Joachim Parrow, David Walker • Programming Language Implementation and Logic Programming (PLILP’92) — Maurice Bruynooghe, Martin Wirsing • Coordination Languages and Their Significance (Communications of the ACM) — David Gelernter, Nicholas Carriero • Objects as Evolving Contexts (COMPULOG NET Area Meeting '92) — Antonio Natali, Andrea Omicini • Design principles for cognitive artifacts (Research in Engineering Design) — Donald A. Norman • Parallel Logic Programming using the Linda Model of Computation (paper in proceedings) — Paolo Ciancarini • Barbed Bisimulation (paper in proceedings) — Robin Milner, Davide Sangiorgi • CSM User's Guide (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini • The Chemical Abstract Machine (Theoretical Computer Science) — Gérard Berry, Gérard Boudol • Methodology EngineeringR: a proposal for situation-specific methodology construction (book chapter) — Kuldeep Kumar, Richard J. Welke • Co-ordinating Plans of Autonomous Agents (book) — Frank von Martial • Trends in Artificial Intelligence (AI*IA'91) — Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello • The Concept of Activity as a Basic Unit of Analysis for CSCW Research (paper in proceedings) — Kari Kuutti • Reflection Mechanisms for Combining Prolog Databases (Software: Practice and Experience) — Evelina Lamma, Paola Mello, Antonio Natali • Decentralized A.I. 2 (MAAMAW'90) — Yves Demazeau, Jean-Pierre Müller • Separating Concurrent Languages with Categories of Language Embeddings (paper in proceedings) — Ehud Shapiro • Generalizing Term Subsumption Languages to Fuzzy Logic (paper in proceedings) — John Yen • Quintus Prolog 3.0 (IEEE Intelligent Systems) — Ken Johnson • The Logical Basis of Metaphysics (book) — Michael Dummett • Modeling Rational Agents within a BDI Architecture (paper in proceedings) — Anand S. Rao, Michael P. Georgeff • Intelligence Without Reason (IJCAI 1991) — Rodney A. Brooks • Programming Language Implementation and Logic Programming (PLILP’91) — Jan Maluszyński, Martin Wirsing • Intelligence without Representation (article in journal) — Rodney A. Brooks • The Concurrent Language, Shared Prolog (ACM Transactions on Programming Languages and Systems) — Antonio Brogi, Paolo Ciancarini • The Narrative Construction of Reality (Critical Inquiry) — Jerome Bruner • Cognitive Artifacts (book chapter) — Donald A. Norman • An Introduction to Prolog III (Communications of the ACM) — Alain Colmerauer • Equivalences, congruences, and complete axiomatizations for probabilistic processes (paper in proceedings) — Chi-Chang Jou, Scott A. Smolka • The GAMMA Model and its Discipline of Programming (Science of Computer Programming) — Jean-Pierre Banâtre, Daniel Le Métayer • IEEE Standard Glossary of Software Engineering Terminology (technical report) — IEEE Standard Board • What is Intention? (book chapter) — Michael E. Bratman, Andrea Roli • Decentralized A.I. (MAAMAW'89) — Yves Demazeau, Jean-Pierre Müller • Testing Equivalences and Fully Abstract Models for Probabilistic Processes (paper in proceedings) — Ivan Christoff • Concepts and Paradigms of Object-oriented Programming (ACM SIGPLAN OOPS Messenger) — Peter Wegner • Programming Language Implementation and Logic Programming (PLILP’90) — Pierre Deransart, Jan Małuszyński • How to Write Parallel Programs: A Guide to the Perplexed (ACM Computing Surveys) — Nicholas Carriero, David Gelernter • The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming (paper in proceedings) — Evelina Lamma, Paola Mello, Antonio Natali • Constraint Satisfaction in Logic Programming (book) — Pascal Van Hentenryck • Logic Programming in a Software Engineering Perspective (paper in proceedings) — Paola Mello, Antonio Natali, Cristina Ruggieri • Information Management: A Proposal (technical report) — Tim Berners-Lee • Linda in Context (Communications of the ACM) — Nicholas Carriero, David Gelernter • BibTeXing (manual) — Oren Patashnik • Designing BibTeX Styles (manual) — Oren Patashnik • Meta-Programming in Prolog Through Direct Introspection (paper in proceedings) — Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali • Programming Languages Implementation and Logic Programming (PLILP’88) — Pierre Deransart, Bernard Lorho, Jan Małuszyński • Grafica in Turbo Pascal (MC Microcomputer) — Enrico Denti • The Constraint Logic Programming Language CHIP (FGCS 1988) — Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier • Readings in Distributed Artificial Intelligence (edited volume) — Alan H. Bond, Les Gasser • Intention, Plans, and Practical Reason (book) — Michael E. Bratman • Software Processes are Software too (paper in proceedings) — Leon J. Osterweil • Plans and Situated Actions: The Problem of Human-Machine Communication (book chapter) — Lucy A. Suchman • Objects as Communicating Prolog Units (paper in proceedings) — Paola Mello, Antonio Natali • Linear logic (Theoretical Computer Science) — Jean-Yves Girard • An Introduction to Computing with Neural Nets (IEEE ASSP Magazine) — Richard P. Lippmann • Reactive Reasoning and Planning (paper in proceedings) — Michael P. Georgeff, Amy L. Lansky • Constraint Logic Programming (POPL 1987) — Joxan Jaffar, Jean-Louis Lassez • Linda and Friends (Computer) — Sudhir Ahuja, Nicholas Carriero, David Gelernter • Programs as Collections of Communicating Prolog Units (paper in proceedings) — Paola Mello, Antonio Natali • Spin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications (book chapter) — Marc Mézard, Giorgio Parisi, Miguel Angel Virasoro • Achieving Artificial Intelligence through Building Robots (technical report) — Rodney A. Brooks • Plans and Situated Actions: The Problem of Human-Machine Communication (phd thesis) — Lucy A. Suchman • Foundations of Knowledge for Distributed Systems (technical report) — Michael J. Fisher, Neil Immerman • Generative Communication in Linda (ACM Transactions on Programming Languages and Systems) — David Gelernter • Algebra of communicating processes with abstraction (Theoretical Computer Science) — Jan A. Bergstra, Jan Willem Klop • Meta-level Programming and Knowledge Representation (article in journal) — Kenneth A. Bowen • CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks (AI Magazine) — Douglas B. Lenat, Mayank Prakash, Mary Shepherd • Multiple-Microprocessor Programming Techniques (Computer) — Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Francesco Maderna, Antonio Natali • Basic Modal Logic (book chapter) — Robert Bull, Krister Segerberg • Equations and Inequations on Finite and Infinite Trees (FGCS 1984) — Alain Colmerauer • Foundations of Logic Programming (book) — John W. Lloyd • An Implementation of Rendez-Vous in Distributed Systems (paper in proceedings) — Antonio Corradi, Antonio Natali • The consensus problem in unreliable distributed systems (a brief survey) (paper in proceedings) — Michael J Fischer • Using the iAPX-432 system as a support for chill parallel constructs (Microprocessing and Microprogramming) — Antonio Corradi, Antonio Natali • Machine Learning: An Artificial Intelligence Approach (edited volume) — Ryszard S. Michalski, Jaime G. Carbonell, Tom M. Mitchell • Distributed Commit With Bounded Waiting (paper in proceedings) — Danny Dolev, H. Raymond Strong • A Sufficient Condition for Backtrack-Free Search (Journal of the ACM) — Eugene C. Freuder • An Efficient Unification Algorithm (ACM Transactions on Programming Languages and Systems) — Alberto Martelli, Ugo Montanari • MML: A programming line for multiple-microprocessors systems (paper in proceedings) — Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali • History of Programming Languages I (HOPL 1978) — Richard L. Wexelblat • Linguistic Mechanisms for Resource Management Strategies (Software: Practice and Experience) — Paolo Ancilotti, Norma Lijtmaer, Maurelio Boari, Antonio Natali • History of LISP (book chapter) — John McCarthy • Autopoiesis and Cognition: The Realization of the Living (book) — Humberto R. Maturana, Francisco G. Varela • Minds, Brains, and Programs (Behavioral and Brain Sciences) — John R. Searle • Ascribing Mental Qualities to Machines (book chapter) — John McCarthy • Algorithm = Logic + Control (Communications of the ACM) — Robert A. Kowalski • The Paradigms of Programming (Communications of the ACM) — Robert W. Floyd • Mind in Society (book) — Lev Semyonovich Vygotsky • Time, Clocks, and the Ordering of Events in a Distributed System (Communications of the ACM) — Leslie Lamport • Mind in Society: Development of Higher Psychological Processes (book) — Lev Semenovich Vygotskiĭ • Multiple Access to a Tree in the Context of Readers and Writers Problem (Information Processing Letters) — Maurelio Boari, Antonio Natali • Exact Stochastic Simulation of Coupled Chemical Reactions (The Journal of Physical Chemistry) — Daniel T. Gillespie • The Euclidean travelling salesman problem is NP-complete (Theoretical Computer Science) — Christos H. Papadimitriou • A Structure for Plans and Behavior (book) — Earl D. Sacerdoti • Consistency in Networks of Relations (article in journal) — Alan K. Mackworth • Petri Nets (ACM Computing Surveys) — James L. Peterson • Computer-based medical consultations: MYCIN (book) — Edward Hance Shortliffe • Some Properties of Deadlock Detection and Recovery in Readers and Writers Problems (Information Processing Letters) — Maurelio Boari, Antonio Natali • Understanding Line Drawings of Scenes with Shadows (book chapter) — David L. Waltz • Networks of Constraints: Fundamental Properties and Applications to Picture Processing (Information Sciences) — Ugo Montanari • Predicate Logic as Programming Language (paper in proceedings) — Robert A. Kowalski • Autopoiesis: The Organization of Living Systems, its Characterization and a Model (BioSystems) — Francisco G. Varela, Humberto R. Maturana, R. Uribe • The Strength of Weak Ties (American Journal of Sociology) — Mark S. Granovetter • On the Criteria to Be Used in Decomposing Systems into Modules (Communications of the ACM) — David Lorge Parnas • On the Foundations of Geometry and Formal Theories of Arithmetic (book) — Gottlob Frege • The complexity of theorem-proving procedures (STOC 1971) — Stephen A. Cook • Intentional Systems (The Journal of Philosophy) — Daniel C. Dennett • What is a Speech Act? (book chapter) — John Searle • Lectures on Gas Theory (book) — Ludwig Boltzmann • Sketchpad: A Man-Machine Graphical Communication System (AFIPS '63 (Spring)) — Ivan E. Sutherland • The Architecture of Complexity (Proceedings of the American Philosophical Society) — Herbert A. Simon • An Automatic Method of Solving Discrete Programming Problems (Econometrica) — A. H. Land, A. G. Doig • Report on a general problem-solving program (IFIP 1959) — Allen Newell, J.Cliff Shaw, 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 (Insectes Sociaux) — Pierre-Paul Grassé • The Human Condition (book) — Hannah Arendt • The logic theory machine—A complex information processing system (IRE Transactions on Information Theory) — Allen Newell, Herbert Simon • The Traveling-Salesman Problem (Operations Research) — Merrill M. Flood • The Chemical Basis of Morphogenesis (Philosophical Transactions of the Royal Society B: Biological Sciences) — Alan Mathison Turing • I.—Computing Machinery and Intelligence (Mind) — Alan Mathison Turing • De Inventione, De Optimo Genere Oratorum, Topica (book) — Marcus Tullius Cicero • A Mathematical Theory of Communication (The Bell System Technical Journal) — Claude E. Shannon • A Mathematical Theory of Communication (The Bell System Technical Journal) — Claude E. Shannon • Principles of Self-Organizing Dynamic Systems (The Journal of General Psychology) — W. Ross Ashby • Systems of Logic Based on Ordinals (Proceedings of the London Mathematical Society) — Alan Mathison Turing • On Computable Numbers, with an Application to the Entscheidungsproblem (Proceedings of the London Mathematical Society) — Alan Mathison Turing • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Monatshefte für Mathematik und Physik) — Kurt Gödel • Principia Mathematica (book) — Alfred North Whitehead, Bertrand Russell • Ecce Homo. Wie man wird, was man ist (book) — Friedrich Nietzsche • How to Make Our Ideas Clear (Popular Science Monthly) — Charles Sanders Peirce • Cours de philosophie positive (book) — Auguste Comte • Philosophical Essays Concerning Human Understanding (book) — David Hume • Discorsi e dimostrazioni matematiche, intorno à due nuove scienze attenenti alla mecanica & i movimenti locali (book) — Galileo Galilei