All Publications
2164
publications
Who is in charge? Coordination and governance in agentic software engineering (Journal of Logical and Algebraic Methods in Programming) — Paolo CiancariniAGoT: A Reasoning Framework for LLM Agents (AIxIA 2026) — Mattia Matteini, Marco Raggini, Giovanni Ciatto, Andrea Omicini25 Years of Declarative Agent Technologies in Italy (The Agents Journey) — Davide Ancona, Daniela Briola, Angelo Ferrando, Maurizio Martelli, Viviana MascardiIntegrating JaCa-Unity in VEsNA for Behavioural Realistic VR Simulations (EUMAS 2025) — Daniela Briola, Giuseppe Vizzari, Giuseppe Mirra, Andrea Gatti, Viviana MascardiOops, I Heard That! Situated Communication with Locality-Aware KQML (EMAS 2025 @ AAMAS 2025) — Angelo Ferrando, Andrea Gatti, Viviana MascardiLe disavventure della verità (book) — Umberto GalimbertiUnfair 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 CalegariNL2UNIFOL: From Natural Language Sentences to Uniform First-Order Logic Formulae (SKILLED-LLMs 2026 @ FLoC 2026) — Matteo Magnini, Davide Liga, Luca PasettoProceedings of the 2026 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026) — Viviana Mascardi, John Thangarajah, Chris Amato, Louise A. DennisPerformant 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 MagniniTesting BDI-based multi-agent systems using discrete event simulation (Autonomous Agents and Multi-Agent Systems) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo PianiniAI Infrastructure: From Gigastructure to Edge Intelligence with Multi-Agent Systems (The Agents Journey) — Andrea Omicini, Alessandro Ricci, Viviana MascardiComposite2Change (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 FranciniSelf-organisation with Aggregate Computing: A Reflection Under the Lenses of Multi-agent Systems Engineering (The Agents Journey) — Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko ViroliMEDiTATe: a First Step of a Journey from BDI to Neuroscience, and Back (paper in proceedings) — Angelo Ferrando, Andrea Gatti, Viviana MascardiThe Sweeter Lesson (Communications of the ACM) — Moshe Y. VardiCoordination of Software Agents: Models and Languages (The Agents Journey) — Giacomo Cabri, Letizia Leonardi, Stefano Mariani, Franco ZambonelliAI is incapable of telling the truth (other publication sort) — Bun-Sun Kim, Hongjoon JoMulti-Agent Systems (EUMAS 2025) — Matteo Baldoni, Franziska Klügl, Andrei Olaru, Alexandru Sorici, Adina Magda FloreaAgency and Generation: Friends or Enemies? (EUMAS 2025) — Angelo Ferrando, Daniela Briola, Rem W. Collier, Viviana MascardiA survey on LLM-as-a-judge (article in journal) — Jiawei Gu, Xuhui Jiang, Zhichao Shi, Hexiang Tan, Xuehao Zhai, Chengjin Xu, Wei Li, Yinghan Shen, Shengjie Ma, Honghao Liu, Saizhuo Wang, Kun Zhang, Zhouchi Lin, Bowen Zhang, Lionel Ni, Wen Gao, Yuanzhuo Wang, Jian GuoSimulation 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 BriolaEvolution 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 RafanelliAdvances in Databases and Information Systems (ADBIS 2026) — Genoveva Vargas-Solar, Kostas Stefanidis, Themis Palpanas, Patrick Marcel, Mirian Halfeld-FerrariIntelligent Agents from Symbolic to Neurosymbolic Systems: The Quest for Integration (The Agents Journey) — Andrea Agiollo, Roberta Calegari, Giovanni Ciatto, Matteo Magnini, Andrea Omicini, Federico SabbatiniEnhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and Its Variants In Constraint Logic Programming (Theory and Practice of Logic Programming) — Alessandro Bertagnon, Marco GavanelliIntegrating Virtual Reality, Chatbots, and BDI Agents: VEsNA Goes Fast! (book chapter) — Angelo Ferrando, Andrea Gatti, Viviana MascardiRethinking Software Agents as Building Blocks of Software Systems (The Agents Journey) — Federico Bergenti, Stefania MonicaThe Agents Journey (edited volume) — Viviana Mascardi, Andrea OmiciniAgentic Architecture for Data-Centric AutoML (ADBIS 2026) — Mattia Matteini, Matteo Magnini, Matteo Francia, Giovanni Ciatto, Andrea OmiciniLooking 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 SantoroTrust Evolution in Agent and Multi-agent Systems: A Computational Modeling Perspective (The Agents Journey) — Alessandro Sapienza, Filippo Cantucci, Cristiano Castelfranchi, Rino FalconeAIxIA 2026 – Advances in Artificial Intelligence (AIxIA 2026) — Stefano Bistarelli, Marco Maratea, Francesco SantiniAgent-Based Computing for Science and Engineering: Back to the Future and Beyond... (The Agents Journey) — Alfredo GarroPreface (The Agents Journey) — Viviana Mascardi, Andrea OmiciniFlexible 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 ViroliMulti-Agent Systems (EUMAS 2025) — Matteo Baldoni, Franziska Klügl, Andrei Olaru, Alexandru Sorici, Adina Magda FloreaFrom 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 FortinoInteraction Protocols: From AUML to Social Commitments, from Artifacts to BSPL (The Agents Journey) — Matteo Baldoni, Cristina Baroglio, Roberto MicalizioFieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures (Complex & Intelligent Systems) — Angela Cortecchia, Giovanni Ciatto, Roberto Casadei, Danilo PianiniDesigning Agent-Oriented Systems (The Agents Journey) — Massimo Cossentino, Luca Sabatucci, Valeria SeiditaAgents and Multi-Agent Systems Development (edited volume) — Rem Collier, Viviana Mascardi, Alessandro RicciEngineering 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 WinikoffLarge language models as oracles for instantiating ontologies with domain-specific knowledge (Knowledge-Based Systems) — Giovanni Ciatto, Andrea Agiollo, Matteo Magnini, Andrea OmiciniExplainable, 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ämlingMulti-Agent Systems (EUMAS 2024) — Rem Collier, Alessandro Ricci, Vivek Nallur, Samuele Burattini, Andrea OmiciniSpotting False News and Doubting True News: A Systematic Review and Meta-Analysis of News Judgements (Nature Human Behaviour) — Jan Pfänder, Sacha AltayFrom Conflict to Concealment: The Role of Generative AI in Creating a Digital Utopia (WOA 2025) — Sara Hejazi, Daniele Franch, Pierluigi Roberti, Enrico BlanzieriAI-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 CalegariEncyclopedia of Bioinformatics and Computational Biology, 2nd Edition (edited volume) — Shoba Ranganathan, Mario Cannataro, Mohammad Asif KhanExploiting GenAI for Plan Generation in BDI Agents (ECAI-2025) — Giovanni Ciatto, Gianluca Aguzzi, Riccardo Battistini, Martina Baiardi, Samuele Burattini, Alessandro RicciChatBDI: Think BDI, Talk LLM (AAMAS 2025) — Andrea Gatti, Viviana Mascardi, Angelo FerrandoAddressing 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 CalegariWOA 2025 – 26th Workshop “From Objects to Agents” (WOA 2025) — Giovanni Ciatto, Enrico Blanzieri, Viviana MascardiBuilding Agentic AI Systems (book) — Anjanava Biswas, Wrick TalukdarProceedings of the 2025 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025) — Sanmay Das, Ann Nowé, Yevgeniy VorobeychikIntelligent Agents and Environment (encyclopedia entry) — Alfredo Garro, Alberto Falcone, Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari28th 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 DastaniLLMs 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 MascardiTool learning with large language models: a survey (article in journal) — Changle Qu, Sunhao Dai, Xiaochi Wei, Hengyi Cai, Shuaiqiang Wang, Dawei Yin, Jun Xu, Ji-rong WenActively Learning EL Terminologies from Large Language Models (ECAI-2025) — Matteo Magnini, Riccardo Squarcialupi, Martin T. Sterri, Ana OzakiLet Me Talk to You! Natural Language Interaction Between Humans and BDI Agents via ChatBDI (ECAI-2025) — Andrea Gatti, Viviana Mascardi, Angelo FerrandoEnhancing LoRaWAN Simulator for Real-World Integration and Research Experimentation (PICom 2025) — Miriana Russo, Corrado Santoro, Federico Fausto Santoro, Alessio TudiscoPrivacy-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 MagniniHierarchical Knowledge Extraction from Opaque Machine Learning Predictors (AIxIA 2024) — Federico Sabbatini, Roberta CalegariA 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 OmiciniAgentic AI in Enterprise: Harnessing Agentic AI for Business Transformation (book) — Sumit Ranjan, Divya Chembachere, Lanwin LoboPreface (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 DastaniNeuro-Symbolic AI for Supporting Chronic Disease Diagnosis and Monitoring (TELMED 2025 @ PerCom 2025) — Matteo Magnini, Giovanni Ciatto, Ahmet Emre Kuru, Christel Sirocchi, Sara MontagnaICE: An Evaluation Metric to Assess Symbolic Knowledge Quality (AIxIA 2024) — Federico Sabbatini, Roberta CalegariTruth Is the Most Dangerous Fantasy Our Species Ever Invented (other publication sort) — Manuel DelaflorAgentic Design Patterns: A Hands-On Guide to Building Intelligent Systems (book) — Antonio Gullí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 TudiscoIntelligent Agents: Multi-Agent Systems (encyclopedia entry) — Alfredo Garro, Alberto Falcone, Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Stefano Mariani, Andrea Omicini, Giuseppe VizzariPreface (Multi-Agent Systems) — Rem Collier, Alessandro Ricci, Vivek Nallur, Samuele Burattini, Andrea OmiciniPreface (Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Kary FrämlingProceedings 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'SullivanMetacognition and Confidence: A Review and Synthesis (Annual Review of Psychology) — Stephen M. FlemingIntegrating Agents and Virtual & Augmented Reality: a Preliminary Analysis of Challenges and Directions (XRIA 2024 @ ECAI-2024) — Andrea Pagliericci, Daniela Briola, Viviana MascardiFairness and Bias in AI (Journal of Artificial Intelligence Research) — Roberta Calegari, Andrea Aler Tubella, Virginia Dignum, Michela MilanoPerspectives 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 CalegariA Comprehensive System for Indoor Assistance and User Interaction (PICom 2024) — Francesco Cauteruccio, Miriana Russo, Corrado Santoro, Federico Fausto Santoro, Alessio TudiscoBlockchain and distributed ledger technologies — Vocabulary (technical report) — ISO/TC 307Bridging 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 CalegariGeneration of Clinical Skin Images with Pathology with Scarce Data (AAAI-24) — Andrea Borghesi, Roberta CalegariGraph of Thoughts: Solving Elaborate Problems with Large Language Models (AAAI-24) — Maciej Besta, Nils Blach, Ales Kubicek, Robert Gerstenberger, Michal Podstawski, Lukas Gianinazzi, Joanna Gajda, Tomasz Lehmann, Hubert Niewiadomski, Piotr Nyczyk, Torsten HoeflerBlending BDI agents with object-oriented and functional programming with JaKtA (SN Computer Science) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo PianiniUntying black boxes with clustering-based symbolic knowledge extraction (Intelligenza Artificiale) — Federico Sabbatini, Roberta CalegariConcurrency Model of BDI Programming Frameworks: Why Should We Control It? (AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea OmiciniEnsuring Fairness Stability for Disentangling Social Inequality in Access to Education: the FAiRDAS General Method (IJCAI 2024) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela MilanoProceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024) — Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia DignumActively Learning Ontologies from LLMs: First Results (Extended Abstract) (DL 2024) — Matteo Magnini, Ana Ozaki, Riccardo SquarcialupiLLM-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 MagniniUnmasking the Shadows: Leveraging Symbolic Knowledge Extraction to Discover Biases and Unfairness in Opaque Predictive Models (AEQUITAS 2024) — Federico Sabbatini, Roberta CalegariEnforcing Fairness via Constraint Injection with FaUCI (AEQUITAS 2024) — Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea OmiciniOn the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (AI and Ethics) — Federico Sabbatini, Roberta CalegariExplainable, 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ämlingSymbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (ACM Computing Surveys) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea OmiciniFrom 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 OmiciniAIxIA 2024 – Advances in Artificial Intelligence (AIxIA 2024) — Alessandro Artale, Gabriella Cortellessa, Marco MontaliPreface (Explainable, Transparent Autonomous Agents and Multi-Agent Systems) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Kary FrämlingSpecial Issue on Trustworthy AI (ACM Computing Surveys) — Roberta Calegari, Fosca Giannotti, Francesca Pratesi, Michela MilanoLong-Term Fairness Strategies in Ranking with Continuous Sensitive Attributes (AEQUITAS 2024) — Luca Giuliani, Eleonora Misino, Roberta Calegari, Michele LombardiSymbolic Knowledge Comparison: Metrics and Methodologies for Multi-Agent Systems (WOA 2024) — Federico Sabbatini, Christel Sirocchi, Roberta CalegariToolLLM: 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 SunAnonymous Federated Learning via Named-Data Networking (Future Generation Computer Systems) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Nicolò Dal Fabbro, Riccardo LazzerettiAI-fairness and equality of opportunity: a case study on educational achievement (AEQUITAS 2024) — Ángel S. Marrero, Gustavo A. Marrero, Carlos Bethencourt, Liam James, Roberta CalegariHermes: a Wireless Communication Interface for Edge Computing (WOA 2024) — Davide Carnemolla, Fabrizio Messina, Corrado Santoro, Federico Fausto SantoroEneA-FL: Energy-aware Orchestration for Serverless Federated Learning (Future Generation Computer Systems) — Andrea Agiollo, Paolo Bellavista, Matteo Mendula, Andrea OmiciniThe Cognitive Hourglass: Agent Abstractions in the Large Models Era (AAMAS 2024) — Alessandro Ricci, Stefano Mariani, Franco Zambonelli, Samuele Burattini, Cristiano CastelfranchiRule enforcement in LLMs: a parameter efficient fine-tuning approach with self-generated training dataset (AIxHMI 2024 @ AIxIA 2024) — Daniele Franch, Pierluigi Roberti, Enrico BlanzieriOn the External Concurrency of Current BDI Frameworks for MAS (EMAS 2024 @ AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea OmiciniAn Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (WOA 2024) — Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea OmiciniCoordination and Trust in MAS Towards Intelligent Socio-technical Systems (book chapter) — Andrea Omicini, Alessandro RicciA Survey on Large Language Model based Autonomous Agents (article in journal) — Lei Wang, Chen Ma, Xueyang Feng, Zeyu Zhang, Hao Yang, Jingsen Zhang, Zhiyuan Chen, Jiakai Tang, Xu Chen, Yankai Lin, Wayne Xin Zhao, Zhewei Wei, Ji-Rong WenGeometric and Spatial Reasoning in BDI Agents: A Survey (paper in proceedings) — Angelo Ferrando, Andrea Gatti, Viviana MascardiApproximating Memorization Using Loss Surface Geometry for Dataset Pruning and Summarization (KDD 2024) — Andrea Agiollo, Young In Kim, Rajiv KhannaVoyager: An Open-Ended Embodied Agent with Large Language Models (FMDM 2023 @ NeurIPS 2023) — Guanzhi Wang, Yuqi Xie, Yunfan Jiang, Ajay Mandlekar, Chaowei Xiao, Yuke Zhu, Linxi Fan, Anima AnandkumarSpecial Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (Journal of Logic and Computation) — Roberta Calegari, Giovanni Ciatto, Andrea OmiciniGNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (EuroS&P 2023) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea OmiciniInfrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (paper in proceedings) — Martina Baiardi, Giovanni Ciatto, Danilo PianiniAIxIA 2022 Discussion Papers (AIxIA 2022) — Agostino Dovier, Angelo Montanari, Andrea OrlandiniExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (KoDis 2023 @ KR 2023) — Federico Sabbatini, Roberta CalegariBurden 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 PisanoPreface - 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 ToniMeasuring Trustworthiness in Neuro-Symbolic Integration (FedCSIS 2023) — Andrea Agiollo, Andrea OmiciniPreface: Fairness and Bias in AI: Insights from AEQUITAS 2023 (editorial/introduction/preface) — Roberta Calegari, Andrea Aler Tubella, Gabriel Gonzalez, Virginia Dignum, Michela MilanoTowards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (Intelligenza Artificiale) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea OmiciniAdvances in Neural Information Processing Systems 36 (NeurIPS 2023) — Alice Oh, Tristan Naumann, Amir Globerson, Kate Saenko, Moritz Hardt, Sergey LevineBottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (EXTRAAMAS 2023 @ AAMAS 2023) — Federico Sabbatini, Roberta CalegariPosition Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (AIxIA 2022) — Andrea Rafanelli, Stefania Costantini, Andrea OmiciniProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023) — Noa Agmon, Bo An, Alessandro Ricci, William YeohToolformer: Language Models Can Teach Themselves to Use Tools (NeurIPS 2023) — Timo Schick, Jane Dwivedi-Yu, Roberto Dessì, Roberta Raileanu, Maria Lomeli, Eric Hambro, Luke Zettlemoyer, Mike LewisA General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023 @ AAMAS 2023) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea OmiciniKnowledge injection of Datalog rules via Neural Network Structuring with KINS (Journal of Logic and Computation) — Matteo Magnini, Giovanni Ciatto, Andrea OmiciniEfficient compliance checking of RDF data (Journal of Logic and Computation) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni SiragusaDelay Indices for Train Punctuality (Information) — Enrico Denti, Luca BurroniBridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea OmiciniAchieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques (ECAI-2023) — Federico Sabbatini, Roberta CalegariSpecial Issue “Advances in Multi-Agent Systems” (Applied Sciences) — Andrea Omicini, Stefano MarianiPreface (Journal of Logic and Computation) — Roberta Calegari, Giovanni Ciatto, Andrea OmiciniNeural-logic multi-agent system for flood event detection (Intelligenza Artificiale) — Andrea Rafanelli, Stefania Costantini, Giovanni De GasperisHAMLET: a framework for Human-centered AutoML via Structured Argumentation (Future Generation Computer Systems) — Matteo Francia, Joseph Giovanelli, Giuseppe PisanoExtension 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 DyoubInfrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (paper in proceedings) — Martina Baiardi, Giovanni Ciatto, Danilo PianiniPreface (Explainable and Transparent AI and Multi-Agent Systems) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Kary FrämlingVEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation (Robotics) — Andrea Gatti, Viviana MascardiPeer-Reviewed Federated Learning (WOA 2023) — Mattia Passeri, Andrea Agiollo, Andrea OmiciniIntegrating Ontologies and Cognitive Conversational Agents in On2Conv (EUMAS 2023) — Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana MascardiThe 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 OmiciniA geometric framework for fairness (paper in proceedings) — Alessandro Maggio, Luca Giuliani, Roberta Calegari, Michele Lombardi, Michela MilanoSymbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (Autonomous Agents and Multi-Agent Systems) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea OmiciniLeast-to-Most Prompting Enables Complex Reasoning in Large Language Models (ICLR 2023) — Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schuurmans, Claire Cui, Olivier Bousquet, Quoc V. Le, Ed H. ChiAIxIA 2022 – Advances in Artificial Intelligence (AIxIA 2022) — Agostino Dovier, Angelo Montanari, Andrea OrlandiniProceedings 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 MilanoAPI-Bank: A Comprehensive Benchmark for Tool-Augmented LLMs (EMNLP 2023) — Minghao Li, Yingxiu Zhao, Bowen Yu, Feifan Song, Hangyu Li, Haiyang Yu, Zhoujun Li, Fei Huang, Yongbin LiChatGPT 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-MerchanExplainable Clustering with CREAM (KR 2023) — Federico Sabbatini, Roberta CalegariPlan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Models (ACL 2023) — Lei Wang, Wanyu Xu, Yihuai Lan, Zhiqiang Hu, Yunshi Lan, Roy Ka-Wei Lee, Ee-Peng LimAI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (Philosophy & Technology) — Luciano FloridiGenerative Agents: Interactive Simulacra of Human Behavior (UIST 2023) — Joon Sung Park, Joseph C. O'Brien, Carrie Jun Cai, Meredith Ringel Morris, Percy Liang, Michael S. BernsteinFAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System (paper in proceedings) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela MilanoAugmented 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 ScialomJaKtA: BDI Agent-Oriented Programming in Pure Kotlin (EUMAS 2023) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo PianiniUnveiling Opaque Predictors via Explainable Clustering: The CReEPy Algorithm (paper in proceedings) — Federico Sabbatini, Roberta CalegariMulti-Agent Cooperative Argumentation in Arg2P (AIxIA 2022) — Giuseppe Pisano, Roberta Calegari, Andrea OmiciniSpecial Issue “Advances in Multi-Agent Systems”: Editorial (Applied Sciences) — Stefano Mariani, Andrea OmiciniExplainable 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ämlingAccuracy and Social Motivations Shape Judgements of (Mis)Information (Nature Human Behaviour) — Steve Rathje, Jon Roozenbeek, Jay J. Van Bavel, Sander van der LindenThe PSyKE Technology for Trustworthy Artificial Intelligence (AIxIA 2022) — Roberta Calegari, Federico SabbatiniAIxIA 2023 – Advances in Artificial Intelligence (AIxIA 2023) — Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea OrlandiniProceedings 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 SoraaPAL: Program-aided Language Models (ICML 2023) — Luyu Gao, Aman Madaan, Shuyan Zhou, Uri Alon, Pengfei Liu, Yiming Yang, Jamie Callan, Graham NeubigAssessing and Enforcing Fairness in the AI Lifecycle (IJCAI 2023) — Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O’SullivanCompliance 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 ZangariUnlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (WOA 2023) — Federico Sabbatini, Roberta CalegariRV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa (paper in proceedings) — Angelo Ferrando, Andrea Gatti, Viviana MascardiSymbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (ECAI-2023) — Federico Sabbatini, Roberta CalegariReAct: Synergizing Reasoning and Acting in Language Models (ICLR 2023) — Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik R. Narasimhan, Yuan CaoTree of Thoughts: Deliberate Problem Solving with Large Language Models (NeurIPS 2023) — Shunyu Yao, Dian Yu, Jeffrey Zhao, Izhak Shafran, Thomas L. Griffiths, Yuan Cao, Karthik NarasimhanEPTCS 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 ToniSymbolic Knowledge Extraction for Explainable Nutritional Recommenders (Computer Methods and Programs in Biomedicine) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea OmiciniPlanBench: An Extensible Benchmark for Evaluating Large Language Models on Planning and Reasoning about Change (NeurIPS 2023) — Karthik Valmeekam, Matthew Marquez, Alberto Olmo, Sarath Sreedharan, Subbarao Kambhampati11th International Conference on Learning Representations (ICLR 2023) (ICLR 2023) — A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea OmiciniTowards socially-competent and culturally-adaptive artificial agents: Expressive order, interactional disruptions and recovery strategies (Interaction Studies) — Chiara Bassetti, Enrico Blanzieri, Stefano Borgo, Sofia MarangonOn Correctness and Completeness of an n Queens Program (Theory and Practice of Logic Programming) — Włodzimierz DrabentCILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea OmiciniHow to model contrary-to-duty with GCP-nets (Intelligenza Artificiale) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni SartorModular logic argumentation in Arg-tuProlog (AIxIA 2021) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni SartorSpecial Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe VizzariTowards Human-centric AutoML via Logic and Argumentation (DATAPLAT 2022) — Joseph Giovanelli, Giuseppe PisanoIntegration of Logical English and s(CASP) (paper in proceedings) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert KowalskiWeb of Digital Twins (ACM Transactions on Internet Technology) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco PiconeSymbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (Intelligenza Artificiale) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea OmiciniKINS: Knowledge Injection via Network Structuring (CILC 2022) — Matteo Magnini, Giovanni Ciatto, Andrea OmiciniPreface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea OmiciniTowards Quality-of-Service Metrics for Symbolic Knowledge Injection (WOA 2022) — Andrea Agiollo, Andrea Rafanelli, Andrea OmiciniAdvances in Neural Information Processing Systems 35 (NeurIPS 2022) — Sanmi Koyejo, S. Mohamed, A. Agarwal, Danielle Belgrave, K. Cho, A. OhArg2P: An argumentation framework for explainable intelligent systems (Journal of Logic and Computation) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni SartorPreface (editorial/introduction/preface) — Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu, Antonio RagoLanguage Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agents (ICML 2022) — Wenlong Huang, Pieter Abbeel, Deepak Pathak, Igor MordatchIntelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence (book) — Adrian A. HopgoodBurden of Persuasion in Meta-argumentation (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni SartorChain-of-Thought Prompting Elicits Reasoning in Large Language Models (NeurIPS 2022) — Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed H. Chi, Quoc V. Le, Denny ZhouICLP 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 ZangariGNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022) — Andrea Agiollo, Andrea OmiciniFifty 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 CiattoSelected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe VizzariSemantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022 @ AAMAS 2022) — Federico Sabbatini, Giovanni Ciatto, Andrea OmiciniTaking 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 TachmazidisEvaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (paper in proceedings) — Federico Sabbatini, Roberta CalegariA 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 ViroliHypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea OmiciniPervasive and Connected Digital Twins - A Vision for Digital Health (IEEE Internet Computing) — Alessandro Ricci, Angelo Croatti, Sara MontagnaMastering Veeam Backup & Replication (book) — Chris ChilderhoseLarge Language Models are Zero-Shot Reasoners (NeurIPS 2022) — Takeshi Kojima, Shixiang (Shane) Gu, Machel Reid, Yutaka Matsuo, Yusuke IwasawaProceedings of the 2022 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) — Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. TaylorCoordination of Autonomous Vehicles: Taxonomy and Survey (ACM Computing Surveys) — Stefano Mariani, Giacomo Cabri, Franco ZambonelliBurden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni SartorAIxIA 2021 – Advances in Artificial Intelligence (AIxIA 2021) — Stefania Bandini, Francesca Gasparini, Viviana Mascardi, Matteo Palmonari, Giuseppe VizzariGetting to the Source of the Illusion of Consensus (Cognition) — Saoirse Connor Desai, Belinda Xie, Brett K. HayesReAct: Synergizing Reasoning and Acting in Language Models (FMDM 2022 @ NeurIPS 2022) — Shunyu Yao, Jeffrey Zhao, Dian Yu, Izhak Shafran, Karthik R. Narasimhan, Yuan CaoOn the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (EXTRAAMAS 2022 @ AAMAS 2022) — Matteo Magnini, Giovanni Ciatto, Andrea OmiciniSymbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (KR 2022) — Federico Sabbatini, Roberta CalegariClustering-Based Approaches for Symbolic Knowledge Extraction (paper in proceedings) — Federico Sabbatini, Roberta CalegariArguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni SartorProbabilistic logic programming in 2P-Kt (AIxIA 2021) — Jason Dellaluce, Roberta Calegari, Giovanni CiattoLogic Programming library for Machine Learning: API design and prototype (CILC 2022) — Giovanni Ciatto, Matteo Castigliò, Roberta CalegariPreface (WOA 2021 – 22nd Workshop “From Objects to Agents”) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni SartorAIxIA 2020 – Advances in Artificial Intelligence (AIxIA 2020) — Matteo Baldoni, Stefania BandiniTeaching the Old Dog New Tricks: Supervised Learning with Constraints (paper in proceedings) — Fabrizio Detassis, Michele Lombardi, Michela MilanoThe Dawn of Language: The Story of How We Came to Talk (book) — Sverker JohanssonShallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021 @ AAMAS 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea OmiciniOn the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX) — Giovanni Ciatto, Roberta Calegari, Andrea OmiciniLoad Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (Applied Sciences) — Andrea Agiollo, Andrea OmiciniExpectation: 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. SchumacherWOA 2021 – 22nd Workshop “From Objects to Agents” (WOA 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni SartorExplainability through argumentation in logic programming (CAUSAL 2021 @ ICLP 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni SartorLazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea OmiciniTowards Explainable Visionary Agents: License to Dare and Imagine (EXTRAAMAS 2021 @ AAMAS 2021) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide CalvaresiGridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021 @ AAMAS 2021) — Federico Sabbatini, Giovanni Ciatto, Andrea OmiciniThe 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érioExplainable and Ethical AI: A Perspective on Argumentation and Logic Programming (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni SartorLogic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea OmiciniMeasuring Mathematical Problem Solving With the MATH Dataset (NeurIPS 2021) — Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, Jacob SteinhardtAugmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (article in journal) — Sara Montagna, Stefano Mariani, Emiliano GamberiniDETONAR: Detection of Routing Attacks in RPL-based IoT (article in journal) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca PajolaPartitioned integration and coordination via the self-organising coordination regions pattern (Future Generation Computer Systems) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio NataliAn 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 SilvaniApplying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (article in journal) — Angelo Croatti, Marco Longoni, Sara MontagnaArgumentation and Defeasible Reasoning in the Law (J — Multidisciplinary Scientific Journal) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni SartorThe Effects of Repetition Frequency on the Illusory Truth Effect (Cognitive Research: Principles and Implications) — Aumyo Hassan, Sarah J. BarberMDE & MDA in a Multi-Paradigm Modeling Perspective (book chapter) — Ambra Molesini, Enrico Denti, Andrea OmiciniA Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni SartorTaxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles (technical report) — SAE InternationalThe Burden of Persuasion in Structured Argumentation (ICAIL 2021) — Roberta Calegari, Regis Riveret, Giovanni SartorOptimal resilient distributed data collection in mobile edge environments (Computers & Electrical Engineering) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko ViroliProgramming Agent-Based Mobile Apps: The JaCa-Android Framework (AAMAS 2021) — Angelo Croatti, Alessandro RicciGraph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea OmiciniArtificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter NorvigProceedings 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 SartorCounterfactual Explanations for Machine Learning: Challenges Revisited (other publication sort) — Sahil Verma, John P. Dickerson, Keegan HinesTowards cooperative argumentation for MAS: An actor-based approach (WOA 2021) — Giuseppe Pisano, Roberta Calegari, Andrea OmiciniBreaking down monoliths with Microservices and DevOps: an industrial experience report (paper in proceedings) — Danilo Pianini, Alessandro NeriLogic-based Technologies for Multi-agent Systems: A Systematic Literature Review (Autonomous Agents and Multi-Agent Systems) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea OmiciniFeeling and Knowing: Making Minds Conscious (book) — Antonio R. DamasioRetrieval Augmented Language Model Pre-Training (ICML 2020) — Kelvin Guu, Kenton Lee, Zora Tung, Panupong Pasupat, Mingwei ChangMulti-Agent Oriented Programming (book) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro RicciTwenty 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 ZambonelliLegal Knowledge and Information Systems (JURIX 2020) — Serena Villata, Jakub Harašta, Petr KřemenAIxIA 2020 Discussion Papers Workshop (AIxIA 2020 DP @ AIxIA 2020) — Giuseppe Vizzari, Matteo Palmonari, Andrea OrlandiniFrom Agents to Blockchain: Stairway to Integration (Applied Sciences) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco ZambonelliArg-tuProlog: A tuProlog-based argumentation framework (CILC 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni SartorFrom Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities (EUMAS 2020) — Angelo Croatti, Alessandro RicciNeuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea OmiciniOn the Integration of Agents and Digital Twins in Healthcare (article in journal) — Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro RicciProceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) — Amal El Fallah Seghrouchni, Gita Sukthankar, Bo An, Neil Yorke-SmithA Model for the Burden of Persuasion in Argumentation (JURIX 2020) — Roberta Calegari, Giovanni SartorSpecial Issue “Multi-Agent Systems”: Editorial (Applied Sciences) — Stefano Mariani, Andrea OmiciniThe JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices (PAAMS'20) — Angelo Croatti, Alessandro RicciAgent-based Modelling in Multicellular Systems Biology (book chapter) — Sara Montagna, Andrea OmiciniAn Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea OmiciniCollective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (paper in proceedings) — Roberto Casadei, Mirko Viroli, Alessandro RicciComputable Law as Argumentation-based MAS (WOA 2020) — Roberta Calegari, Andrea Omicini, Giovanni SartorWOA 2020 – 21st Workshop “From Objects to Agents” (WOA 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni SartorPrinciples of Distributed Database Systems (book) — M. Tamer Özsu, Tamer ValduriezBlockchain and distributed ledger technologies — Vocabulary (technical report) — ISO/TC 307Not just for humans: Explanation for agent-to-agent communication (AIxIA 2020) — Andrea OmiciniRetrieval-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 KielaReal-time tracking and documentation in trauma management (article in journal) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano GamberiniCausal Interpretability for Machine Learning – Problems, Methods and Evaluation (ACM SIGKDD Explorations Newsletter) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan LiuSmart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea OmiciniPreface (WOA 2020 – 21st Workshop “From Objects to Agents”) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni SartorExploring 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. LiuComplementing Agents with Cognitive Services: A Case Study in Healthcare (article in journal) — Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco ZambonelliBlockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea OmiciniLanguage 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 AmodeiDegrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles (paper in proceedings) — Stefano Mariani, Franco ZambonelliEcho Chambers and Epistemic Bubbles (Episteme) — C. Thi NguyenBurden of Persuasion in Argumentation (ICLP 2020) — Roberta Calegari, Giovanni SartorLogic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea OmiciniCounterfactual Explanations for Machine Learning: A Review (other publication sort) — Sahil Verma, John P. Dickerson, Keegan HinesScalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (Complexity) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha OssowskiMulti-Agent Systems 2019 (Special Issue “Multi-Agent Systems” 2019) — Andrea Omicini, Stefano MarianiAgent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020 @ AAMAS 2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide CalvaresiDecentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (Complexity) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha OssowskiExplainable 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 HerreraRecurrent 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 VillaniScalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (Complexity) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha OssowskiAgent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project (PAAMS'20) — Angelo Croatti, Manuel Bottazzi, Alessandro RicciThe 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 RoliEngineering Semantic Self-composition of Services Through Tuple-Based Coordination (ISOLA 2020) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea OmiciniArg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni SartorTime-Fluid Field-Based Coordination (paper in proceedings) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco ZambonelliOn the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale) — Roberta Calegari, Giovanni Ciatto, Andrea OmiciniMobile 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 RicciExploiting 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 BoissierArgumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni SartorSpecial Issue “Multi-Agent Systems” 2019 (Applied Sciences) — Andrea Omicini, Stefano MarianiProceedings of the 2019 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) — Edith Elkind, Manuela Veloso, Noa Agmon, Matthew E. TaylorCoordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (paper in proceedings) — Roberto Casadei, Mirko ViroliSpecial Issue “Multi-Agent Systems”: Editorial (Applied Sciences) — Stefano Mariani, Andrea OmiciniRegion Merging Driven by Deep Learning for RGB-D Segmentation and Labeling (paper in proceedings) — Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro ZanuttighLogic 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 OmiciniTowards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019 @ AI*IA 2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide CalvaresiFluidware: An Approach Towards Adaptive and Scalable Programming of the IoT (book chapter) — Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco ZambonelliDLT terms and definitions (technical report) — FG DLTPreface – AI&IoT 2019 (AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo FortinoAggregate Processes in Field Calculus (paper in proceedings) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio DamianiThe Future of Digital Democracy. An Interdisciplinary Approach (edited volume) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina SîrbuAI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 (AI&IoT 2019 @ AI*IA 2019) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea OmiciniThe share Operator for Field-Based Coordination (paper in proceedings) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko ViroliOn a Higher-Order Calculus of Computational Fields (paper in proceedings) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob BealMulti-Agent Systems (Special Issue “Multi-Agent Systems”) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente JulianDLT reference architecture (technical report) — FG DLTLanguage Models are Unsupervised Multitask Learners (other publication sort) — Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, Ilya SutskeverTuSoW: Tuple Spaces for Edge Computing (ICCCN 2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano MarianiExplanation in artificial intelligence: Insights from the social sciences (article in journal) — Tim MillerRisk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (paper in proceedings) — Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep RocaIntelligent Agents and Environment (encyclopedia entry) — Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe VizzariEffective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (AAMAS 2019) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko ViroliEvaluating Origin–Destination Matrices Obtained from CDR Data (Sensors) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco ZambonelliTowards Adaptive Flow Programming for the IoT: The Fluidware Approach (paper in proceedings) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara ReBDI 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 AgnolettiDemocratic Process and Digital Platforms: An Engineering Perspective (The Future of Digital Democracy. An Interdisciplinary Approach) — Danilo Pianini, Andrea OmiciniExplainability in human-agent systems (Autonomous Agents and Multi-Agent Systems) — Avi Rosenfeld, Ariella RichardsonArgumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (IDCS 2019) — Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco ZambonelliTowards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea OmiciniPervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management (CBMS 2019) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio AlbarelloSelf-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models (paper in proceedings) — Michele Braccini, Sara Montagna, Andrea RoliClient-side Computational Optimization (ACM Transactions on Mathematical Software) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco StrappavecciaDeliver intelligence to integrate care: the Connecare way (International Journal of Integrated Care) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip MirallesA Higher-Order Calculus of Computational Fields (article in journal) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob BealExplainable, Transparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2019) — Davide Calvaresi, Amro Najjar, Michael Schumacher, Kary FrämlingOn Context-Orientation in Aggregate Programming (paper in proceedings) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko ViroliPreface (The Future of Digital Democracy. An Interdisciplinary Approach) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina SîrbuEngineering Resilient Collaborative Edge-Enabled IoT (paper in proceedings) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram DustdarBig 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 WeynsAI*IA 2019 – Advances in Artificial Intelligence (AI*IA 2019) — Mario Alviano, Gianluigi Greco, Francesco ScarcelloDefeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni SartorDLT use cases (technical report) — FG DLTInterpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea OmiciniEquilibria in the tangle (Computers & Industrial Engineering) — Serguei Popov, Olivia Saa, Paulo FinardiViTALiSE: Virtual to Augmented Loop in Smart Environments (AAMAS 2019) — Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe VizzariSpecial Issue “Multi-Agent Systems” (Applied Sciences) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente JulianFrom 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 PianiniA development approach for collective opportunistic Edge-of-Things services (Information Sciences) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko ViroliCoordination in Socio-technical Systems: Where are we now? Where do we go next? (Science of Computer Programming) — Stefano MarianiCase 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 ZambonelliA 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 SerraModelling and Simulation of Opportunistic IoT Services with Aggregate Computing (Future Generation Computer Systems) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko ViroliInjecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018) — Andrea Omicini, Roberta CalegariSelf-organising Coordination Regions: a Pattern for Edge Computing (paper in proceedings) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio NataliComparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019 @ PAAMS'19) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea OmiciniEngineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea OmiciniSecurity in Collective Adaptive Systems: A Roadmap (paper in proceedings) — Danilo Pianini, Roberto Casadei, Mirko ViroliTransparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea OmiciniOpportunistic cyberphysical services: A novel paradigm for the future Internet of Things (paper in proceedings) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu ZhouEngineering Resilient Collective Adaptive Systems by Self-Stabilisation (ACM Transactions on Modeling and Computer Simulation) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo PianiniHypermedia 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 CroattiOptimal single-path information propagation in gradient-based algorithms (Science of Computer Programming) — Giorgio Audrito, Ferruccio Damiani, Mirko ViroliMicro-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 OmiciniReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems) — Giovanni Ciatto, Stefano Mariani, Andrea OmiciniFrom Field-Based Coordination to Aggregate Computing (COORDINATION 2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo PianiniTwenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime LouvelSpatial Tuples: Augmenting Reality with Tuples (Expert Systems) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo PianiniDeveloping Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework (PAAMS'18) — Angelo Croatti, Alessandro RicciLogic Programming as a Service (Theory and Practice of Logic Programming) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea OmiciniThe Neuroscience of Emotion: A New Synthesis (book) — Ralph Adolphs, David J. AndersonSpace-Time Universality of Field Calculus (ALP4IoT 2017) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko ViroliThe Moral Machine experiment (Nature) — Edmond Awad, Sohan Dsouza, Richard Kim, Jonathan Schulz, Joseph Henrich, Azim Shariff, Jean-François Bonnefon, Iyad RahwanArtificial Intelligence (book) — Michael WooldridgeA Survey of Methods for Explaining Black Box Models (ACM Computing Surveys) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino PedreschiThe mythos of model interpretability (Communications of the ACM) — Zachary C. LiptonExtending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea OmiciniCombining Trust and Aggregate Computing (FOCLASA 2017 @ SEFM 2017) — Roberto Casadei, Alessandro Aldini, Mirko ViroliAI*IA 2018 – Advances in Artificial Intelligence (AI*IA 2018) — Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo TraversoThe Knowledge Illusion: Why We Never Think Alone (book) — Steven Sloman, Philip FernbachCollective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (paper in proceedings) — Roberto Casadei, Mirko ViroliTowards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming) — Roberto Casadei, Alessandro Aldini, Mirko ViroliDistributed Speaking Objects: a Case for Massive Multiagent Systems (MMAS 2018) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco ZambonelliCharacteristics 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. ZweifelLPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea OmiciniBlockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018 @ WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea OmiciniProgramming Actor-Based Collective Adaptive Systems (book chapter) — Roberto Casadei, Mirko ViroliA Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems (PAAMS'18) — Angelo Croatti, Alessandro RicciLogic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea OmiciniTaxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles (technical report) — Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains (EuroSys 2018) — Elli Androulaki, Artem Barger, Vita Bortnikov, Christian Cachin, Konstantinos Christidis, Angelo De Caro, David Enyeart, Christopher Ferris, Gennady Laventman, Yacov Manevich, Srinivasan Muralidharan, Chet Murthy, Binh Nguyen, Manish Sethi, Gari Singh, Keith Smith, Alessandro Sorniotti, Chrysoula Stathakopoulou, Marko Vukolić, Sharon Weed Cocco, Jason YellickProceedings of the 2018 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018) — Elisabeth André, Sven Koenig, Mehdi Dastani, Gita SukthankarFrom the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea OmiciniDistributed Real-Time Shortest-Paths Computations with the Field Calculus (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico BiniCoordination of Complex Socio-technical Systems: Challenges and Opportunities (FOCLASA 2018 @ STAF 2018) — Stefano MarianiThe Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis (paper in proceedings) — Sara Montagna, Michele Braccini, Andrea RoliAggregate Graph Statistics (ALP4IoT 2017) — Giorgio Audrito, Ferruccio Damiani, Mirko ViroliA Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (A2HC 2017) — Angelo Croatti, Sara Montagna, Alessandro RicciProceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017) — Kate Larson, Michael Winikoff, Sanmay Das, Edmund H. DurfeeAI*IA 2017 Advances in Artificial Intelligence (AI*IA 2017) — Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. LisiAgent-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 OmiciniState-of-the-Art and Trends in Nature-inspired Coordination Models (The IEEE Intelligent Informatics Bulletin) — Stefano Mariani, Andrea OmiciniAggregate plans for multiagent systems (International Journal of Agent-Oriented Software Engineering) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo CroattiAn Argumentation-based Perspective over the Social IoT (IEEE Internet of Things Journal) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco ZambonelliAgent-based Modelling in Multicellular Systems Biology (book chapter) — Sara Montagna, Andrea OmiciniExperiments in Algorithmic Governance. A history and ethnography of “The DAO,” a failed Decentralized Autonomous Organization (book chapter) — Quinn DupontProgramming the Interaction Space Effectively with ReSpecTX (IDC 2017) — Giovanni Ciatto, Stefano Mariani, Andrea OmiciniAttention Is All You Need (paper in proceedings) — Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, Illia PolosukhinNovel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017) — Stefano Mariani, Andrea Omicini, Giovanni CiattoOuroboros: A Provably Secure Proof-of-Stake Blockchain Protocol (CRYPTO 2017) — Aggelos Kiayias, Alexander Russell, Bernardo David, Roman OliynykovTransformer: A Novel Neural Network Architecture for Language Understanding (other publication sort) — Jakob UszkoreitL'ordine del tempo (book) — Carlo RovelliModeling Opportunistic IoT Services in Open IoT Ecosystems (WOA 2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu ZhouA Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (A2HC 2017) — Angelo Croatti, Sara Montagna, Alessandro RicciFighting exclusion: a multimedia mobile app with zombies and maps as a medium for civic engagement and design (Multimedia Tools and Applications) — Catia Prandi, Marco Roccetti, Paola Salomoni, Valentina Nisi, Nuno Jardim NunesSelf-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (SASO 2017) — Danilo Pianini, Simon Dobson, Mirko ViroliCoordinating Distributed Speaking Objects (paper in proceedings) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco ZambonelliOn Security Analysis of Proof-of-Elapsed-Time (PoET) (book chapter) — Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong ShiOptimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko ViroliThe impact of self-loops in random boolean network dynamics (paper in proceedings) — Sara Montagna, Michele Braccini, Andrea RoliDiscovering Event Structure in Continuous Narrative Perception and Memory (Neuron) — Christopher Baldassano, Janice Chen, Asieh Zadbood, Jonathan W. Pillow, Uri Hasson, Kenneth A. NormanAugmented societies with mirror worlds (AI & Society) — Alessandro Ricci, Luca Tummolini, Cristiano CastelfranchiMashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea (paper in proceedings) — Angelo Croatti, Alessandro RicciTowards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (International Journal of Distributed Systems and Technologies) — Angelo Croatti, Alessandro Ricci, Mirko ViroliTowards the Web of Augmented Things (paper in proceedings) — Angelo Croatti, Alessando RicciSpatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo PianiniContext Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17) — Roberta Calegari, Enrico DentiAgents and Multi-Agent Systems for Health Care (A2HC 2017) — Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael SchumacherPreface (A2HC 2017) — Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. SchumacherBlockchain Consensus Protocols in the Wild (Keynote Talk) (DISC 2017) — Christian Cachin, Marko VukolićTowards a Foundational API for Resilient Distributed Systems Design (eCAS 2017 @ SASO 2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko ViroliSpiking Neural Networks as Timed Automata (ALP4IoT 2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di GiustoA survey of attacks on Ethereum smart contracts (SoK) (book chapter) — Nicola Atzei, Massimo Bartoletti, Tiziana CimoliMultiagent System Technologies (MATES 2017) — Jan Ole Berndt, Paolo Petta, Rainer UnlandLogic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea OmiciniFormal Validation of Neural Networks as Timed Automata (paper in proceedings) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni CiattoPractical Aggregate Programming with Protelis (SASO 2017) — Danilo Pianini, Jacob Beal, Mirko ViroliSelf-Adaptation to Device Distribution in the Internet of Things (ACM Transactions on Autonomous and Adaptive Systems) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio DamianiDistributed Systems. Principles and Paradigms (book) — Andrew S. Tanenbaum, Maarten van SteenCompositional Blocks for Optimal Self-Healing Gradients (SASO 2017) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko ViroliTowards 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 ZambonelliSimulating Large-scale Aggregate MASs with Alchemist and Scala (paper in proceedings) — Mirko Viroli, Roberto Casadei, Danilo PianiniIntroducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems (book) — Darius PlikynasMulti-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (WOA 2016) — Stefano Mariani, Andrea OmiciniMaking Smart Contracts Smarter (CCS 2016) — Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas HoborAggregate Programming: From Foundations to Applications (paper in proceedings) — Jacob Beal, Mirko ViroliThe Butlers Framework for Socio-Technical Smart Spaces (INSCI 2016) — Roberta Calegari, Enrico DentiTowards Logic Programming as a Service: Experiments in tuProlog (WOA 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea OmiciniProgramming with event loops and control loops – From actors to agents (Computer Languages, Systems & Structures) — Alessandro RicciSelf-adaptation to Device Distribution Changes in Situated Computing Systems (SASO 2016) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio DamianiCombining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (paper in proceedings) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob BealAn Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development (AGERE! 2016 @ SPLASH 2016) — Angelo Croatti, Alessandro RicciOn Execution Platforms for Large-scale Aggregate Computing (paper in proceedings) — Mirko Viroli, Roberto Casadei, Danilo PianiniResiliency with Aggregate Computing: State of the Art and Roadmap (paper in proceedings) — Mirko Viroli, Jacob BealCombining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (eCAS 2016 @ SASO 2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob BealMastering 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 HassabisModeling 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 CaballeroTowards 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 SabatucciTowards 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 DonatiLabelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea OmiciniChallenges of Decentralized Coordination in Large-scale Ubicomp Systems (UbiComp2016) — Andrea Omicini, Franco ZambonelliAI*IA 2016 Advances in Artificial Intelligence (AI*IA 2016) — Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco MarateaTowards Aggregate Programming in Scala (paper in proceedings) — Roberto Casadei, Mirko ViroliCross-organism learning method to discover new gene functionalities (Computer Methods and Programs in Biomedicine) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro PinoliSpatial Computing (Communications of the ACM) — Shashi Shekhar, Steven K. Feiner, Walid G. ArefImproving Gossip Dynamics Through Overlapping Replicates (COORDINATION 2016) — Danilo Pianini, Jacob Beal, Mirko ViroliRun-Time Management of Computation Domains in Field Calculus (SASO 2016) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto CasadeiThe Honey Badger of BFT Protocols (CCS 2016) — Andrew Miller, Yu Xia, Kyle Croman, Elaine Shi, Dawn SongCoordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section (IEEE Transactions on Emerging Topics in Computing) — Franco Zambonelli, Andrea Omicini, Paul ScerriA type-sound calculus of computational fields (Science of Computer Programming) — Ferruccio Damiani, Mirko Viroli, Jacob BealPrivacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo CernoSpecial Section on Coordination in Large-Scale Socio-Technical Systems (IEEE Transactions on Emerging Topics in Computing) — Franco Zambonelli, Andrea Omicini, Paul ScerriExtending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015 @ AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo PianiniMultiagent System Technologies (MATES 2016) — Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian AhrndtBuilding Smart Spaces on the Home Manager platform (ALP Newsletter) — Roberta Calegari, Enrico DentiForeward by Prof. Andrea Omicini (Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems) — Andrea OmiciniWhy Logical Clocks Are Easy (Communications of the ACM) — Carlos Baquero, Nuno PreguiçaSpatial 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 RosiThe Autonomy of Technological Systems and Responsibilities for their Use (book chapter) — Giovanni Sartor, Andrea OmiciniA 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 SartoriGame Engines to Model MAS: A Research Roadmap (WOA 2016) — Stefano Mariani, Andrea OmiciniProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016) — Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl TuylsCoordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK (book) — Stefano MarianiA coordination model of pervasive service ecosystems (Science of Computer Programming) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco ZambonelliCoordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015) — Andrea Omicini, Franco ZambonelliNeural Machine Translation by Jointly Learning to Align and Translate (paper in proceedings) — Dzmitry Bahdanau, Kyunghyun Cho, Yoshua BengioDeep learning (Nature) — Yann LeCun, Yoshua Bengio, Geoffrey HintonEfficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (SASO 2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo PianiniBlockchain: Blueprint for a New Economy (book) — Melanie SwanCoordinating Activities and Change: An Event-Driven Architecture for Situated MAS (Engineering Applications of Artificial Intelligence) — Stefano Mariani, Andrea OmiciniEvent-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (CSCWD 2015) — Andrea OmiciniThe Next 700 BFT Protocols (ACM Transactions on Computer Systems) — Pierre-Louis Aublin, Rachid Guerraoui, Nikola Knežević, Vivien Quéma, Marko VukolićProgramming Multi-agent Systems (The Knowledge Engineering Review) — Mehdi DastaniAnticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015) — Stefano Mariani, Andrea OmiciniReconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (E4MAS 2014 @ AAMAS 2014) — Andrea Omicini, Stefano MarianiModels of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014) — Stefano Mariani, Andrea Omicini, Luca SangiorgiTowards agent aggregates: perspectives and challenges (EMAS 2015 @ AAMAS 2015) — Mirko Viroli, Alessandro RicciExtending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015 @ AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo PianiniGOTA: GO term annotation of biomedical literature (BMC Bioinformatics) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca MoroBlending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015) — Andrea Omicini, Giancarlo Fortino, Stefano MarianiHuman-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 HassabisRandom Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro PinoliDeveloping 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 YeAgent Environments for Multi-Agent Systems IV (E4MAS 2014 @ AAMAS 2014) — Danny Weyns, Fabien MichelEffective Approaches to Attention-based Neural Machine Translation (paper in proceedings) — Thang Luong, Hieu Pham, Christopher D. ManningProceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) — Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith ElkindAggregate Programming for the Internet of Things (Computer) — Jacob Beal, Danilo Pianini, Mirko ViroliShow, 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 BengioProtelis: Practical Aggregate Programming (SAC 2015) — Danilo Pianini, Mirko Viroli, Jacob BealType-based Self-stabilisation for Computational Fields (Logical Methods in Computer Science) — Ferruccio Damiani, Mirko ViroliMulti-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (PRIMA 2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo CroattiPreface (PRIMA 2015: Principles and Practice of Multi-Agent Systems) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea OmiciniPaxos Made Moderately Complex (ACM Computing Surveys) — Robbert Van Renesse, Deniz AltinbukenIterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio SartoriAI*IA 2015 Doctoral Consortium (AI*IA 2015 DC @ AI*IA 2015) — Elena Bellodi, Alessio BonfiettiSpace-Time Programming (article in journal) — Jacob Beal, Mirko ViroliA 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 RoliCode Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015 @ DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob BealA Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo PianiniComputational Fields Meet Augmented Reality: Perspectives and Challenges (paper in proceedings) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko ViroliPRIMA 2015: Principles and Practice of Multi-Agent Systems (PRIMA 2015) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea OmiciniProgramming Mirror-Worlds: An Agent-Oriented Programming Perspective (EMAS 2015 @ AAMAS 2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko ViroliSmart Augmented Fields for Emergency Operations (paper in proceedings) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko ViroliMultiagent System Technologies (MATES 2015) — Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils BullingFormal Foundations of Sensor Network Applications (SIGSPATIAL Special) — Jacob Beal, Mirko ViroliButler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015) — Enrico Denti, Roberta CalegariLabelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @ AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea OmiciniAI*IA 2015 Advances in Artificial Intelligence (AI*IA 2015) — Marco Gavanelli, Evelina Lamma, Fabrizio RiguzziBehavioral Relations in a Process Algebra for Variants (SPLC 2014) — Mirco TribastoneComplex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 (CompleNet 2014) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-CasasnovasCoordination-aware Elasticity (UCC 2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram DustdarBuilding Blocks for Aggregate Programming of Self-Organising Applications (FoCAS 2014) — Jacob Beal, Mirko ViroliEngineering General Intelligence, Part 2 (book) — Ben Goertzel, Cassio Pennachin, Nil GeisweillerExtending a Smart Home Multi-Agent System with Role-Based Access Control (ITS 2014) — Enrico Denti, Roberta Calegari, Marco PrandiniConversational Informatics. A Data-Intensive Approach with Emphasis on Nonverbal Communication (book) — Toyoaki Nishida, Atsushi Nakazawa, Yoshimasa Ohmoto, Yasser MohammadMultiagent System Technologies (MATES 2014) — Jörg P. Müller, Michael Weyrich, Ana L. C. BazzanCoordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (SCS M&S Magazine) — Stefano Mariani, Andrea OmiciniThe IEEE-FIPA Standard on the Design Process Documentation Template (Handbook on Agent-Oriented Design Processes) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria SeiditaNegotiation and Argumentation in Multi-Agent Systems (edited volume) — Fernando Lopes, Helder CoelhoIntroduction (Handbook on Agent-Oriented Design Processes) — Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria SeiditaProceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) — Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul ScerriA Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio DamianiDistributed Systems: An Algorithmic Approach (book) — Sukumar GhoshValuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (World Journal of Computer Application and Technology) — Enrico DentiInternet 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 SerranoHPC from a self-organisation perspective: The case of crowd steering at the urban scale (paper in proceedings) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois FerschaArgumentation and Artifacts for Negotiation Support (book chapter) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko ViroliTuCSoN Coordination for MAS Situatedness: Towards a Methodology (WOA 2014) — Stefano Mariani, Andrea OmiciniOn the Origin of Autonomy. A New Look at the Major Transitions in Evolution (book) — Bernd RosslenbroichEthereum: a secure decentralised generalised transaction ledger (other publication sort) — Gavin WoodHandbook on Agent-Oriented Design Processes (edited volume) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria SeiditaThe SODA Methodology: Meta-Model and Process Documentation (Handbook on Agent-Oriented Design Processes) — Ambra Molesini, Andrea OmiciniCross-domain Text Classification through Iterative Refining of Target Categories Representations (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio SartoriDistributed statistical analysis of complex systems modeled through a chemical metaphor (paper in proceedings) — Danilo Pianini, Stefano Sebastio, Andrea VandinNovel pervasive scenarios for home management: the Butlers architecture (SpringerPlus) — Enrico DentiBest ACM SAC Articles on Coordination and Self-Adaptation (ACM Transactions on Autonomous and Adaptive Systems) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella CastelliCoordination in Situated Systems: Engineering MAS Environment in TuCSoN (IDCS 2014) — Stefano Mariani, Andrea OmiciniPreface (CompleNet 2014) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-CasasnovasThe Autonomy of Automated Systems (AWS-LEP 2014) — Giovanni Sartor, Andrea OmiciniOn the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (SASO 2014) — Stefano MarianiIn Search of an Understandable Consensus Algorithm (USENIX ATC 2014) — Diego Ongaro, John K. OusterhoutDiscovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro PinoliMarkov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto PasoliniMajority Is Not Enough: Bitcoin Mining Is Vulnerable (book chapter) — Ittay Eyal, Emin Gün SirerTowards a Unified Model of Spatial Computing (paper in proceedings) — Jacob Beal, Mirko Viroli, Ferruccio DamianiBuilding Dependable Distributed Systems (book) — Wenbing ZhaoBridging the Symbolic/Subsymbolic Gap (Engineering General Intelligence, Part 2) — Ben Goertzel, Cassio Pennachin, Nil GeisweillerThe Gaia Methodology Process (Handbook on Agent-Oriented Design Processes) — Luca Cernuzzi, Ambra Molesini, Andrea OmiciniProbabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea OmiciniMolecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012) — Stefano Mariani, Andrea OmiciniCoordination for Situated MAS: Towards an Event-driven Architecture (PNSE'13) — Andrea Omicini, Stefano MarianiDeclarative Agent Languages and Technologies X (DALT 2012 @ AAMAS 2012) — Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto VasconcelosPromoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013 @ AAMAS 2013) — Stefano Mariani, Andrea OmiciniNonverbal Communication in Human Interaction (book) — Mark L. Knapp, Judith A. Hall, Terrence G. HorganSimulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko ViroliFrom Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (book chapter) — Alessandro Ricci, Andrea SantiTowards the Analysis & Prediction of Complex System Behaviour in SAPERE (SASO 2012) — Marco Alberti, Andrea OmiciniAgreement Technologies (edited volume) — Sascha OssowskiUnderstanding 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 MontagnaEngineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013 @ AAMAS 2013) — Mirko ViroliAgents & Multiagent Systems: En Route Towards Complex Intelligent Systems (Intelligenza Artificiale) — Andrea Omicini, Stefano MarianiProgramming Multi-Agent Systems (PROMAS 2012 @ AAMAS 2012) — Mehdi Dastani, Jomi F. Hübner, Brian LoganSelf-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012 @ SASO 2012) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara MontagnaConcurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (AGERE! 2013 @ SPLASH 2013) — Alessandro Ricci, Andrea SantiParameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (WOA 2013) — Stefano MarianiFrom Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (International Journal of Foundations of Computer Science) — Houguang YueThere is More Consensus in Egalitarian Parliaments (SOSP 2013) — Iulian Moraru, David G. Andersen, Michael KaminskySpecial Issue on Software Agents (Computing Now) — Maria Ganzha, Marcin Paprzycki, Andrea OmiciniCombining 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 ViroliCoupling software architecture and human architecture for collaboration-aware system adaptation (paper in proceedings) — Christoph Dorn, Richard N TaylorMultiagent System Technologies (MATES 2013) — Matthias Klusch, Matthias Thimm, Marcin PaprzyckiNature-inspired Coordination for Complex Distributed Systems (IDC 2012) — Andrea OmiciniAnalysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano MarianiSemantic Tuple Centres (Science of Computer Programming) — Elena Nardini, Andrea Omicini, Mirko ViroliCollaborative Learning and ICT: A Prototypal Learning Environment (book chapter) — Maria Cristina Matteucci, Elena Nardini, Andrea OmiciniA calculus of computation fields (FOCLASA 2013 @ ESOCC 2013) — Mirko Viroli, Ferruccio Damiani, Jacob BealAgent-Oriented Software Engineering XIII (AOSE 2012 @ AAMAS 2012) — Jörg P. Müller, Massimo CossentinoEngineering Pervasive Multiagent Systems in SAPERE (EMAS 2013 @ AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco ZambonelliInjecting Self-organisation into Pervasive Service Ecosystems (Mobile Networks and Applications) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco ZambonelliOn competitive self-composition in pervasive services (Science of Computer Programming) — Mirko VirolituProlog: Making Prolog Ubiquitous (ALP Newsletter) — Enrico Denti, Andrea Omicini, Roberta CalegariAccelerating Bitcoin's Transaction Processing. Fast Money Grows on Trees, Not Chains (technical report) — Yonatan Sompolinsky, Aviv ZoharNature-Inspired Coordination Models: Current Status and Future Trends (ISRN Software Engineering) — Andrea Omicini1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013) (EMAS 2013 @ AAMAS 2013) — Massimo Cossentino, Amal El Fallah Seghrouchni, Michael WinikoffChemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation) — Danilo Pianini, Sara Montagna, Mirko ViroliSpace-aware Coordination in ReSpecT (WOA 2013) — Stefano Mariani, Andrea OmiciniMoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013) — Stefano Mariani, Andrea OmiciniTrusting 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 VillataTuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013) — Stefano Mariani, Andrea OmiciniPostgreSQL Replication (book) — Zoltan Böszörmenyi, Hans-Jürgen SchönigOperational Semantics of Proto (Science of Computer Programming) — Mirko Viroli, Jacob Beal, Kyle UsbeckOrganizing the Aggregate: Languages for Spatial Computing (book chapter) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus CorrellMulti-agent Oriented Programming with JaCaMo (Science of Computer Programming) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea SantiProbabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013 @ SAC 2013) — Stefano Mariani, Andrea OmiciniFrom Manifesta to Krypta: The Relevance of Categories for Trusting Others (ACM Transactions on Intelligent Systems and Technology) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano CastelfranchiDescription 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 ArcosDomain Independent Text Categorization (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio SartoriComplexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (ICCCI 2013) — Andrea Omicini, Pierluigi ContucciToward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012) — Matteo Casadei, Mirko Viroli6th International Spatial Computing Workshop (SCW 2013) (SCW 2013 @ AAMAS 2013) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko ViroliSoftware Agents: Twenty Years and Counting (Computing Now) — Maria Ganzha, Marcin Paprzycki, Andrea OmiciniTowards 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 ViroliPredicting Social Density in Mass Events to Prevent Crowd Disasters. (SocInfo2013) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois FerschaMilitary Autonomous & Robotic Systems. Considerations for the way forward from a UK military perspective (article in journal) — Guy EdwardsComposing Gradients for a Context-Aware Navigation of Users in a Smart-City (SCW 2013 @ AAMAS 2013) — Sara Montagna, Mirko ViroliInternet of Things (IoT): A vision, architectural elements, and future directions (Future Generation Computer Systems) — Jayavardhana Gubbi, Rajkumar Buyya, Slaven Marusic, Marimuthu PalaniswamiTyping Multi-agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012) — Alessandro Ricci, Andrea SantiAdaptive Pedestrian Behaviour for the Preservation of Group Cohesion (Complex Adaptive Systems Modeling) — Giuseppe Vizzari, Lorenza Manenti, Luca CrocianiA Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (Journal of Simulation) — Pedro Pablo González Pérez, Andrea Omicini, Marco SbaragliaTuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (book chapter) — Stefano Mariani, Andrea OmiciniDistributed Algorithms for Message-Passing Systems (book) — Michel RaynalEngineering Pervasive Multiagent Systems in SAPERE (EMAS 2013 @ AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco ZambonelliSelf-Organising News Management: The Molecules of Knowledge Approach (SASO 2012) — Stefano Mariani, Andrea OmiciniSocial Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (SOCIAL:PATH @ AISB 2013) — Harko Verhagen, Pablo Noriega, Tina Balke, Marina de VosInternational conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2013) — Maria L. Gini, Onn Shehory, Takayuki Ito, Catholijn M. JonkerEvent-driven Programming for Situated MAS with ReSpecT Tuple Centres (ABC:MI 2013 @ MATES 2013) — Stefano Mariani, Andrea OmiciniAI*IA 2013: Advances in Artificial Intelligence (AI*IA 2013) — Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto MicalizioA Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012) — Sara Montagna, Danilo Pianini, Mirko ViroliTowards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012 @ SASO 2012) — Marco Alberti, Andrea OmiciniIs It a “Good” Encoding of Mixed Choice? (paper in proceedings) — Kirstin Peters, Uwe NestmannGradient-based Self-organisation Patterns of Anticipative Adaptation (SASO 2012) — Sara Montagna, Danilo Pianini, Mirko ViroliPervasive Ecosystems: a Coordination Model based on Semantic Chemistry (SAC 2012) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme StevensonLinda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings) — Mirko Viroli, Danilo Pianini, Jacob BealBayesian Reasoning and Machine Learning (book) — David BarberAgents and Peer-to-Peer Computing (AP2PC 2008 @ AAMAS 2008) — Domenico Beneventano, Zoran Despotovic, Francesco Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau de PinninckA Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko ViroliSystematic Review in Software Engineering: Where We Are and Where We Should Be Going (EAST 2012 @ ESEM 2012) — Barbara A. KitchenhamBottom-Up Argumentation (paper in proceedings) — Francesca Toni, Paolo TorroniSelf-organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012 @ SASO 2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon DobsonProgramming Distributed Multi-Agent Systems in simpAL (WOA 2012) — Andrea Santi, Alessandro RicciThe Goals of Cognition. Essays in Honor of Cristiano Castelfranchi (edited volume) — Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria MiceliVPN - Client-server object-oriented virtual plant modeling tool (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico DentiProgramming Multi-Agent Systems (PROMAS 2010 @ AAMAS 2010) — Rem Collier, Jürgen Dix, Peter NovákFrom Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation (EDCC 2012) — João Sousa, Alysson BessaniMolecules of Knowledge: A Novel Perspective over Knowledge Management (AI*IA 2012 DC @ AI*IA 2012) — Stefano Mariani, Andrea OmiciniCAP twelve years later: How the “rules” have changed (Computer) — Eric BrewerFrom SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon DobsonVirtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (International Journal of Next-Generation Computing) — Schahram Dustdar, Hong-Linh TruongASENSIS 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 ZambonelliProgramming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (AGERE! 2012 @ SPLASH 2012) — Alessandro Ricci, Andrea SantiProgramming Directives for Elastic Computing (IEEE Internet Computing) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh TruongHigh Performance MySQL. Optimization, backups, and replication (book) — Baron Schwartz, Peter Zaitsev, Vadim TkachenkoOn the Space-time Situation of Pervasive Service Ecosystems (SCW 2012 @ AAMAS 2012) — Mirko Viroli, Graeme StevensonA 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 CabriInternational Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) — Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael WinikoffDistributed Systems. Concepts and Design (book) — George Coulouris, Jean Dollimore, Tim Kindberg, Gordon BlairAdvanced Agent Technology (AOSE 2011 @ AAMAS 2011) — Francien Dechesne, Hiromitsu Hattori, Adriaan ter Mors, Jose Miguel Such, Danny Weyns, Frank DignumThinking as Computation: A First Course (book) — Hector J. LevesqueProgramming Multi-Agent Systems (PROMAS 2011 @ AAMAS 2011) — Louise A. Dennis, Olivier Boissier, Rafael H. BordiniStandard Type Soundness for Agents and Artifacts (Scientific Annals of Computer Science) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko ViroliA Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko ViroliBIO-CORE: Bio-inspired Self-organising Mechanisms Core (paper in proceedings) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara MontagnaPerspectives on the CAP Theorem (Computer) — Seth Gilbert, Nancy LynchOvercoming CAP with Consistent Soft-State Replication (Computer) — Kenneth Birman, Daniel Freedman, Qi Huang, Patrick DowellDynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012 @ SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko ViroliA Programming Paradigm based on Agent-Oriented Abstractions (International Journal on Advances in Software) — Alessandro Ricci, Andrea SantiInterdependent Artificial Institutions in Agent Environments (Applied Artificial Intelligence) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz SchumacherPerspectives on Spin Glasses (book) — Pierluigi Contucci, Cristian GiardinàAgents Writing on Walls: Cognitive Stigmergy and Beyond (book chapter) — Andrea Omicini1st 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 ZambonelliLogic for physical space: From antiquity to present days (Synthese) — Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin GorankoProceedings of the AI*IA 2012 Doctoral Consortium (edited volume) — Paolo Liberatore, Michele Lombardi, Floriano SciosciaSelf-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012 @ SASO 2012) — Stefano Mariani, Andrea OmiciniEarly Homo: Who, When, and Where (article in journal) — Susan C. AntónOn the Space-time Situation of Pervasive Service Ecosystems (SCW 2012 @ AAMAS 2012) — Mirko Viroli, Graeme StevensonTowards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-MarquezAn Eclipse-based IDE for Agent-Oriented Programming in simpAL (Eclipse-IT 2012) — Andrea Santi, Alessandro RicciMultiagent System Technologies (MATES 2012) — Ingo J. Timm, Christian GuttmannImplicit: A Multi-agent Recommendation System for Web Search (Autonomous Agents and Multi-Agent Systems) — Aliaksandr Birukou, Enrico Blanzieri, Paolo GiorginiSituation Identification Techniques in Pervasive Computing: A Review (Pervasive and Mobile Computing) — Juan Ye, Simon Dobson, Susan McKeeverArchitecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (paper in proceedings) — Christoph Dorn, Richard N TaylorECLiPSe – From LP to CLP (Theory and Practice of Logic Programming) — Joachim Schimpf, Kish ShenSelf-adaptive software needs quantitative verification at runtime (Communications of the ACM) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela MirandolaIdentification of the Social and Cognitive Processes Underlying Human Cumulative Culture (Science) — L. G. Dean, R. L. Kendal, S. J. Schapiro, B. Thierry, K. N. LalandToward Sociotechnical Urban Superorganisms (Computer) — Franco ZambonelliSimulation 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 MontagnaBlackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (FOCLASA 2012 @ CONCUR'12) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian StaicuGuest Editor's Introduction: The CAP Theorem's Growing Impact (Computer) — Simon S.Y. ShimToward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012) — Matteo Casadei, Mirko ViroliThe Finite Domain Constraint Solver of SWI-Prolog (book chapter) — Markus TriskaDeclarative Agent Languages and Technologies IX (DALT 2011 @ AAMAS 2011) — Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael WinikoffTyping Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012) — Alessandro Ricci, Andrea SantiEffective MySQL Replication Techniques in Depth (book) — Ronald Bradford, Chris SchneiderPervasive Adaptation. The Next Generation Pervasive Computing Research Agenda (edited volume) — Alois FerschaHandbook of Augmented Reality (edited volume) — Borko FurhtCoordinating Spatially-Situated Pervasive Service Ecosystems (WOA 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco ZambonelliInnovation and Economic Crisis. Lessons and Prospects from the Economic Downturn (book) — Daniele Archibugi, Andrea Filippetti10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011) — Liz Sonenberg, Peter Stone, Kagan Tumer, Pinar YolumModel-driven communications and collaborative software development (paper in proceedings) — Antonio NataliDeclarative Agent Languages and Technologies VIII (DALT 2010 @ AAMAS 2010) — Andrea Omicini, Sebastian Sardina, Wamberto VasconcelosDeep diving into BitTorrent locality (paper in proceedings) — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo RodriguezLiving in a Digital World (Communications of the ACM) — Samuel GreengardAI*IA 2011: Artificial Intelligence Around Man and Beyond (AI*IA 2011) — Roberto Pirrone, Filippo SorbellosimpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (Science of Computer Programming) — Alessandro Ricci, Mirko Viroli, Giulio PiancastelliReasoning with Categories for Trusting Strangers: a Cognitive Architecture (paper in proceedings) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano CastelfranchiSeeing is not enough (Communications of the ACM) — Tom GellerPreface (Declarative Agent Languages and Technologies VIII) — Andrea Omicini, Sebastian Sardina, Wamberto VasconcelosCross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (The Computer Journal) — Giuseppe Cardone, Antonio Corradi, Luca FoschiniOne Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (ACM Computing Surveys) — Aline Carneiro Viana, Stephane Maag, Fatiha ZaidiEnvironment Programming in Multi-Agent Systems – An Artifact-Based Perspective (Autonomous Agents and Multi-Agent Systems) — Alessandro Ricci, Michele Piunti, Mirko ViroliTowards a Coordination Approach to Adaptive Pervasive Service Ecosystems (SASO 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco ZambonelliBaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011) — Ambra Molesini, Enrico Denti, Andrea OmiciniJaCa-Android: an agent-based platform for building smart mobile applications (AGERE! 2011 @ SPLASH 2011) — Andrea Santi, Alessandro RicciSpecial 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 BottiSoftware Engineering for Self-Organizing Systems (AOSE 2011 @ AAMAS 2011) — H. Van Dyke Parunak, Sven A. BruecknerA Simulation Framework for Pervasive Services Ecosystems (WOA 2011) — Danilo Pianini, Mirko Viroli, Sara MontagnaUsing SOA Governance Design Methodologies to Augment Enterprise Service Descriptions (paper in proceedings) — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem BenatallahDistributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (AAMAS 2011) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul ScerriIntroduction to Bisimulation and Coinduction (book) — Davide SangiorgiDescription Spaces with Fuzziness (CM 2011 @ SAC 2011) — Elena Nardini, Andrea Omicini, Mirko ViroliA Coordination Approach to Adaptive Pervasive Service Ecosystems (SASO 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco ZambonelliA Calculus of Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko ViroliDennis Ritchie, 1941-2011 (Communications of the ACM) — Paul HymanSustainable biomass power plant location in the Italian Emilia-Romagna region (ACM Transactions on Intelligent Systems and Technology) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo CagnoliDescription 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 MontagnaDistributed Computing. Principles, Algorithms, and Systems (book) — Ajay D. Kshemkalyani, Mukesh SinghalAbstraction in hardware system design (Communications of the ACM) — Rishiyur S. NikhilTowards a logic framework for Web programming (Intelligenza Artificiale) — Giulio Piancastelli, Andrea Omicini, Enrico DentiJava Security Architecture Revisited (ACM Queue) — Li GongImproving brain-computer interfaces (Communications of the ACM) — Kirk L. KroekerUbiquity Symposium `What is Computation?': What Have We Said About Computation? (Ubiquity) — Peter J. DenningMiddleware Infrastructures for Self-organising Pervasive Computing Systems (book chapter) — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco ZambonelliUnsupervised Learning of True Ranking Estimators using the Belief Function Framework (technical report) — Andrea Argentini, Enrico BlanzieriTowards Social-ICT Organisms (book chapter) — Franco ZambonelliA Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (International Journal of Pervasive Computing and Communications) — Franco Zambonelli, Mirko ViroliMultiagent System Technologies (MATES 2011) — Franziska Klügl, Sascha OssowskiThe legacy of Steve Jobs (Communications of the ACM) — Michael A. CusumanoVerifying the Evolution of Probability Distributions Governed by a DTMC (IEEE Transactions on Software Engineering) — YoungMin Kwon, Gul AghaDescription 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 CasadeiThe most ancient marketing (Communications of the ACM) — Jaron LanierDesigning a general-purpose programming language based on agent-oriented abstractions: the simpAL project (AGERE! 2011 @ SPLASH 2011) — Alessandro Ricci, Andrea SantiSelf-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 WallyThe software industry is the problem (Communications of the ACM) — Poul-Henning KampAdaptive organizational changes in agent-oriented methodologies (The Knowledge Engineering Review) — Luca Cernuzzi, Franco ZambonelliSpatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco ZambonelliFrom Space to Stage: How Interactive Screens Will Change Urban Life (Computer) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg MüllerSelf-organising Knowledge-intensive Workspaces (book chapter) — Andrea OmiciniEnhancing Privacy in Multi-Agent Systems (phd thesis) — Jose Miguel Such AparicioThe Social Compute Unit (IEEE Internet Computing) — Schahram Dustdar, Kamal BhattacharyaCoordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. SchumacherTowards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (paper in proceedings) — Clare Dixon, Alan Winfield, Micheal FisherMulti-level models and infrastructures for simulating biological system development (phd thesis) — Sara MontagnaAdaptable Multi-Agent Systems: The Case of the Gaia Methodology (International Journal of Software Engineering and Knowledge Engineering) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco ZambonelliVirtual Reality: Concepts and Technologies (edited volume) — Philippe Fuchs, Guillaume Moreau, Pascal GuittonPreface (Science of Computer Programming) — Carlos Canal, Mirko ViroliThe Rise of Molecular Machines (Communications of the ACM) — Kirk L. KroekerSelf-organising Software (book chapter) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony KarageorgosBDI Agents with Objectives and Preferences (DALT 2010 @ AAMAS 2010) — Aniruddha Dasgupta, Aditya K. GhoseExploiting the Eclipse Ecosystem for Agent-Oriented Programming (Eclipse-IT 2011) — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro RicciFacing Openness with Socio Cognitive Trust and Categories (IJCAI 2011) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano CastelfranchiCore Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo CasadeiPrinciples of Elastic Processes (IEEE Internet Computing) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh TruongProcesses Engineering and AOSE (AOSE 2009 @ AAMAS 2009) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea OmiciniAgent-Oriented Software Engineering X (AOSE 2009 @ AAMAS 2009) — Marie-Pierre Gleizes, Jorge J. Gómez-SanzAgent-Oriented Software Engineering XI (AOSE 2010 @ AAMAS 2010) — Danny Weyns, Marie-Pierre GleizesA Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Sara Montagna, Mirko ViroliSelf-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo SerugendoA Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (The Knowledge Engineering Review) — Peter McBurney, Simon Parsons, Mirko ViroliAnonymity is not privacy: technical perspective (Communications of the ACM) — Vitaly ShmatikovProgramming Coordination Laws of Artifacts in CArtAgO (CM 2011 @ SAC 2011) — Marco Sbaraglia, Mirko Viroli, Matteo CasadeiA Tour of Reaction Systems (International Journal of Foundations of Computer Science) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz RozenbergDebt Deleveraging and Business Cycles. An Agent-Based Perspective (Economics) — Marco Raberto, Andrea Teglio, Silvano CincottiTowards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs (AAMAS 2011) — Stefan J. Witwicki, Edmund H. DurfeeExploiting the JaCaMo framework for realising an adaptive room governance application (AGERE! 2011 @ SPLASH 2011) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea SantiGlobal Democracy: Normative and Empirical Perspectives (book) — Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele MarchettiComputational journalism (Communications of the ACM) — Sarah Cohen, James T. Hamilton, Fred TurnerCoordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review) — Andrea Omicini, Mirko ViroliAn 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 SantiSpatial Computing: Distributed Systems That Take Advantage of Our Geometric World (ACM Transactions on Autonomous and Adaptive Systems) — Jacob Beal, Olivier Michel, Ulrik Pagh SchultzUbiquity Symposium `What is Computation?': Is the Symposium Question Harmful?: Consideration of the Question 'What is Computation?' Considered Harmful (Ubiquity) — Peter A. FreemanInfrastructures 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 BottiWill software engineering ever be engineering? (Communications of the ACM) — Michael DavisAgent-based Conference Management: A Case Study in SODA (International Journal of Agent-Oriented Software Engineering) — Ambra Molesini, Enrico Denti, Andrea Omicini9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) — Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip SenAgents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (book chapter) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo TorroniDocumenting SODA: An Evaluation of the Process Documentation Template (WOA 2010) — Ambra Molesini, Andrea OmiciniReplication. Theory and Practice (edited volume) — Bernadette Charron-Bost, Fernando Pedone, André SchiperProgramming Open Systems with Agents, Environments and Organizations (WOA 2010) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. HubnerA Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (Pervasive and Mobile Computing) — Clemens Holzmann, Alois FerschaSimulate plants: a client-server graphic approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Enrico DentiSelf Comes to Mind: Constructing the Conscious Brain (book) — Antonio R. DamasioMERCURIO: 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 SantiZooKeeper: Wait-free Coordination for Internet-scale Systems (USENIX ATC 2010) — Patrick Hunt, Mahadev Konar, Flavio P Junqueira, Benjamin ReedTowards Model-driven Communications (ICSET 2010) — Antonio Natali, Ambra MolesiniA Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents (phd thesis) — Sameh Abdel-NabyThe Description Logic Handbook: Theory, Implementation, and Applications (book) — Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-SchneiderSpecification and Verification of Multi-agent Systems (edited volume) — Mehdi Dastani, Koen V. Hindriks, John-Jules Ch. MeyerSystematic literature reviews in software engineering – A tertiary study (Information and Software Technology) — Barbara Kitchenham, Rialette Pretorius, David Budgen, O. Pearl Brereton, Mark Turner, Mahmood Niazi, Stephen LinkmanExploring the Boundaries: When Method Fragmentation is not Convenient (FIPA-DPDF @ MALLOW 2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo ZancanaroArtificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter NorvigEmbodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (paper in proceedings) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro RicciA Biochemical Approach to Adaptive Service Ecosystems (Information Sciences) — Mirko Viroli, Franco ZambonelliEngineering 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ächtlerArgumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko ViroliLogic-based decision support for strategic environmental assessment (Theory and Practice of Logic Programming) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo CagnoliDescribing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (FIPA-DPDF @ MALLOW 2010) — Sergio Esparcia, Estefania Argente, Vicent BottiChemical-Inspired Self-Composition of Competing Services (SAC 2010) — Mirko Viroli, Matteo CasadeiProcess Documentation Standardization: An Initial Evaluation (FIPA-DPDF @ MALLOW 2010) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea OmiciniA Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea OmiciniCPS Foundations (paper in proceedings) — Edward A. LeeCredit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (Economics) — Silvano Cincotti, Marco Raberto, Andrea TeglioBuilding an Agent Methodology from Fragments: the MEnSA experience (AOMIP 2010 @ SAC 2010) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra MolesiniFrom Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (paper in proceedings) — Andrea SantiWOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (WOA 2010) — Andrea Omicini, Mirko ViroliProgramming Multi-Agent Systems (PROMAS 2009 @ AAMAS 2009) — Lars Braubach, Jean-Pierre Briot, John ThangarajahMultiagent System Technologies (MATES 2010) — Jürgen Dix, Cees WitteveenUbiquity Symposium `What is Computation?': Computation is Process (Ubiquity) — Dennis J. FraileyA Basis Set of Operators for Space-Time Computations (SASO 2010) — Jacob BealTutorial on Agent-based Modelling and Simulation (Journal of Simulation) — Charles M. Macal, Michael J. NorthMind in Life: Biology, Phenomenology, and the Sciences of Mind (book) — Evan ThompsonStochastic 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 PriamiClassical Planning (Artificial Intelligence: A Modern Approach) — Stuart J. Russell, Peter NorvigTowards a New Approach for MAS Situational Method Engineering: a Fragment Definition (FIPA-DPDF @ MALLOW 2010) — Sara Casare, Zahia Guessoum, Anarosa A. F. Brandao, Jaime SichmanExploiting Agent-Oriented Programming for Developing Android Applications (WOA 2010) — Andrea Santi, Marco Guidi, Alessandro RicciMetaSelf: An Architecture and a Development Method for Dependable Self-* systems (SAC 2010) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander RomanovskyHomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (ICAART 2009) — Ambra Molesini, Enrico Denti, Andrea OmiciniUsing Domain Specific Languages for platform-based software development: The case of Android (paper in proceedings) — Antonio Natali, Ambra MolesiniSelf Organization in Coordination Systems using a WordNet-based Ontology (SASO 2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko ViroliSimulation and Analysis of Distributed Systems in Klaim (paper in proceedings) — Francesco Calzolai, Michele LoretiApplying Process Document Standarization to INGENIAS (FIPA-DPDF @ MALLOW 2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-RodríguezAbstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (paper in proceedings) — Bo Sun Conghua Zhou, Liu ZhifengMERCURIO: 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 SantiTransitivity in Trust. A Discussed Property (WOA 2010) — Rino Falcone, Cristiano CastelfranchiDeclarative Agent Languages and Technologies VII (DALT 2009 @ AAMAS 2009) — Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John LloydThe Internet of Things: A survey (Computer Networks) — Luigi Atzori, Antonio Iera, Giacomo MorabitoCoordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010 @ SAC 2010) — Elena Nardini, Mirko Viroli, Emanuele PanzavoltaUsing Event-Driven Lightweight DSC-based Agents for MAS Modelling (International Journal of Agent-Oriented Software Engineering) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma RussoAn Agent-based Model for the Pattern Formation in Drosophila Melanogaster (ALIFE XII) — Sara Montagna, Nicola Donati, Andrea OmiciniAction and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (PROMAS 2010 @ AAMAS 2010) — Alessandro Ricci, Andrea Santi, Michele PiuntiExplorations in Computing: An Introduction to Computer Science (book) — John S. ConeryA Framework for Modelling and Simulating Networks of Cells (paper in proceedings) — Sara Montagna, Mirko ViroliDesigning and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (phd thesis) — Michele PiuntiDeveloping Web Client Applications with JaCa-Web (WOA 2010) — Mattia Minotti, Andrea Santi, Alessandro RicciArtificial 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 RasmussenIntroducing Relevance Awareness in BDI Agents (PROMAS 2009 @ AAMAS 2009) — Emiliano Lorini, Michele PiuntiFormalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (PROMAS 2009 @ AAMAS 2009) — Alessandro Ricci, Mirko Viroli, Michele PiuntiDatabase Replication (book) — Bettina Kemme, Ricardo Jiménez Peris, Marta Patiño-MartínezJaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (LADS 2010 @ MALLOW 2010) — Andrea Santi, Guidi Marco, Alessandro RicciTowards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (SOAR 2009 @ WICSA/ECSA 2009) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea OmiciniStability 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 BatistaFormal Verification of Probabilistic Swarm Behaviours (paper in proceedings) — Savas Konur, Clare Dixon, Michael FisherUbiquity Symposium `What is Computation?': Opening Statement (Ubiquity) — Peter J. DenningInteracting with Virtual Plants: a Client-Server Approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico DentiA Glimpse of the ASPECS Process documented with the FIPA DPDF Template (FIPA-DPDF @ MALLOW 2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa KoukamTackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy (book chapter) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio GalloImplementing reactive BDI agents with user-given constraints and objectives (International Journal of Agent-Oriented Software Engineering) — Aniruddha Dasgupta, Aditya K. GhoseReaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (PLOS ONE) — Sagar Indurkhya, Jacob BealA Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010) — Sara Montagna, Andrea Omicini, Alessandro RicciTrust Theory: A Socio-Cognitive and Computational Model (book) — Christiano Castelfranchi, Rino FalconeUbiquity Symposium `What is Computation?': Computation is Symbol Manipulation (Ubiquity) — John S. ConeryAgents and Peer-to-Peer Computing (AP2PC 2007 @ AAMAS 2007) — Samuel R.H. Joseph, Zoran Despotovic, Gianluca Moro, Sonia BergamaschiBehavioral 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 TummoliniExploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (LADS 2010 @ MALLOW 2010) — Mattia Minotti, Andrea Santi, Alessandro RicciEpistemic Vigilance (Mind & Language) — Dan Sperber, Fabrice Clément, Christophe Heintz, Olivier Mascaro, Hugo Mercier, Gloria Origgi, Deirdre WilsonThe O-MaSE Process: a Standard View (FIPA-DPDF @ MALLOW 2010) — Juan C. Garcia-Ojeda, Scott DeLoachA Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (Multiagent and Grid Systems) — Alessandro Ricci, Enrico Denti, Michele PiuntiArchitecture-Based Design of Multi-Agent Systems (book) — Danny WeynsRisk Analysis and Deployment Security Issues in a Multi-Agent System (paper in proceedings) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico DentiHandouts 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čekEngineering Societies in the Agents World IX (ESAW 2008) — Alexander Artikis, Gauthier Picard, Laurent VercouterSOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009) — Michele Piunti, Alessandro Ricci, Andrea SantiMultiagent System Technologies (MATES 2009) — Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander PokahrA Semantic eScience Portal for International Scientific and Academic Cooperation (DAAAM 2009) — Bernhard Angerer, Branko Katalinic, Andrea OmiciniGeneral-Purpose Coordination Abstractions for Managing Interaction in MAS (IAT 2009) — Elena Nardini, Andrea Omicini, Mirko ViroliDeclarative Agent Languages and Technologies VI (DALT 2008 @ AAMAS 2008) — Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael WinikoffRBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea OmiciniProgramming Multi-Agent Systems (PROMAS 2008 @ AAMAS 2008) — Koen V. Hindriks, Alexander Pokahr, Sebastian SardiñaSpecial Track on: Agent-Oriented Software Engineering Methodologies and Systems (SAC 2009) — Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria SeiditaDesigning a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico DentiA Formal Definition of Colture (technical report) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto GiunchigliaExternalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (paper in proceedings) — Alessandro Ricci, Michele Piunti, Mirko ViroliInformation, Physics, and Computation (book) — Marc Mézard, Andrea MontanariArgumentation and Artifact for Dialogue Support (ArgMAS 2008 @ AAMAS 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurneyA guide to systematic literature reviews (article in journal) — Alison NightingaleSystematic literature reviews in software engineering – A systematic literature review (Information and Software Technology) — Barbara Kitchenham, O. Pearl Brereton, David Budgen, Mark Turner, John Bailey, Stephen LinkmanCausality: Models, Reasoning, and Inference (book) — Judea PearlSelf-Organising Coordination Systems (phd thesis) — Matteo CasadeiManipulation implicite d'une organisation multiagent via l'environnement (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. HubnerA Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (SAC 2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara MontagnaMathematics for Economics: A Statistical Mechanics Perspective (ERCIM News) — Pierluigi Contucci, Francesca RomitiGaia4E: A Tool Supporting the Design of MAS using Gaia (paper in proceedings) — Luca Cernuzzi, Franco ZambonelliA SOA Based Software Engineering Design Approach in Service Engineering (paper in proceedings) — Weider D. Yu, Chia H. OngSpecial Issue “Engineering Environments in Multi-Agent Systems” (Multiagent and Grid Systems) — Danny Weyns, Andrea OmiciniThe Craft of Prolog (book) — Richard O'KeefeModelling Periodic Data Dissemination in Wireless Sensor Networks (paper in proceedings) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy NixonEmbodying Organisations in Multi-Agent Work Environments (IAT 2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. HubnerPrinciples of Geographic Information Systems. An Introductory Textbook (edited volume) — Otto Huisman, Rolf A. de ByDeclarative 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 StorariUsing 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. SichmanAgent-based Modelling of Stem Cells (book chapter) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob SaundersA Goal-Oriented Approach for Modelling Self-organising MAS (ESAW 2009) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna PeriniInteractive Graphical Maps for Infocenter via Model to Model Transformation (paper in proceedings) — Enrico OlivaThe Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (book) — George BooleCognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (paper in proceedings) — Michele Piunti, Alessandro RicciAn Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications (paper in proceedings) — Giulio Piancastelli, Alessandro Ricci, Mattia MinottiSoftware Engineering: An Idea Whose Time Has Come and Gone? (IEEE Software) — Tom De MarcoAn Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (paper in proceedings) — Matteo Casadei, Mirko ViroliImproving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (paper in proceedings) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio InsfánA Process Model of Actin Polymerisation (paper in proceedings) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew PhillipsUsing Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (SAC 2009) — Matteo Casadei, Mirko ViroliMaking Sense of Revision-control Systems (Communications of the ACM) — Bryan O'SullivanCombining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter) — Luca Gardelli, Mirko Viroli, Andrea OmiciniProgramming SOA/WS Systems with BDI Agents and Artifact-Based Environments (paper in proceedings) — Michele Piunti, Andrea Santi, Alessandro RicciAn Agent-based Application for Home Intelligence (ICAART 2009) — Ambra Molesini, Enrico Denti, Andrea OmiciniKnowledge-based coordination with a reliable semantic subscription mechanism (SAC 2009) — Martin Murth, Eva KuhnEnvironment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea OmiciniUsing and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (AOSE 2008 @ AAMAS 2008) — Valeria Seidita, Massimo Cossentino, Salvatore GaglioEngineering Societies in the Agents World X (ESAW 2009) — Huib Aldewereld, Virginia Dignum, Gauthier PicardPropagation via lazy clause generation (Constraints) — Olga Ohrimenko, Peter J. Stuckey, Michael CodishEmbodied Organisations in MAS Environments (MATES 2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. HubnerTowards a Logic Language and Framework for Web Programming (Il Milione 2008) — Giulio Piancastelli, Andrea Omicini, Enrico DentiA MAS Metamodel-Driven Approach to Process Fragments Selection (AOSE 2008 @ AAMAS 2008) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria SeiditaComputing Needs Time (Communications of the ACM) — Edward A. LeeCombining Timed Coordination Primitives and Probabilistic Tuple Spaces (paper in proceedings) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi ZavattaroEmpirical comparison of methods for information systems development according to SOA (paper in proceedings) — Philipp Offermann, Udo BubAgent-Oriented Software Engineering IX (AOSE 2008 @ AAMAS 2008) — Michael Luck, Jorge J. Gómez-SanzAn 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 SantosAgents, Intelligence, and Tools (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko ViroliProgramming Pervasive and Mobile Computing Applications: The TOTA Approach (ACM Transactions on Software Engineering and Methodology) — Marco Mamei, Franco ZambonelliImplicit Culture Framework for behavior transfer. Definition, implementation and applications (phd thesis) — Aliaksandr BirukouImplementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments (MATES 2009) — Alessandro Ricci, Michele PiuntiParameter tuning of a stochastic biological simulator by metaheuristics (paper in proceedings) — Sara Montagna, Andrea RoliSome Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (paper in proceedings) — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy CalderOn the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming) — Matteo Casadei, Mirko Viroli, Luca GardelliFEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (paper in proceedings) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko ViroliEnvironment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems) — Ambra Molesini, Andrea Omicini, Mirko ViroliA computational framework for modelling multicellular biochemistry (paper in proceedings) — Sara Montagna, Mirko ViroliAn Introduction to MultiAgent Systems (book) — Michael J. WooldridgeAI*IA 2009: Emergent Perspectives in Artificial Intelligence (AI*IA 2009) — Roberto Serra, Rita Cucchiara8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009) — Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão SichmanTesting Techniques for Software Agents (phd thesis) — Cu Duy NguyenA History of Satisfiability (book chapter) — John Franco, John MartinCostruire sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra MolesiniSituated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea OmiciniBiochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo CasadeiSituated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009 @ SAC 2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea OmiciniA Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009) — Mirko Viroli, Matteo Casadei, Andrea OmiciniIncreasing interactivity in Agent-based Advanced Pocket-Device Service Application (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Stefano FanteTowards a Logic Language and Framework for Web Programming (book chapter) — Giulio Piancastelli, Andrea Omicini, Enrico DentiIndustrial Deployment of Multi-Agent Technologies: Review and Selected Case Studies (Autonomous Agents and Multi-Agent Systems) — Michal Pěchouček, Vladimír MaříkOn the Quantitative Analysis of Architecture Stability in Aspectual Decomposition (WICSA 2008) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís BatistaSimulation Methods in Systems Biology (paper in proceedings) — Daniel T. GillespieIntegrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms (AAMAS 2008) — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi DastaniA&A for Modelling and Engineering Simulations in Systems Biology (International Journal of Agent-Oriented Software Engineering) — Sara Montagna, Alessandro Ricci, Andrea OmiciniAdvancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea OmiciniPreface (editorial/introduction/preface) — Canal Carlos, Pascal Poizat, Mirko ViroliA 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. PlimptonPrototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (FOCLASA 2007 @ CONCUR'07) — Alessandro Ricci, Mirko Viroli, Maurizio CimadamorePhase Transitions in Social Sciences: Two-populations Mean Field Theory (International Journal of Modern Physics B) — Pierluigi Contucci, Ignacio Gallo, Giulia MenconiHybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (PROMAS 2007 @ AAMAS 2007) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder StolzenburgTuplespace-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-RecuerdaOn the reification of Java wildcards (Science of Computer Programming) — Maurizio Cimadamore, Mirko ViroliDesigning 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 OmiciniA Simple Totally Ordered Broadcast Protocol (LADIS 2008) — Benjamin Reed, Flavio P. JunqueiraSituating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008 @ WET ICE 2008) — Matteo Casadei, Andrea OmiciniIl Milione. Viaggio nella logica computazionale in Italia (edited volume) — Matteo Baldoni, Cristina BaroglioDescription Logics (book chapter) — Franz Baader, Ian Horrocks, Ulrike SattlerTool-Supported Development with Tropos: The Conference Management System Case Study (AOSE 2007 @ AAMAS 2007) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo SusiFrom Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS (paper in proceedings) — Michele Piunti, Alessandro RicciAn experimental environment for teaching Java Security (paper in proceedings) — Anna Riccioni, Enrico Denti, Roberto LaschiRisk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (paper in proceedings) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola ZannoneExpressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (paper in proceedings) — Mario BravettiGoal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (IAT 2008) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander PokahrProgramming Multi-Agent Systems (PROMAS 2007 @ AAMAS 2007) — Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael WinikoffEngineering Societies in the Agents’ World VIII (ESAW 2007) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. VourosA Logic Programming Model for Web Resources (WEBIST 2008) — Giulio Piancastelli, Andrea OmiciniThe Semantic Web: Webizing Knowledge Representation (Handbook of Knowledge Representation) — Jim Hendler, Frank van HarmelenThe Architecture and Design of a Malleable Object-Oriented Prolog Engine (SAC 2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro RicciAgent-oriented AmI Engineering (paper in proceedings) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo GiorginiAutomating Workflow using Dialectical Argumentation (IADIS International Journal on Computer Science and Information Systems) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea OmiciniMathematics and Social Science: A Statistical Mechanics Approach to Immigration (ERCIM News) — Pierluigi Contucci, Cristian GiardinaA Multi-Theory Logic Programming Language for the World Wide Web (technical report) — Giulio Piancastelli, Andrea OmiciniIntegrating Java and Prolog through Generic Methods and Type Inference (SAC 2008) — Maurizio Cimadamore, Mirko ViroliEconophysics and the Current Economic Turmoil (APS News) — H. Eugene StanleyThe BlenXLanguage: A Tutorial (paper in proceedings) — Lorenzo Dematté, Corrado Priami, Alessandro RomanelIntroducing Join-Computing (paper in proceedings) — Giacomo CabriNature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco ZambonelliDeclarative Agent Languages and Technologies V (DALT 2007 @ AAMAS 2007) — Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael WinikoffDesigning a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico DentiThe A&A Programming Model and Technology for Developing Agent Environments in MAS (PROMAS 2007 @ AAMAS 2007) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniMeta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (phd thesis) — Ambra MolesiniApplying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (SASO 2008) — Matteo Casadei, Mirko ViroliEditorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (Autonomous Agents and Multi-Agent Systems) — Peter McBurney, Andrea OmiciniSPEM on Test: the SODA Case Study (SAC 2008) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico DentiAutomated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems (AAMAS 2008) — Daniel Yamins, Radhika NagpalTropos 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 SusiMulti-Agent Systems (Handbook of Knowledge Representation) — Wiebe van der Hoek, Michael WooldridgeProgramming with models: modularity and abstraction provide powerful capabilities for systems biology (Journal of the Royal Society Interface) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy GunawardenaModel-driven Generation of Graphical Maps for e-Contents (Eclipse-IT 2008) — Antonio Natali, Enrico Oliva, Cristina BonanniSpecial Issue “Agents, Institutions and Legal Theory” (Artificial Intelligence and Law) — Andrea Omicini, Anja Oskamp, Rossella Rubino, Giovanni SartorCo-Argumentation Artifact for Agent Societies (ArgMAS 2007 @ AAMAS 2007) — Enrico Oliva, Peter McBurney, Andrea OmiciniSmart Environments as Agent Workspaces (Ubiquitous Computing and Communication Journal) — Andrea Omicini, Alessandro Ricci, Giuseppe VizzariTowards a Tuplespace-based Middleware for the Semantic Web (Web Intelligence and Agent Systems) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena SimperlAgent-Based Collaboration Systems: A Case Study (KCEC 2008) — Elena Nardini, Andrea OmiciniRBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea OmiciniSpecial Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Peter McBurneyToward a Framework for Collaborative Learning based on Agent-based Technologies (INTED 2008) — Elena Nardini, Andrea Omicini, Maria Cristina MatteucciPNagent: 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řilLightweight Family Polymorphism (Journal of Functional Programming) — Chieri Saito, Atsushi Igarashi, Mirko ViroliBitcoin: A Peer-to-Peer Electronic Cash System (other publication sort) — Satoshi NakamotoArtifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Alessandro Ricci, Mirko ViroliAutonomic Communication Services: A New Challenge for Software Agents (Autonomous Agents and Multi-Agent Systems) — Raffaele Quitadamo, Franco ZambonelliLa costruzione dei sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra MolesiniEvent Calculus (Handbook of Knowledge Representation) — Erik T. MuellerWhat Is Answer Set Programming? (AAAI-08) — Vladimir LifschitzHandbook of Knowledge Representation (edited volume) — Frank van Harmelen, Vladimir Lifschitz, Bruce PorterArguments and Artifacts for Dispute Resolution (WOA 2008) — Enrico Oliva, Mirko Viroli, Andrea OmiciniA Process Algebraic View of Shared Dataspace Coordination (The Journal of Logic and Algebraic Programming) — Nadia Busi, Gianluigi ZavattarosimpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Giulio PiancastelliThe Computing Field: Structure (book chapter) — Peter J. DenningCognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (paper in proceedings) — Michele Piunti, Alessandro RicciPASSIM: 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 RussoA Decentralized and Ontology-Based Approach to Infrastructure Monitoring (paper in proceedings) — Florian Fuchs, Michael BergerExperimenting with Stochastic Prolog as a Simulation Language (CILC 2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea OmiciniArgumentation and Artifacts for Intelligent Multi-agent Systems (phd thesis) — Enrico OlivaA Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (ICL 2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro GaffuriMethodologies for Designing Agent Societies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara PuvianiArgumentation and Artifact for Dialogue Support (ArgMAS 2008 @ AAMAS 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurneyCochrane Handbook for Systematic Reviews of Interventions (edited volume) — Julian P.T. Higgins, Sally GreenAnswer Sets (Handbook of Knowledge Representation) — Michael GelfondA Multi-Theory Logic Language for the World Wide Web (ICLP 2008) — Giulio Piancastelli, Andrea OmiciniArchitecture and Metaphors for Eternally Adaptive Service Ecosystems (IDC 2008) — Franco Zambonelli, Mirko ViroliPrototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko ViroliMethodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara PuvianiFrom Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (EUMAS 2008) — Michele Piunti, Alessandro RicciMultiagent System Technologies (MATES 2008) — Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal PěchoučekFast self-healing gradients (paper in proceedings) — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark TobenkinKnowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education (edited volume) — Maria Cristina Matteucci, Andrea Omicini, Elena Nardini, Pietro GaffuriAn Agent Framework for Ubiquitous Services (phd thesis) — Conor MuldoonAgent Roles: from Methodologies to Infrastructures (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara PuvianiDeveloping a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (AOSE 2007 @ AAMAS 2007) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo BastosAgent-Oriented Software Engineering VIII (AOSE 2007 @ AAMAS 2007) — Michael Luck, Lin PadghamA 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 ViroliTechnology Diffusion: Analysing the Diffusion of Agent Technologies (Autonomous Agents and Multi-Agent Systems) — Jez McKean, Hayden Shorter, Michael Luck, Peter McBurney, Steven WillmottReSpecT Guide (manual) — Matteo Casadei, Andrea OmiciniWriting a thesis with LaTeX (The PracTeX Journal) — Lapo MoriNature-inspired Spatial Metaphors for Pervasive Service Ecosystems (paper in proceedings) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco ZambonelliLa cultura componibile. Dalla frammentazione alla disgregazione del sapere (book) — Lucio RussoAgents and Peer-to-Peer Computing (AP2PC 2006 @ AAMAS 2006) — Sam Joseph, Zoran Despotovic, Gianluca Moro, Sonia BergamaschiSemantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (technical report) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim LewisIntroduction to AOSE Tools for the Conference Management System (AOSE 2007 @ AAMAS 2007) — Lin Padgham, Michael Luck7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) — Lin Padgham, David C. Parkes, Jörg P. Müller, Simon ParsonsTowards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (WOA 2008) — Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria SeiditaEngineering Self-organising Systems with the Multiagent Paradigm (phd thesis) — Luca GardelliLineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (MAS&BIO 2008 @ AI*IA 2008) — Sara Montagna, Andrea Omicini, Marco AlbertiCollective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008 @ WET ICE 2008) — Matteo Casadei, Mirko Viroli, Marco SantarelliFrom AO Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea OmiciniThe Prometheus Design Tool – A Conference Management System Case Study (AOSE 2007 @ AAMAS 2007) — Lin Padgham, John Thangarajah, Michael WinikoffHierarchical Modeling for Computational Biology (paper in proceedings) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde UhrmacherA Survey of Service Oriented Development Methodologies (paper in proceedings) — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard SimonsDeveloping Multi-Agent Systems with JADE (book) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic GreenwoodAI*IA 2007: Artificial Intelligence and Human-Oriented Computing (AI*IA'07) — Roberto Basili, Maria Teresa PazienzaEvaluating Procedural Alternatives. A Case Study in E-Voting (paper in proceedings) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo VillafioritaInvited Talk: A Process Algebra Master Equation (paper in proceedings) — Luca CardelliFrom AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea OmiciniA Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert TolksdorfWhat is “paradigm”? (technical report) — Erek GöktürkLogical Theories for Fragments of Elementary Geometry (book chapter) — Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter VakarelovPaxos Made Live: An Engineering Perspective (PODC 2007) — Tushar D. Chandra, Robert Griesemer, Joshua RedstoneSituated Cellular Agents Approach to Crowd Modeling and Simulation (Cybernetics and Systems) — Stefania Bandini, Mizar Luca Federici, Giuseppe VizzariAn Agent-Oriented Programming Model for SOA & Web Services (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola ZaghiniDesign Patterns for Multiagent Systems to Elevate Pocket Device Applications (ESAW 2007) — Sameh Abdel-Naby, Paolo Giorgini, Michael WeissSpecifying Protocols for Multi-Agent Systems Interaction (ACM Transactions on Autonomous and Adaptive Systems) — Stefan PosladExploiting the Environment for Coordinating Agent Intentions (paper in proceedings) — Tom Holvoet, Paul ValckenaersWhat is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (Communications & Strategies) — Tim O'ReillyIntegrating Software Models and Platform Models for Performance Analysis (IEEE Transactions on Software Engineering) — Vittorio Cortellessa, Pierluigi Pierini, Daniele RossiUsing Eclipse in Building Model-driven e-Learning Supports (Eclipse-IT 2007) — Antonio Natali, Antonio Del Cinque, Enrico OlivaModelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (FOSBE 2007) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'InvernoDecentralized Regulation of Distributed Systems: Beyond Access Control (technical report) — Naftaly H. MinskyAuction Negotiation for Mobile Rideshare Service (paper in proceedings) — Sameh Abdel-Naby, Stefano Fante, Paolo GiorginiTimed Environment for Web Agents (Web Intelligence and Agent Systems) — Andrea Omicini, Alessandro Ricci, Mirko ViroliSemantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (Journal of Artificial Intelligence Research) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. DoniniHow to infer gene networks from expression profiles (Molecular Systems Biology) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di BernardoContext-Dependent Evaluation Methodology for Open Source Software (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio PiancastelliA 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 MejtskyMechanisms 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 ParunakSupporting Requirements Analysis in Tropos: a Planning-Based Approach (paper in proceedings) — Volha Bryl, Paolo Giorgini, John MylopoulosSimulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko ViroliCArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniMeasurement and Control of Self-organised Behaviour in Robot Swarms (paper in proceedings) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-SchloerService-Oriented Agent Methodologies (WET ICE 2007) — Giacomo Cabri, Letizia Leonardi, Mariachiara PuvianiCooperation and Conflict in Quorum-Sensing Bacterial Populations (Nature) — Stephen P. Diggle, Ashleigh S. Griffin, Genevieve S. Campbell, Stuart A. WestLessons from applying the systematic literature review process within the software engineering domain (Journal of Systems and Software) — O. Pearl Brereton, Barbara A. Kitchenham, David Budgen, Mark Turner, Mohamed KhalilProgramming Multi-Agent Systems (PROMAS 2006 @ AAMAS 2006) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah SeghrouchniFormal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06) — Andrea OmiciniExecutable cell biology (Nature Biotechnology) — Jasmin Fisher, Thomas A. HenzingerMiniZinc: Towards a Standard CP Modelling Language (book chapter) — Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido TackThe Traveling Salesman Problem: A Computational Study (book) — David L. Applegate, Robert E. Bixby, Vašek Chvátal, William J. CookvLab: an Eclipse-based Virtual Laboratory (paper in proceedings) — Anna Riccioni, Enrico DentiHigh Variability Design for Software Agents: Extending Tropos (ACM Transactions on Autonomous and Adaptive Systems) — Loris Penserini, Anna Perini, Angelo Susi, John MylopoulosPractical Extensions in Agent Programming Languages (AAMAS 2007) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. MeyerMultiagent System Technologies (MATES 2007) — Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael GeorgeffSpatial cognition in apes and humans (Trends in Cognitive Sciences) — Dedre GentnerExperiences in Automated Workflows using Dialectical Argumentation (ISA 2007 @ MCCSIS 2007) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea OmiciniA 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-BlochRESTful 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 OmiciniAgent-Oriented Software Engineering VII (AOSE 2006 @ AAMAS 2006) — Lin Padgham, Franco ZambonelliEnvironments for Multi-Agent Systems III (E4MAS 2006 @ AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien MichelSelf-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert TolksdorfPreface (editorial/introduction/preface) — Canal Carlos, Mirko ViroliITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco ZambonelliEngineering Societies in the Agents World VII (ESAW 2006) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz DikenelliInfrastructures for the Environment of Multiagent Systems (Autonomous Agents and Multi-Agent Systems) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco ZambonelliA Survey on Context-Aware Systems (International Journal of Ad Hoc and Ubiquitous Computing) — Matthias Baldauf, Schahram Dustdar, Florian RosenbergThe LighTS Tuple Space Framework and its Customization for Context-aware Applications (Web Intelligence and Agent Systems) — Davide Balzarotti, Paolo Costa, Gian Pietro PiccoExtrospection: Agents Reasoning About the Environment (paper in proceedings) — Lemi Daghan Acay, Philippe Pasquier, Liz SonenbergDistributed Systems. Principles and Paradigms (book) — Andrew S. Tanenbaum, Marteen van SteenB-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 ZannoneCombined 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 LindenEngineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming) — Mirko Viroli, Enrico Denti, Alessandro RicciOn the Problem of Over-clustering in Tuple-based Coordination Systems (SASO 2007) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko ViroliA core calculus for correlation in orchestration languages (The Journal of Logic and Algebraic Programming) — Mirko ViroliStochastic 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 PriamiArchitectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design (paper in proceedings) — Olaf Zimmermann, Jana Koehler, Leymann FrankDesigning Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006 @ AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea OmiciniIntentional Systems Theory (book chapter) — Daniel DennettHuman–Machine Reconfigurations: Plans and Situated Actions (book) — Lucy A. SuchmanPreface (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 LindenDesign Patterns for Self-Organizing Multiagent Systems (EEDAS 2007 @ ICAC 2007) — Luca Gardelli, Mirko Viroli, Andrea OmicinituProlog 2.0: One Step Beyond (ALP Newsletter) — Giulio Piancastelli, Andrea OmiciniA Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (SAC 2007) — Mirko Viroli, Matteo Casadei, Luca GardelliPervasive pheromone-based interaction with RFID tags (ACM Transactions on Autonomous and Adaptive Systems) — Mamei Marco, Franco ZambonelliGeo-Linda: a Geometry Aware Distributed Tuple Space (paper in proceedings) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande BerbersProgramming Multi-Agent Systems in AgentSpeak using Jason (book) — Rafael H. Bordini, Jomi F. Hübner, Michael J. WooldridgeBuilding Smart Environments as Agent Workspaces (CoMA 2007 @ WET ICE 2007) — Andrea Omicini, Alessandro Ricci, Giuseppe VizzariEvent Perception: A Mind–Brain Perspective (Psychological Bulletin) — Jeffrey M. Zacks, Nicole K. Speer, Khena M. Swallow, Todd S. Braver, Jeremy R. ReynoldsAwareness in Collaborative Ubiquitous Environments: The Multilayered Multi-Agent Situated System Approach (ACM Transactions on Autonomous and Adaptive Systems) — Marco P. Locatelli, Giuseppe VizzariCTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (paper in proceedings) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia MascolosimpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings) — Alessandro Ricci, Mirko ViroliUsing Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert TolksdorfGuest Editorial (The Journal of Object Technology) — Davide Ancona, Mirko ViroliLineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (Stem Cells) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo RoederLarge Language Models in Machine Translation (paper in proceedings) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey DeanA Framework for Web Service Negotiation (ACM Transactions on Autonomous and Adaptive Systems) — Shamimabi Paurobally, Valentina Tamma, Michael WooldridgesimpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (WOA 2007) — Alessandro Ricci, Enrico DentiA Concise Introduction to Multiagent Systems and Distributed Artificial Intelligence (book) — Nikos VlassisInfrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence) — Mirko Viroli, Andrea Omicini, Alessandro RicciSistemi Distribuiti (book) — Andrew S. Tanenbaum, Marteen van SteenPreface (Science of Computer Programming) — Carlos Canal, Mirko ViroliEnvironment as a First-class Abstraction in Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems) — Danny Weyns, Andrea Omicini, James J. OdellOn the Interplay of Crosscutting and MAS-Specific Styles (ECSA 2007) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís BatistaDeveloping 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 Boissier6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007) — Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, Onn ShehoryDiscrete Event Modeling and Simulation in Systems Biology (Journal of Simulation) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. UhrmacherIntroduction to the Special Issue: The AgentLink III Technical Forums (ACM Transactions on Autonomous and Adaptive Systems) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurneyMethod fragments for agent design methodologies: from standardisation to research (International Journal of Agent-Oriented Software Engineering) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria SeiditaPrototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko ViroliModel Checking Multi-agent systems with Logic Based Petri Nets (Annals of Mathematics and Artificial Intelligence) — Tristan M. Behrens, Jurgen DixA Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings) — Maurizio Cimadamore, Mirko ViroliVariant path types for scalable extensibility (ACM SIGPLAN Notices) — Atsushi Igarashi, Mirko ViroliGoverning Environments for Agent-Based Traffic Simulations (CEEMAS 2007) — Michael Schumacher, Laurent Grangier, Radu JurcaCognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico OlivaTowards Integrating Agents with Objects Tracing Systems in AmI (EUMAS 2007) — Sameh Abdel-Naby, Paolo Giorgini, Raian AliA General Purpose Programming Model & Technology for Developing Working Environments in MAS (PROMAS 2007 @ AAMAS 2007) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniAgent-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. PeirceModeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (Quality & Quantity) — Pierluigi Contucci, Stefano GhirlandaDesign Patterns for Self-Organising Systems (CEEMAS 2007) — Luca Gardelli, Mirko Viroli, Andrea OmiciniSpecial Issue on the AgentLink III Technical Forums (ACM Transactions on Autonomous and Adaptive Systems) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurneyPellet: A practical OWL-DL reasoner (Journal of Web Semantics) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden KatzReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (FOCLASA 2004 @ CONCUR'04) — Mirko Viroli, Andrea OmiciniCo-Argumentation Artifact for Agent Societies (ArgMAS 2007 @ AAMAS 2007) — Enrico Oliva, Peter McBurney, Andrea OmiciniSoftware Engineering for Multi-Agent Systems V (SELMAS 2006 @ ICSE 2006) — Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander RomanovskyA 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 RicciComputational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005 @ AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (E4MAS 2006 @ AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien MichelL' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo CasadeiDealing with Adaptive Multi-agent Organizations in the Gaia Methodology (AOSE 2005 @ AAMAS 2005) — Luca Cernuzzi, Franco ZambonelliAutomated reasoning (Intelligenza Artificiale) — Maria Paola Bonacina, Alberto MartelliCoordination as a Service (Fundamenta Informaticae) — Mirko Viroli, Andrea OmiciniPreface (Declarative Agent Languages and Technologies III) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo TorroniOn Coordination and its Significance to Distributed and Multi-Agent Systems (Concurrency and Computation: Practice and Experience) — Sascha Ossowski, Ronaldo MenezesMetodologie per l'ingegneria del software: approccio ad agenti (AICA 2006) — Ambra Molesini, Enrico Denti, Andrea OmiciniSocio-technical systems (encyclopedia entry) — Brian WhitworthService-Oriented Design and Development Methodology (International Journal of Web Engineering and Technology) — Michael P. Papazoglou, Willem-Jan Van Den HeuvelAgents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (MAS&S'06 @ ISC'06) — Sara Montagna, Alessandro Ricci, Andrea OmiciniVerifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. WooldridgeCognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (edited volume) — Ron SunOn Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo CasadeiSoftware Engineering for Multi-Agent Systems IV (SELMAS 2005 @ ICSE 2005) — Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander RomanovskyPerforming Systematic Literature Reviews in Software Engineering (ICSE 2006) — David Budgen, Pearl BreretonWeb Services Implementation Methodology for SOA Application (paper in proceedings) — Siew Poh Lee, Lai Peng Chan, Eng Wah LeesimpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (WOA 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea OmiciniModeling and Verification of Distributed Autonomous Agents Using Logic Programming (DALT 2004 @ AAMAS 2004) — L. Robert Pokorny, C. R. RamakrishnanCoordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (SELMAS 2005 @ ICSE 2005) — Andrea Omicini, Alessandro Ricci, Mirko ViroliAgents and Peer-to-Peer Computing (AP2PC 2005 @ AAMAS 2005) — Zoran Despotovic, Sam Joseph, Claudio SartoriEnvironments for Multi-Agent Systems II (E4MAS 2005 @ AAMAS 2005) — Danny Weyns, H. Van Dyke Parunak, Fabien MichelAn agent oriented tool for method engineering (EUMAS 2006) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore GaglioAgent-Oriented Software Engineering VI (AOSE 2005 @ AAMAS 2005) — Jörg P. Müller, Franco ZambonelliA planning system based on Markov decision processes to guide people with dementia through activities of daily living (article in journal) — Jennifer Boger, Jesse Hoey, Pascal Poupart, Craig Boutilier, Geoff Fernie, Alex MihailidisSHRDLU (encyclopedia entry) — Nigel WardBio-inspired Mechanisms for Artificial Self-organised Systems (Informatica) — Jean-Pierre Mano, Christine Bourjot, Gabriel Lopardo, Pierre GlizeInteractive Computation: The New Paradigm (edited volume) — Dina Q. Goldin, Scott A. Smolka, Peter WegnerLinkable Coordination Artifacts for Inter-Organisational Workflow (CIOW 2006 @ AAMAS 2006) — Andrea Omicini, Alessandro Ricci, Nicola ZaghiniEncyclopedia of Cognitive Science (edited volume) — Lynn NadelTools for kinetic modeling of biochemical networks (Nature Biotechnology) — Rui Alves, Fernando Antunes, Armindo Salvador5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006) — Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter StoneSPI - A Role for Method Engineering (paper in proceedings) — Brian Henderson-SellersAgent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming) — Andrea Omicini, Alessandro Ricci, Mirko ViroliOperating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review) — Mirko Viroli, Alessandro Ricci, Andrea OmiciniDesigning a BPEL Orchestration Engine based on ReSpecT Tuple Centres (FOCLASA 2005 @ CONCUR'05) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko ViroliExploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (EMCSR 2006) — Luca Gardelli, Mirko Viroli, Andrea OmiciniPreface (editorial/introduction/preface) — Canal Carlos, Mirko ViroliCrowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe VizzariOn 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 OmiciniWOA 2006 – Dagli Oggetti agli Agenti (WOA 2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado SantoroEgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (IEEE Transactions on Software Engineering) — Christine Julien, Gruia-Catalin RomanIssues 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 SousaSelf-Organization in Complex Ecosystems (book) — Ricard V. Solé, Jordi BascompteAn Introduction to Parallel and Vector Scientific Computation (book) — Ronald W. Shonkwiler, Lew LeftonSTRIPS (encyclopedia entry) — David Furcy, Sven KoenigSimulation (Multiagent Engineering) — Rainer Herrler, Franziska KlüglOn Self-Organising Mechanisms from Social, Business and Economic Domains (Informatica) — Salima Hassas, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Cristiano CastelfranchiConstruenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (EMCSR 2006) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniFundamentals of natural computing: basic concepts, algorithms, and applications (book) — Leandro Nunes De CastroCognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico OlivaThe Chubby lock service for loosely-coupled distributed systems (OSDI 2006) — Mike BurrowsOWL-S for Describing Artifacts (EUMAS 2006) — Rossella Rubino, Ambra Molesini, Enrico DentiSimulation of Minority Game in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea OmiciniFast Paxos (Distributed Computing) — Leslie LamportSequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (paper in proceedings) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein HerzogA Framework for Engineering Interactions in Java-based Component Systems (FOCLASA 2005 @ CONCUR'05) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko ViroliUna metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (AICA 2006) — Michele Cabano, Cesare Monti, Giulio PiancastelliCArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniVerification of Multi-agent Systems Via Bounded Model Checking (paper in proceedings) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark ReynoldsStoKlaim: A Stochastic Extension of Klaim (technical report) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke MassinkThe MHS Methodology: Analysis and Design for Context-Aware Systems (paper in proceedings) — Evi Syukur, Seng Wai LokeArgue tuProlog: A Lightweight Argumentation Engine for Agent Applications (paper in proceedings) — Daniel Bryant, Paul J. Krause, Gerard A.W. VreeswijkSODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro RicciBDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings) — Rafael H. Bordini, Jomi F. HübnerEvolutionary Psychology of Spatial Representations in the Hominidae (Current Biology) — Daniel B.M. Haun, Josep Call, Gabriele Janzen, Stephen C. LevinsonDeclarative Agent Languages and Technologies IV (DALT 2006 @ AAMAS 2006) — Matteo Baldoni, Ulle EndrissMultiagent Engineering (edited volume) — Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto SpaniolAgent-based Simulation Platforms: Review and Development Recommendations (SIMULATION: Transactions of the Society for Modeling and Simulation International) — Steven F. Railsback, Steven L. Lytinen, Stephen K. JacksonCase Studies for Self-organization in Computer Science (Journal of Systems Architecture) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco ZambonelliCollective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko ViroliThe Multidisciplinary Patterns of Interaction from Sciences to Computer Science (Interactive Computation: The New Paradigm) — Andrea Omicini, Alessandro Ricci, Mirko ViroliDeclarative Agent Languages and Technologies III (DALT 2005 @ AAMAS 2005) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo TorroniField-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (book) — Marco Mamei, Franco ZambonelliSimulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko ViroliSpecial Issue “Hot Topics in European Agent Research II” (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams4th European Workshop on Multi-Agent Systems (EUMAS 2006) (EUMAS 2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. PadgetQuorum Sensing on a Global Scale: Massive Numbers of Bioluminescent Bacteria Make Milky Seas (article in journal) — Kenneth H. Nealson, J. Woodland HastingsSimulating Minority Game with TuCSoN (MAS&S'06 @ ISC'06) — Enrico Oliva, Mirko Viroli, Andrea OmiciniAgent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniTutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (paper in proceedings) — Charles M. Macal, Michael J. NorthDistributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006) — Andrea Omicini, Alessandro Ricci, Nicola ZaghiniPlanning and scheduling (Intelligenza Artificiale) — Amedeo Cesta, Alfredo MilaniThe Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2 (Informatica) — Andrea Omicini, Paolo Petta, Matjaz GamsToward Nature-Inspired Computing (Communications of the ACM) — Jiming Liu, Kwok Ching TsuiApplications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison (Informatica) — Carole Bernon, Vincent Chevrier, Vincent Hilaire, Paul MarrowAgens Faber: Toward a Theory of Artefacts for MAS (CoOrg 2005 @ COORDINATION 2005) — Andrea Omicini, Alessandro Ricci, Mirko ViroliA Survey of Environments and Mechanisms for Human-Human Stigmergy (E4MAS 2005 @ AAMAS 2005) — H. Van Dyke ParunakOn Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006 @ AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo CasadeiFormal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06) — Andrea OmiciniHandbook of Constraint Programming (edited volume) — Francesca Rossi, Peter van Beek, Toby WalshA Generic Large Scale Simulator for Ubiquitous Computing (paper in proceedings) — M. Martin, P. NurmiLogics for Artificial Intelligence (Intelligenza Artificiale) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano SerafiniCognitive Modeling of Social Behaviours (book chapter) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris BrodskyThe World According To Brahms: Modeling and Simulating Work Practice (book chapter) — Maarten SierhuisMultiagent System Technologies (MATES 2006) — Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning ZhongA Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko ViroliOn the Expressive Power of KLAIM-based Calculi (Theoretical Computer Science) — Rocco De Nicola, Daniele Gorla, Rosario PuglieseProgramming MAS with Artifacts (PROMAS 2005 @ AAMAS 2005) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniVariant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems) — Atsushi Igarashi, Mirko ViroliA Design Theory for Pervasive Information Systems (paper in proceedings) — Panos E. Kourouthanassis, George M. GiaglisMultiagent Systems (Intelligenza Artificiale) — Andrea Omicini, Agostino PoggiZooming Multi-Agent Systems (AOSE 2005 @ AAMAS 2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico DentiMinority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea OmiciniStandardizing Agent Communication (book chapter) — Yannis LabrouHierarchical Planning in BDI Agent Programming Languages: A Formal Approach (AAMAS 2006) — Sebastian Sardina, Lavindra de Silva, Lin PadghamLime: 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 RomanEngineering Societies in the Agents World VI (ESAW 2005) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro RicciThe Fading Concept in Tuple-Space Systems (SAC 2006) — Ronaldo Menezes, Alan WoodProgramming Multi-Agent Systems (PROMAS 2005 @ AAMAS 2005) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah SeghrouchniProcess Calculi Abstractions for Biology (technical report) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola QuagliaSelf-Organisation and Emergence in MAS: An Overview (Informatica) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony KarageorgosStanley: 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 MahoneyThe Plausibility of Life: Resolving Darwin's Dilemma (book) — Marc W. Kirschner, John C. GerhartSpecial Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (Intelligenza Artificiale) — Marco Cadoli, Michela Milano, Andrea OmiciniDistributed Systems Architecture: A Middleware Approach (book) — Arno Puder, Kay Römer, Pilhofer FrankOn 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 OmiciniDeveloping MAS Solutions with Gaia and AUML (paper in proceedings) — Luca Cernuzzi, Franco ZambonelliEmergence Versus Self-Organisation: Different Concepts but Promising When Combined (book chapter) — Tom De Wolf, Tom HolvoetSODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro RicciComposition of a New Process to Meet Agile Needs Using Method Engineering (SELMAS 2004 @ ICSE 2004) — Massimo Cossentino, Valeria SeiditaDrago: Distributed reasoning architecture for the semantic web (paper in proceedings) — Luciano Serafini, Andrei TamilinThe Third AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Paolo Petta, László Zsolt VargaThe Second AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Paolo Petta, Matjaz GamsControlled Experimentation with Agents — Models and Implementations (Engineering Societies in the Agents World V) — Mathias Röhl, Adelinde M. UhrmacherVerifying Multi-agent Systems via Unbounded Model Checking (paper in proceedings) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. SzreterMulti-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming) — Enrico Denti, Andrea Omicini, Alessandro RicciCoordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (Informatica) — Alessandro Ricci, Mirko ViroliMultiagent Resource Allocation (The Knowledge Engineering Review) — Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Nicolas Maudet, Juan A. Rodríguez-AguilarAgent Interaction Semantics by Timed Operating Instructions (paper in proceedings) — Mirko Viroli, Alessandro RicciEffective Tool Use in a Habile Agent (paper in proceedings) — Alexander B. Wood, Thomas E. Horton, Robert St. AmantScalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts (paper in proceedings) — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd WrightDistributed Instance Retrieval in Heterogeneous Ontologies (paper in proceedings) — Luciano Serafini, Andrei TamilinEnvironment-Based Coordination Through Coordination Artifacts (E4MAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniProgramming Stigmergic Coordination with the TOTA Middleware (AAMAS 2005) — Marco Mamei, Franco ZambonelliMessage from the Program Chairs (Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005)) — Andrea Omicini, Roger L. WainwrightQuantitative Information in the Tuple Space Coordination Model (Theoretical Computer Science) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi ZavattaroTowards CSpaces: A New Perspective for the Semantic Web (paper in proceedings) — Francisco Martín-RecuerdaThe SWARM-BOTS Project (article in journal) — Marco Dorigo, Elio Tuci, Francesco Mondada, Stefano Nolfi, Jean-Louis Deneubourg, Dario Floreano, Luca M. GambardellaAn Agent-Oriented Conceptual Framework for Systems Biology (NETTAB 2004) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro RicciAgents in Bioinformatics (The Knowledge Engineering Review) — Michael Luck, Emanuela MerelliTowards Semantic Web Agents: Knowledge Web and AgentLink (The Knowledge Engineering Review) — Terry Payne, Valentina TammaEnvironments in Multiagent Systems (The Knowledge Engineering Review) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom HolvoetRBAC for Organisation and Security in an Agent Coordination Infrastructure (SecCo'04) — Andrea Omicini, Alessandro Ricci, Mirko ViroliEngineering MAS Environment with Artifacts (E4MAS 2005 @ AAMAS 2005) — Mirko Viroli, Andrea Omicini, Alessandro RicciProgramming Multi-Agent Systems in 3APL (book chapter) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. MeyerOn the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi ZavattaroAn Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AI*IA 2005) — Mirko Viroli, Andrea Omicini, Alessandro RicciSpecial Issue “Process Algebras and Multi-Agent Systems” (Applicable Algebra in Engineering, Communication and Computing) — Mirko Viroli, Andrea OmiciniAI*IA 2005: Advances in Artificial Intelligence (AI*IA 2005) — Stefania Bandini, Sara ManzoniAgent Modeling Language (AML): A Comprehensive Approach to Modeling MAS (Informatica) — Ivan Trencansky, Radovan CervenkaThe Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research (Informatica) — Andrea Omicini, Paolo Petta, Matjaz GamsWOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (WOA 2005) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea OmiciniAgent-Oriented Software Engineering (The Knowledge Engineering Review) — Carole Bernon, Massimo Cossentino, Juan PavónDeclarative Agent Languages and Technologies II (DALT 2004 @ AAMAS 2004) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar YolumSelf-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 SteenA brief history of process algebra (Theoretical Computer Science) — Jos C.M. BaetenProcess-Algebraic Approaches for Multi-Agent Systems: An Overview (Applicable Algebra in Engineering, Communication and Computing) — Mirko Viroli, Andrea OmiciniProgramming MAS with Artifacts (PROMAS 2005 @ AAMAS 2005) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniTowards a Unified View of the Environment(s) within Multi-Agent Systems (Informatica) — Abdelkader Gouaïch, Fabien MichelImplementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (MASS 2005) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd WrightCognitive Stigmergy: A Framework Based on Agents and Artifacts (EUMAS 2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico OlivaA Trust Analysis Methodology for Pervasive Computing Systems (paper in proceedings) — Stephane Presti, Michael Butler, Michael Leuschel, Chris BoothMore Principled Design of Pervasive Computing Systems (paper in proceedings) — Simon Dobson, Paddy NixonOn Access Restriction with Java Wildcards (The Journal of Object Technology) — Mirko Viroli, Giovanni Rimassa4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005) — Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael J. WooldridgeTime-Aware Coordination in ReSpecT (COORDINATION 2005) — Andrea Omicini, Alessandro Ricci, Mirko ViroliAgenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità (Intelligenza Artificiale) — Marco Cadoli, Michela Milano, Andrea OmiciniSystematic literature reviews (article in journal) — Adrian White, Katja SchmidtThe Logic Programming Paradigm and Prolog (book chapter) — Krzysztof R. AptAgent-Oriented Software Engineering V (AOSE 2004 @ AAMAS 2004) — James Odell, Paolo Giorgini, Jörg P. MüllerProbabilistic Linda-based Coordination Languages (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert WiklickyProcess Models for Agent-based Development (Engineering Applications of Artificial Intelligence) — Luca Cernuzzi, Massimo Cossentino, Franco ZambonelliDiscrete Event Multi-level Models for Systems Biology (book chapter) — Adelinde M. Uhrmacher, Daniela Degenring, Bernard ZeiglerProceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (SAC 2005) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. LiebrockSpecial 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 OmiciniThe Tropos Metamodel and its Use (Informatica) — Angelo Susi, Anna Perini, John Mylopoulos, Paolo GiorginiAgents and Peer-to-Peer Computing (AP2PC 2003 @ AAMAS 2003) — Gianluca Moro, Claudio Sartori, Munindar P. SinghEngineering Self-Organizing MAS with Coordination Artifacts and ACCs (COORDINATION 2005) — Luca Gardelli, Mirko Viroli, Andrea OmiciniEngineering 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 EberbachPreface (Declarative Agent Languages and Technologies II) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar YolumNIST Time and Frequency Radio Stations: WWV, WWVH, and WWVB (technical report) — Glenn K. Nelson, Michael A. Lombardi, Dean T. OkayamaEvaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (CEEMAS 2005) — Brian Henderson-SellersSelf-Organization in Multi-Agent Systems (The Knowledge Engineering Review) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony KarageorgosReliable Distributed Systems. Technologies, Web Services, and Applications (book) — Kenneth P. BirmanOn the Role of Environments in Multiagent Systems (Informatica) — Danny Weyns, Tom HolvoetProgramming Multi-Agent Systems (The Knowledge Engineering Review) — Mehdi Dastani, Jorge J. Gómez-SanzAn Overview of Current Trends in European AOSE Research (Informatica) — Carole Bernon, Massimo Cossentino, Juan PavónThe AgentLink III Technical Forums: Introduction to the Special Issue (The Knowledge Engineering Review) — Andrea Omicini, Peter McBurneySoftware Engineering for Multi-Agent Systems III (SELMAS 2004 @ ICSE 2004) — Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander RomanovskyAgents and Peer-to-Peer Computing (AP2PC 2004 @ AAMAS 2004) — Gianluca Moro, Sonia Bergamaschi, Karl Aberer3rd International Workshop “Declarative Agent Languages and Technologies” (DALT 2005) (DALT 2005 @ AAMAS 2005) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo TorroniCrowd Modeling and Simulation: Towards 3D Visualization (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe VizzariAn Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AAMAS 2005) — Mirko Viroli, Alessandro Ricci, Andrea OmiciniAn Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing) — Andrea Omicini, Alessandro Ricci, Mirko ViroliPerformance of digital pheromones for swarming vehicle control (paper in proceedings) — John A. Sauter, Robert S. Matthews, H. Van Dyke Parunak, Sven BruecknerProgramming Multi-Agent Systems (PROMAS 2004 @ AAMAS 2004) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah SeghrouchniSpecial Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums” (The Knowledge Engineering Review) — Andrea Omicini, Peter McBurneyPreface (Transactions on Computational Systems Biology III) — Emanuela Merelli, Pablo Pedro González Perez, Andrea OmiciniEnvironments for Multi-Agent Systems (E4MAS 2004) — Danny Weyns, H. Van Dyke Parunak, Fabien MichelCoordination and Composition in Multi-agent Systems (AAMAS 2005) — Mehdi Dastani, Farhad Arbab, Frank S. de BoerPreface (Engineering Societies in the Agents World V) — Marie-Pierre Gleizes, Andrea Omicini, Franco ZambonelliOn the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (WOA 2005) — Luca Gardelli, Mirko Viroli, Andrea OmiciniMultiagent System Technologies (MATES 2005) — Torsten Eymann, Franziska Klügl, Winfried Lamersdorf, Matthias Klusch, Michael N. HuhnsZooming Multi-Agent Systems (AOSE 2005 @ AAMAS 2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico DentiMAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005) — Ambra Molesini, Enrico Denti, Andrea OmiciniComputational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005 @ AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico DentiTransactions on Computational Systems Biology III (edited volume) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea OmiciniThe PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (CEEMAS 2005) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria SeiditaDecentralized control of E'GV transportation systems (paper in proceedings) — Danny Weyns, Kurt Schelfthout, Tom Holvoet, Tom LefeverAdaptive Agents and Multiagent Systems (IEEE Distributed Systems Online) — Zahia GuessoumThe Gaia Methodology (book chapter) — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco ZambonelliCoordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca TummoliniPreface (Engineering Societies in the Agents World IV) — Andrea Omicini, Paolo Petta, Jeremy PittReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (FOCLASA 2004 @ CONCUR'04) — Mirko Viroli, Andrea OmiciniMulti-agent Coordination as Distributed Logic Programming (book chapter) — David RobertsonCoordination Infrastructures in the Engineering of Multiagent Systems (book chapter) — Andrea Omicini, Sascha Ossowski, Alessandro RicciChallenges and Research Directions in Agent-Oriented Software Engineering (Autonomous Agents and Multi-Agent Systems) — Franco Zambonelli, Andrea OmiciniTriple-Space Computing: Semantic Web Services Based on Persistent Publication of Information (paper in proceedings) — Dieter FenselProceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004) (SAC 2004) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock3rd 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 OmiciniPreface (Models and Metaphors from Biology to Bioinformatics Tools) — Emanuela Merelli, Andrea Omicini, Pedro Pablo González PérezRelevance of Winning Coalitions in Indirect Control of Corporations (Theory and Decision) — Enrico Denti, Nando PratisTuples: Semantic Tuple Spaces (paper in proceedings) — Deepali Khushraj, Ora Lassila, Tim FininOn the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (FOCLASA 2003 @ CONCUR'03) — Ronaldo Menezes, Andrea Omicini, Mirko ViroliFrom the Editor in Chief: Nature-Inspired Computing (IEEE Intelligent Systems) — Nigel ShadboltComposing Adaptive Software (Computer) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. ChengCoordination and Collaboration Activities in Cooperative Information Systems (International Journal of Cooperative Information Systems) — Andrea Omicini, Sascha OssowskiProgramming Pervasive and Mobile Computing Applications with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco ZambonelliAgent Coordination Context: From Theory to Practice (AT2AI-4 @ EMCSR 2004) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniEngineering Trust in Complex System through Mediating Infrastructures (WOA 2004) — Alessandro Ricci, Andrea OmiciniModels and Metaphors from Biology to Bioinformatics Tools (edited volume) — Emanuela Merelli, Pablo Pedro González Perez, Andrea OmiciniAutomated Model Building (book) — Ricardo Caferra, Alexander Leitsch, Nicholas PeltierThe First AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Peter McBurney, Cristiano CastelfranchiProgramming Multi-Agent Systems (PROMAS 2003 @ AAMAS 2003) — Mehdi Dastani, Jürgen Dix, Amal El Fallah SeghrouchniTowards Seamless Agent Middleware (TAPOCS 2004 @ WET ICE 2004) — Andrea Omicini, Giovanni RimassaA Programming Language for Cognitive Agents: Goal Directed 3APL (PROMAS 2003 @ AAMAS 2003) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. MeyerMessage from the Program Chairs (Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004)) — Andrea Omicini, Roger L. WainwrightFrom PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs (paper in proceedings) — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria SeiditaDeclarative Agent Languages and Technologies (DALT 2003 @ AAMAS 2003) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo TorroniIntegrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems (CILC 2004) — Ivana Gungui, Viviana MascardiA Conceptual Framework for Self-Organising MAS (WOA 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca TummoliniAn Agent-oriented Conceptual Framework for Biological Systems Simulation (NETTAB 2004) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro RicciPreface (Declarative Agent Languages and Technologies) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo TorroniOnline Engineering and Open Computational Systems (book chapter) — Martin Fredriksson, Rune GustavssonFrom System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools (paper in proceedings) — Andrei Borshchev, Alexei FilippovQuarto Workshop Internazionale “Engineering Societies in the Agents World” (ESAW 2003) (article in journal) — Lloyd Kamara, Andrea Omicini, Paolo PettaVerifiable Multi-agent Programs (PROMAS 2003 @ AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. WooldridgeAgent-Oriented Software Engineering IV (AOSE 2003 @ AAMAS 2003) — Paolo Giorgini, Jörg P. Müller, James OdellWhat 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 OmiciniProbabilistic KLAIM (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert WiklickyReo: A Channel-based Coordination Model for Component Composition (Mathematical Structures in Computer Science) — Farhad ArbabExperiencing AUML in the GAIA Methodology (paper in proceedings) — Luca Cernuzzi, Franco ZambonelliRole-Based Access Control in MAS using Agent Coordination Contexts (AOTP'04 @ AAAI 2004) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniEngineering Societies in the Agents World IV (ESAW 2003) — Andrea Omicini, Paolo Petta, Jeremy PittSoftware Engineering for Multi-Agent Systems II (SELMAS 2003 @ ICSE 2003) — Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S. C. AlencarSpecial Issue “Coordination and Collaboration Technologies” (International Journal of Cooperative Information Systems) — Andrea Omicini, Sascha OssowskiAutomated Planning: Theory & Practice (book) — Malik Ghallab, Dana Nau, Paolo TraversoWorkpackage 5: Technical Forum (other publication sort) — Andrea OmiciniC@sa: Intelligent Home Control and Simulation (paper in proceedings) — Berardina De Carolis, Giovanni CozzolongoVerifying Communicating Agents by Model Checking in a Temporal Action Logic (paper in proceedings) — Laura Giordano, Alberto Martelli, Camilla SchwindMAS as Complex Systems: A View on the Role of Declarative Approaches (DALT 2003 @ AAMAS 2003) — Andrea Omicini, Franco ZambonelliAgentLink III: The European Network for Agents is Back (article in journal) — Peter McBurney, Andrea OmiciniMultiagent System Technologies (MATES 2004) — Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, Rainer UnlandUsing Swarm Intelligence in Linda Systems (ESAW 2003) — Robert Tolksdorf, Ronaldo MenezesA Semantics for the Interaction of Agents with Coordination Artifacts (AT2AI-4 @ EMCSR 2004) — Mirko Viroli, Alessandro Ricci, Andrea OmiciniWOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali (WOA 2004) — Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea OmiciniAnt Colony Optimization (book) — Marco Dorigo, Thomas StützleDecision Support Systems and Intelligent Systems (book) — Efraim Turban, Jay E. Aronson, Ting-Peng LiangMulti-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa2nd International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (TAPOCS 2004 @ WET ICE 2004) — Andrea Omicini, Alessandro Ricci, Dina GoldinLogic-based Web services composition: from service description to process model (ICWS 2004) — Jinghai Rao, Peep Kungas, Mihhail MatskinOpen Directions in Agent-Oriented Software Engineering (UPGRADE: The European Journal for the Informatics Professional) — Franco Zambonelli, Andrea OmiciniRBAC for Organisation and Security in an Agent Coordination Infrastructure (SecCo'04) — Andrea Omicini, Alessandro Ricci, Mirko ViroliGuest Editorial (The Journal of Object Technology) — Davide Ancona, Mirko ViroliMAS Organisation within a Coordination Infrastructure: Experiments in TuCSoN (ESAW 2003) — Andrea Omicini, Alessandro RicciIntegrating Objective & Subjective Coordination in Multi-Agent Systems (CM 2004 @ SAC 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni RimassaSystem 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 WetherallParadigm and Software Engineering (paper in proceedings) — Erek Göktürk, M. Naci AkkøksTuples: Semantic Tuple Spaces (paper in proceedings) — Deepali Khushraj, Ora Lassila, Timothy W. FininModel Checking for ACL Compliance Verification (book chapter) — Marc-Philippe Huget, Michael J. WooldridgeProbabilistic and Prioritized Data Retrieval in the Linda Coordination Model (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi ZavattaroTropos: An Agent-Oriented Software Development Methodology (Autonomous Agents and Multi-Agent Systems) — Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos, Anna PeriniAn RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (SASEMAS'04 @ AAMAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea OmiciniIntegrating and Orchestrating Services upon an Agent Coordination Infrastructure (ESAW 2003) — Enrico Denti, Alessandro Ricci, Rossella RubinoThe Vision of Autonomic Computing (Computer) — Jeffrey O. Kephart, David M. ChessSupporting Coordination in Open Computational Systems with TuCSoN (TAPOCS 2003 @ WET ICE 2003) — Alessandro Ricci, Andrea OmiciniLean Software Development: An Agile Toolkit (book) — Mary Poppendieck, Tom PoppendieckA software framework for matchmaking based on semantic web technology (paper in proceedings) — Lei Li, Ian HorrocksAgents and Peer-to-Peer Computing (AP2PC 2002 @ AAMAS 2002) — Gianluca Moro, Manolis Koubarakis1st International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2003 @ WET ICE 2003) — Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro RicciInvestigations (book) — Stuart A. KauffmanArchitecture as a Coordination Tool in Multi-site Software Development (Software Process: Improvement and Practice) — Päivi Ovaska, Matti Rossi, Pentti MarttiinTargeting RAS Signalling Pathways in Cancer Therapy (article in journal) — Julian DownwardModeling Agents and their Environment (AOSE 2002 @ AAMAS 2002) — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven BruecknerComputation Beyond Turing Machines (Communications of the ACM) — Peter Wegner, Dina GoldinLearning the Sequential Coordinated Behavior of Teams from Observations (paper in proceedings) — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. VelosoRethinking MAS Infrastructure based on Activity Theory (EUMAS 2003) — Andrea Omicini, Alessandro Ricci, Sascha OssowskiSoftware Engineering for Large-Scale Multi-Agent Systems (SELMAS 2002 @ ICSE 2002) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. CastroMethod engineering for OO systems development (Communications of the ACM) — Brian Henderson-SellersMavHome: An Agent-based Smart Home (paper in proceedings) — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan KhawajaEngineering Societies in the Agents World III (ESAW 2002) — Paolo Petta, Robert Tolksdorf, Franco ZambonelliWOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva (WOA 2003) — Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa VargiuAgent-Oriented Software Engineering III (AOSE 2002 @ AAMAS 2002) — Fausto Giunchiglia, James Odell, Gerhard WeissStochastic models for DNA replication (book chapter) — Richard CowanBounded Model Checking (article in journal) — Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan ZhuAdaptiveness in Linda-Based Coordination Models (paper in proceedings) — Ronaldo Menezes, Robert TolksdorfA Type-Passing Approach for the Implementation of Parametric Methods in Java (The Computer Journal) — Mirko ViroliTowards a Methodology for Coordination Mechanism Selection in Open Systems (ESAW 2002) — Simon Miles, Mike Joy, Michael LuckReasoning about Organisation: Shaping the Infrastructure (AI*IA Notizie) — Andrea Omicini, Alessandro RicciLa riforma universitaria a Ingegneria, Cesena: perché funziona? (article in journal) — Andrea OmiciniAI*IA 2003: Advances in Artificial Intelligence (AI*IA 2003) — Amedeo Cappelli, Franco TuriniTask-Oriented Engineering of Coordinated Software Systems (ISPE CE 2003) — Enrico Denti, Andrea Omicini, Alessandro RicciFormal Specification and Enactment of Security Policies through Agent Coordination Contexts (SecCo'03) — Andrea Omicini, Alessandro Ricci, Mirko ViroliHundreds of impossibility results for distributed computing (Distributed Computing) — Faith Fich, Eric RuppertEditorial Message: Special Track on Coordination models, Languages and Applications (CM 2003 @ SAC 2003) — Andrea Omicini, Sascha OssowskiThe 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 WiklickyPreface (Cooperative Information Agents VII) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo LaamanenActivity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico DentiTheory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management (book) — Jean-Philippe Bouchaud, Marc PottersTowards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (The Knowledge Engineering Review) — Franco Zambonelli, H. Van Dyke ParunakCooperative Information Agents VII (CIA 2003) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo LaamanenCoordination as a Service: Ontological and Formal Foundation (FOCLASA 2002 @ CONCUR'02) — Mirko Viroli, Andrea OmiciniModel Checking AgentSpeak (AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. WooldridgeIntroduzione alla Programmazione a oggetti in Java (book) — Enrico DentiHow has the 9/11 terrorist attack influenced decision making? (Applied Cognitive Psychology) — Katiuscia Sacco, Valentina Galletto, Enrico BlanzieriFrom SHIQ and RDF to OWL: The Making of a Web Ontology Language (Journal of Web Semantics) — Ian Horrocks, Peter F. Patel-Schneider, Frank van HarmelenDeveloping multiagent systems: The Gaia methodology (ACM Transactions on Software Engineering and Methodology) — Franco Zambonelli, Nicholas R. Jennings, Michael J. WooldridgeObjective versus Subjective Coordination in the Engineering of Agent Systems (AL2M2) — Andrea Omicini, Sascha OssowskiPreface (Software Engineering for Large-Scale Multi-Agent Systems) — Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson CastroCo-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (ESAW 2002) — Marco Mamei, Franco Zambonelli, Letizia LeonardiEngineering Agent Societies with Coordination Artifacts and Supporting Infrastructures (phd thesis) — Alessandro RicciIntegrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko ViroliMultiagent System Technologies (MATES 2003) — Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory TianfieldSigns of a Revolution in Computer Science and Software Engineering (ESAW 2002) — Franco Zambonelli, H. Van Dyke ParunakPrinciples of Constraint Programming (book) — Krzysztof R. AptOn the event coordination in multi-component systems (paper in proceedings) — Gianluca Moro, Antonio NataliAgent-based approach for software development process simulation (paper in proceedings) — N. Bellamine-Ben Saoud, M. Essafi, H. Ben GhezalaThe Logic of Scientific Discovery (book) — Karl Raimund PopperTowards a Notion of Agent Coordination Context (book chapter) — Andrea OmiciniCoordination Knowledge Engineering (The Knowledge Engineering Review) — Sascha Ossowski, Andrea OmiciniOn the Grey-Box Modelling Approach for Autonomous Agents (AI*IA 2002) — Mirko Viroli, Andrea OmiciniTuple-based Models in the Observation Framework (COORDINATION 2002) — Mirko Viroli, Andrea OmiciniFine-grained network time synchronization using reference broadcasts (ACM SIGOPS Operating Systems Review) — Jeremy Elson, Lewis Girod, Deborah EstrinCoordination Tools for the Development of Agent-based Systems (AT2AI-3 @ EMCSR 2002) — Enrico Denti, Andrea Omicini, Alessandro RicciHave ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko ViroliCo-operating Sequential Processes (book chapter) — Edsger Wybe DijkstraDeep Blue (article in journal) — Murray Campbell, A.Joseph Hoane, Feng-hsiung HsuBisimulation for Labelled Markov Processes (Information and Computation) — José Desharnais, Abbas Edalat, Prakash PanangadenPeer-to-Peer Systems (IPTPS 2002) — Peter Druschel, Frans Kaashoek, Antony RowstronG Protein Pathways (Science) — Susana R. Neves, Prahlad T. Ram, Ravi IyengarReplication Techniques in Distributed Systems (book) — Abdelsalam A. Helal, Abdelsalam A. Heddaya, Bharat B. BhargavaAristotle: Semantics and Ontology. Volume I: General Introduction. The Works on Logic (book) — Lambertus Marie De RijkTowards an Alternative Semantics for FIPA ACL (AT2AI-3 @ EMCSR 2002) — Mirko Viroli, Andrea OmiciniHashcash - A Denial of Service Counter-Measure (other publication sort) — Adam BackPrincipled Design of the Modern Web Architecture (ACM Transactions on Internet Technology) — Roy Thomas Fielding, Richard N. TaylorSpecifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea OmiciniDesign Principles of a Reactive Behavioral System for the Intelligent Room (Bitstream: The MIT Journal of EECS Student Research) — Ajay KulkarniThe Sybil Attack (IPTPS 2002) — John R. DouceurThe First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) — Cristiano Castelfranchi, W. Lewis JohnsonThe TROPOS Analysis Process as Graph Transformation System (paper in proceedings) — Paolo Bresciani, Paolo GiorginiActivity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico DentiLinear Embedding for a Quantitative Comparison of Language Expressiveness (paper in proceedings) — Antonio Brogi, Alessandra Di Pierro, Herbert WiklickyCoordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology (paper in proceedings) — Anna Perini, Angelo Susi, Fausto GiunchigliaExtending ReSpecT for Multiple Coordination Flows (PDPTA'02) — Alessandro Ricci, Andrea Omicini, Mirko ViroliProcess Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (Annals of Software Engineering) — Brian Henderson-SellersThe Turk: The Life and Times of the Famous Eighteenth-Century Chess-Playing Machine (book) — Tom StandageIntelligent Agents VIII (ATAL-01) — John-Jules Ch. Meyer, Milind TambeExtreme Programming of Multi-Agent Systems (AAMAS 2002) — Holger KnublauchBrewer's conjecture and the feasibility of consistent, available, partition-tolerant web services (ACM SIGACT News) — Seth Gilbert, Nancy LynchObjective vs. Subjective Coordination in Agent-based Systems: A Case Study (COORDINATION 2002) — Alessandro Ricci, Andrea Omicini, Enrico DentiStandard-frequency and time-signal emissions (technical report) — ITU Radiocommunication AssemblyEditorial Message: Special Track on Coordination Models, Languages and Applications (CM 2002 @ SAC 2002) — Andrea Omicini, Sascha OssowskiPDDL+: Modeling continuous time dependent effects (IWPSS 2002) — Maria Fox, Derek LongAgent-Based Modeling: Methods and Techniques for Simulating Human Systems (paper in proceedings) — Eric BonabeauEngineering Agent Societies: A Case Study in Smart Environments (AAMAS 2002) — Alessandro Ricci, Andrea Omicini, Enrico DentiReturning the tables: language affects spatial reasoning (Cognition) — Stephen C Levinson, Sotaro Kita, Daniel B.M Haun, Björn H RaschA Specification Language for Agents Observable Behaviour (IC-AI'02) — Mirko Viroli, Andrea OmiciniA Framework for Systemic Coordination in Open Computational Systems (WOA 2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune GustavssonPrey (book) — Michael CrichtonVirtual Enterprises and Workflow Management as Agent Coordination Issues (International Journal of Cooperative Information Systems) — Alessandro Ricci, Andrea Omicini, Enrico DentiIntegrated 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 TugnoliDistributed Description Logics: Directed Domain Correspondences in Federated Information Sources (paper in proceedings) — Alex Borgida, Luciano SerafiniPractical byzantine fault tolerance and proactive recovery (ACM Transactions on Computer Systems) — Miguel Castro, Barbara LiskovThe Complementary Nature of Coordination Dynamics: Self-organization and Agency (Nonlinear Phenomena in Complex Systems) — J.A. Scott KelsoObjects and Agents Compared (The Journal of Object Technology) — James J. OdellAgent Communication Language Specifications (manual) — Modelling Agents as Observable Sources (Journal of Universal Computer Science) — Mirko Viroli, Andrea OmiciniTuple-based Coordination Models in Event-based Scenarios (paper in proceedings) — Mirko Viroli, Alessandro RicciThe Structure of Evolutionary Theory (book) — Stephen Jay GouldSoftware Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (SELMAS 2002 @ ICSE 2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco ZambonelliComputational challenges in cell simulation: a software engineering approach (IEEE Intelligent Systems) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru TomitaOn the Expressiveness of Event-Based Coordination Media (PDPTA'02) — Mirko Viroli, Andrea Omicini, Alessandro RicciAn Introduction to MultiAgent Systems (book) — Michael J. WooldridgeSpecial Issue “Coordination and Knowledge Engineering” (The Knowledge Engineering Review) — Andrea Omicini, Sascha OssowskiCoordination Tools for MAS Development and Deployment (Applied Artificial Intelligence) — Enrico Denti, Andrea Omicini, Alessandro RicciAn Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence) — Mirko Viroli, Andrea OmiciniModel Checking Multi-Agent Systems with MABLE (AAMAS 2002) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon ParsonsAgent Coordination Contexts: Experiments in TuCSoN (WOA 2002) — Alessandro Ricci, Andrea OmiciniDigital Pheromone Mechanisms for Coordination of Unmanned Vehicles (AAMAS 2002) — H. van Dyke Parunak, Sven Brueckner, John SauterAgent-Oriented Software Engineering II (AOSE 2001 @ Agents 2001) — Michael Wooldridge, Gerhard Weiss, Paolo CiancariniTurning the tables: language and spatial reasoning (Cognition) — Peggy Li, Lila GleitmanA Survey of Coordination Middleware for XML-centric Applications (The Knowledge Engineering Review) — Paolo Ciancarini, Robert Tolksdorf, Franco ZambonelliAgile development of a clinical multi-agent system: An Extreme Programming case study (paper in proceedings) — Holger Knublauch, Holger Koeth, Thomas RoseArtificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter NorvigModeling and Simulation of Genetic Regulatory Systems: A Literature Review (Journal of Computational Biology) — Hidde De JongProbabilistic Extensions of Process Algebras (book chapter) — Jonsson Bengt, Kim G. Larsen, Wang YiFormal ReSpecT (AGP 2000) — Andrea Omicini, Enrico DentiEnlightened Agents in TuCSoN (AI*IA Notizie) — Alessandro Ricci, Andrea Omicini, Enrico DentiThe Anatomy of the Grid: Enabling Scalable Virtual Organizations (book chapter) — Ian FosterPreface (Engineering Societies in the Agents World II) — Andrea Omicini, Paolo Petta, Robert TolksdorfA Coordination Language for Collective Agent-based Systems: GroupLog (Applied Artificial Intelligence) — Fernanda Barbosa, José C. CunhaCoordination as a Paradigm for Systems Integration (Journal of Systems Integration) — Andrea Omicini, George A. PapadopoulosQuestions and Answers: Reasoning and Querying in Description Logic (phd thesis) — Sergio TessarisLuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (Autonomous Agents and Multi-Agent Systems) — Enrico Denti, Andrea OmiciniMulti-Agent Systems as Composition of Observable Systems (AI*IA Notizie) — Mirko Viroli, Andrea OmiciniSelf-Organization in Biological Systems (book) — Scott Camazine, Jean-Louis Deneubourg, Nigel R. Franks, James Sneyd, Guy Theraulaz, Eric BonabeauIntroduction to This Special Issue on Context-Aware Computing (Human–Computer Interaction) — Thomas Moran, Paul DourishSpecial Issue “Coordination Models and Languages in AI” (Applied Artificial Intelligence) — Andrea Omicini, George A. PapadopoulosFoundations of Systems Biology (edited volume) — Hiroaki KitanoMulti-Agent Systems and Applications (edited volume) — Michael Luck, Vladimír Marík, Olga Stepánková, Robert TrapplTuple-based Technologies for Coordination (Coordination of Internet Agents) — Davide Rossi, Giacomo Cabri, Enrico DentiESAW'00 Workshop on Engineering Societies in the Agents World (other publication sort) — Andrea Omicini, Franco Zambonelli, Robert TolksdorfMulti-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea OmiciniEditorial: Why Coordination Models and Languages in AI? (Applied Artificial Intelligence) — Andrea Omicini, George A. PapadopoulosSimulation-verification: biting at the state explosion problem (IEEE Transactions on Software Engineering) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam JahanianPaxos Made Simple (ACM SIGACT News) — Leslie LamportFrom Tuple Spaces to Tuple Centres (Science of Computer Programming) — Andrea Omicini, Enrico DentiCoordination of Internet Agents (edited volume) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert TolksdorfWOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2001) — Andrea Omicini, Mirko ViroliSafe Tuplespace-based Coordination in Multiagent Systems (Applied Artificial Intelligence) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. MinskyIntelligent Agents VII (ATAL-00) — Cristiano Castelfranchi, Yves LespéranceCoordination Models, Languages and Applications. Track Chair Messages (CM 2001 @ SAC 2001) — Andrea OmiciniParamodulation-Based Theorem Proving (book chapter) — Robert Nieuwenhuis, Albert RubioThe OPEN Process Framework: An Introduction (book) — Donald Firesmith, Brian Henderson-SellersThe Anatomy of the Grid: Enabling Scalable Virtual Organizations (The International Journal of High Performance Computing Applications) — Ian Foster, Carl Kesselman, Steven TueckeGamma and the Chemical Reaction Model: Fifteen Years After (book chapter) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le MétayerOn the Notion of Agent Coordination Context: Preliminary Notes (AI*IA Notizie) — Andrea OmiciniDesigning Agent-Oriented Systems by Analysing Agent Interactions (AOSE 2000 @ ICSE 2000) — Simon Miles, Mike Joy, Michael LuckChaff: engineering an efficient SAT solver (DAC 2001) — Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad MalikEnlightened Agents in TuCSoN (WOA 2001) — Alessandro Ricci, Andrea Omicini, Enrico DentiAn Approach for Method Reengineering (paper in proceedings) — Jolita Ralyté, Colette RollandCoordination Models and Languages: State of the Art. Introduction (Coordination of Internet Agents) — Andrea OmiciniPreface: Coordination of Internet Agents (Coordination of Internet Agents) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert TolksdorfEngineering Societies in the Agents World II (ESAW'01) — Andrea Omicini, Paolo Petta, Robert TolksdorfControl-driven Constraint Propagation (Applied Artificial Intelligence) — Eric MonfroySpecial Issue “Coordination as a Paradigm for Systems Integration” (Journal of Systems Integration) — Andrea Omicini, George A. PapadopoulosSelf Organization and Coordination (Computational Economics) — Scott E. PageKnowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (Journal of Knowledge Management) — Ganesh D. BhattStatistical Physics of Spin Glasses and Information Processing: An Introduction (book) — Hidetoshi NishimoriHandbook of Process Algebra (edited volume) — Jan A. Bergstra, Alban Ponse, Scott A. SmolkaAgent Coordination Infrastructures for Virtual Enterprises and Workflow Management (CIA 2001) — Alessandro Ricci, Enrico Denti, Andrea OmiciniProceedings of the Fifth International Conference on Autonomous Agents (Agents 2001) — Elisabeth André, Sandip Sen, Claude Frasson, Jörg P. MüllerBasic Enabling Technologies. Introduction (Coordination of Internet Agents) — Andrea OmiciniAn Agent-based Approach for Building Complex Software Systems (Communications of the ACM) — Nicholas R. JenningsAgent-Oriented Software Engineering (AOSE 2000 @ ICSE 2000) — Paolo Ciancarini, Michael WooldridgetuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro RicciOn 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 VianuAn Assembly Process Model for Method Engineering (paper in proceedings) — Jolita Ralyté, Colette RollandObjective Coordination in Multi-Agent System Engineering (book) — Michael SchumacherWOA 2001 — Dagli oggetti agli agenti (AI*IA Notizie) — Marco Cadoli, Andrea Omicini, Agostino Poggi, Franco ZambonelliAI*IA 2001: Advances in Artificial Intelligence (AI*IA 2001) — Floriana EspositoOrganisational 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. WooldridgeOn Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001 @ SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea OmiciniAgent-Oriented Software Engineering for Internet Applications (Coordination of Internet Agents) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. WooldridgeXML Dataspaces for the Coordination of Internet Agents (Applied Artificial Intelligence) — Giacomo Cabri, Letizia Leonardi, Franco ZambonelliAn Algorithm for Winning Coalitions in Indirect Control of Corporations (Decisions in Economics and Finance) — Nando Prati, Enrico DentiIntroduzione alla Programmazione a oggetti in Java (book) — Enrico DentiAutomated Theorem Proving in Software Engineering (book) — Johann M. SchumannPreface: Volume 48 (Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000) — Agostino Dovier, Maria Chiara Meo, Andrea OmiciniDeclarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (AGP 2000) — Agostino Dovier, Maria Chiara Meo, Andrea OmiciniSimulazioni - La realtà rifatta al computer (book) — Domenico ParisiParallel Execution of Prolog Programs: a Survey (ACM Transactions on Programming Languages and Systems) — Gopal Gupta, Enrico Pontelli, Khayri A.M. Ali, Mats Carlsson, Manuel V. HermenegildoThe TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001) — Alessandro Ricci, Andrea Omicini, Enrico DentiSODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (AOSE 2000 @ ICSE 2000) — Andrea OmiciniThe LuCe Coordination Technology for MAS Design and Development on the Internet (COORDINATION 2000) — Enrico Denti, Andrea Omicini, Vladimiro ToschiTowards robust distributed systems (abstract) (PODC 2000) — Eric A. BrewerHybrid Coordination Models for Handling Information Exchange among Internet Agents (MAS-RCRA @ AI*IA 2000) — Andrea OmiciniComputational Geometry. Algorithms and Applications (book) — Mark de Berg, Marc van Kreveld, Mark Overmars, Otfried Cheong SchwarzkopfOn the Expressiveness of Linda Coordination Primitives (Information and Computation) — Nadia Busi, Roberto Gorrieri, Gianluigi ZavattaroMind the Gap! Towards a unified view of CSCW (paper in proceedings) — Kjeld Schmidt, Carla SimoneIntelligent Agents VI (ATAL-99) — Nicholas R. Jennings, Yves LespéranceMultiagent System Engineering: The Coordination Viewpoint (ATAL-99) — Paolo Ciancarini, Andrea Omicini, Franco ZambonelliA Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000) — Enrico Denti, Andrea OmiciniWOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2000) — Antonio Corradi, Andrea Omicini, Agostino PoggiPreface (WOA 2000) — Antonio Corradi, Andrea Omicini, Agostino PoggiFrom Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000) — Andrea OmiciniOn Agent-Based Software Engineering (article in journal) — Nicholas R. JenningsCompositional Algebra for Interactive Data Access (Information Systems) — Gianluca Moro, Antonio Natali, Claudio SartoriEasyLiving: Technologies for Intelligent Environments (paper in proceedings) — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. ShaferRuling Agent Motion in Structured Environments (HPCN Europe 2000) — Marco Cremonini, Andrea Omicini, Franco ZambonelliSelecting a Project's Methodology (IEEE Software) — Alistair CockburnAmorphous 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 WeissEngineering Societies in the Agents World (ESAW'00 @ ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco ZambonelliIntroduzione alla Programmazione a oggetti in Java (book) — Enrico DentiFormal ReSpecT (AGP 2000) — Andrea Omicini, Enrico DentiFolk Physics for Apes: The Chimpanzee's Theory of How the World Works (book) — Daniel J. PovinelliReasoning about Rational Agents (book) — Michael WooldridgeArchitectural Styles and the Design of Network-based Software Architectures (phd thesis) — Roy Thomas FieldingSpecial Track on Coordination Models, Languages and Applications (CM 2000 @ SAC 2000) — Andrea Omicini, George A. PapadopoulosCoordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (COORDINATION 2000) — Marco Cremonini, Andrea Omicini, Franco ZambonelliAI*IA 99: Advances in Artificial Intelligence (AI*IA99) — Evelina Lamma, Paola MelloProcess Migration (ACM Computing Surveys) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian ZhouEfficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (The Journal of Physical Chemistry A) — Michael A. Gibson, Jehoushua BruckFondamenti di Informatica A (Parte II) (book) — Enrico DentiContext-Dependency in Internet-Agent Coordination (ESAW'00 @ ECAI 2000) — Giacomo Cabri, Letizia Leonardi, Franco ZambonelliSwarm Smarts (article in journal) — Eric Bonabeau, Guy ThéraulazThe Gaia Methodology for Agent-Oriented Analysis and Design (Autonomous Agents and Multi-Agent Systems) — Michael J. Wooldridge, Nicholas R. Jennings, David KinnyPreface (ESAW'00 @ ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco ZambonelliSODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (AOSE 2000 @ ICSE 2000) — Andrea OmiciniOn the Consistent Observation of Active Systems (paper in proceedings) — Gianluca Moro, Antonio Natali, Mirko ViroliProceedings of the Fourth International Conference on Autonomous Agents (Agents 2000) — Carles Sierra, Maria L. Gini, Jeffrey S. RosenscheinMARS: A Programmable Coordination Architecture for Mobile Agents (IEEE Internet Computing) — Giacomo Cabri, Letizia Leonardi, Franco ZambonelliPersistent Turing Machines as a Model of Interactive Computation (paper in proceedings) — Dina Q. GoldinParametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (ACM SIGPLAN Notices) — Mirko Viroli, Antonio NataliMAAMAW'99 — Modelling Autonomous Agents in a Multi-Agent World (AI*IA Notizie) — Andrea OmiciniMathematical Models of Interactive Computing (technical report) — Peter Wegner, Dina GoldinImplementing the ACLT Coordination Model (technical report) — Enrico DentiWeaving the Web: The Original Design and Ultimate Destiny of the World Wide Web (book) — Tim Berners-Lee, Mark FischettiTuple Centres for the Coordination of Internet Agents (CM @ SAC 1999) — Andrea Omicini, Franco ZambonelliOn the Expressiveness of Coordination Models (paper in proceedings) — Antonio Brogi, Jean-Marie JacquetMulti-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (MAAMAW'99) — Marco Cremonini, Andrea Omicini, Franco ZambonelliExtreme Programming Explained: Embrace Change (book) — Kent BeckMulti-Agent System Engineering (MAAMAW'99) — Francisco J. Garijo, Magnus BomanMeta-Modelling Based Assembly Techniques for Situational Method Engineering (Information Systems) — Sjaak Brinkkemper, Motoshi Saeki, Frank HarmsenIntroduction to Econophysics: Correlations and Complexity in Finance (book) — Rosario N. Mantegna, H. Eugene StanleyModelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999) — Marco Cremonini, Andrea Omicini, Franco ZambonelliCoordination Technology for the Development of Multi-Agent Systems on the Web (AI*IA99) — Enrico Denti, Andrea Omicini, Vladimiro ToschiEngineering Multi-Agent Systems in LuCe (MAS @ ICLP'99) — Enrico Denti, Andrea OmiciniJavaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices (book) — Eric Freeman, Susanne Hupfer, Ken ArnoldThe Explorable Topology: Supporting Agent Autonomy on the Internet (WSDAAL'99) — Marco Cremonini, Andrea Omicini, Franco ZambonelliCoordination Models for Multi-Agent Systems (AgentLink News) — Paolo Ciancarini, Andrea Omicini, Franco ZambonelliHierarchical 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 XiaoA Methodology for Agent-Oriented Analysis and Design (Agents '99) — Michael J. Wooldridge, Nicholas R. Jennings, David KinnyCoordination for Internet Application Development (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Franco ZambonelliSwarm Intelligence: From Natural to Artificial Systems (book) — Eric Bonabeau, Marco Dorigo, Guy TheraulazA Brief History of Stigmergy (Artificial Life) — Guy Theraulaz, Eric BonabeauBuilding Mobile Agent Applications in HiMAT (PDSE'99) — Marco Cremonini, Andrea Omicini, Franco ZambonelliEmbodiment in Conversational Interfaces: Rea (paper in proceedings) — Justine Cassell, Timothy Bickmore, Mark Billinghurst, Lee Campbell, Kenny Chang, Hannes Vilhjálmsson, Hao YanCoordination Technologies for Internet Agents (Nordic Journal of Computing) — Paolo Ciancarini, Andrea Omicini, Franco ZambonelliThe HiMAT Model for Mobile Agent Applications (PODC 1999) — Marco Cremonini, Andrea Omicini, Franco ZambonelliAdopting an Object-Oriented Data Model in Inductive Logic Programming (FLAIRS 1999) — Michela Milano, Andrea Omicini, Fabrizio RiguzziFondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione (book) — Enrico DentiDistributed Cognition, Coordination and Environment Design (paper in proceedings) — David KirshThe UMASS Intelligent Home Project (Agents '99) — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. ZhangFondamenti di Informatica A (Parte I) (book) — Enrico DentiMultiagent Systems: A Modern Approach to Distributed Artificial Intelligence (edited volume) — Gerhard WeissIntelligent Agents V (ATAL-98) — Jörg P. Müller, Munindar P. Singh, Anand S. RaoDesigning Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea OmiciniCoinductive Models of Finite Computing Agents (paper in proceedings) — Peter Wegner, Dina GoldinOn the Semantics of Tuple-based Coordination Models (CM @ SAC 1999) — Andrea OmiciniIntroduction to Simulation (paper in proceedings) — Jerry BanksProceedings of the Third Annual Conference on Autonomous Agents (Agents '99) — Oren Etzioni, Jörg P. Müller, Jeffrey M. BradshawModel Checking (book) — Edmund M. Clarke, Orna Grumberg, Doron PelegCoordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (COORDINATION 1999) — Marco Cremonini, Andrea Omicini, Franco ZambonelliCo-ordination in Artificial Agent Societies (book) — Sascha OssowskiEmergence as a Construct: History and Issues (article in journal) — Jeffrey GoldsteinMultiagent System Engineering: The Coordination Viewpoint (ATAL-99) — Paolo Ciancarini, Andrea Omicini, Franco ZambonelliAn Architecture for Tuple-based Coordination of Multi-Agent Systems (Software: Practice and Experience) — Enrico Denti, Andrea OmiciniAgents with Power (Communications of the ACM) — Rune GustavssonUnskilled and Unaware of It: How Difficulties in Recognizing One's Own Incompetence Lead to Inflated Self-Assessments (article in journal) — Justin Kruger, David DunningEditor's Introduction: Stigmergy (Artificial Life) — Eric BonabeauComparing Coordination Models based on Shared Distributed Replicated Data (CM @ SAC 1999) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi ZavattaroModeling 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. HollingsworthT Spaces (IBM Systems Journal) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. FordKLAIM: A Kernel Language for Agent Interaction and Mobility (IEEE Transactions on Software Engineering) — Rocco De Nicola, Gianluigi Ferrari, Rosario PuglieseCollective dynamics of ‘small-world’ networks (Nature) — Duncan J. Watts, Steven H. StrogatzUnderstanding Code Mobility (IEEE Transactions on Software Engineering) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni VignaProgramming with Constraints: An Introduction (book) — Kim Marriott, Peter J. StuckeyCoordination Models and Languages (book chapter) — George A. Papadopoulos, Farhad ArbabTowards a Hierarchy of Negative Test Operators for Generative Communication (paper in proceedings) — Gianluigi ZavattaroPrinciples of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (paper in proceedings) — Cristiano Castelfranchi, Rino FalconePlanning and acting in partially observable stochastic domains (article in journal) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. CassandraA process algebraic view of Linda coordination primitives (Theoretical Computer Science) — Nadia Busi, Roberto Gorrieri, Gianluigi ZavattaroCo-ordination of Mobile Information Agents in TuCSoN (Internet Research) — Andrea Omicini, Franco ZambonelliIntelligent Agents IV (ATAL-97) — Munindar P. Singh, Anand S. Rao, Michael J. WooldridgeMessage logging: pessimistic, optimistic, causal, and optimal (IEEE Transactions on Software Engineering) — Lorenzo Alvisi, Keith MarzulloÉvolution et création, tome 1 (book) — Gustave MarteletProceedings of the Second International Conference on Autonomous Agents (Agents '98) — Katia P. Sycara, Michael J. WooldridgeCoordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (phd thesis) — Enrico DentiCoordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (other publication sort) — Enrico DentiOn the Incomparability of Gamma and Linda (technical report) — Gianluigi ZavattaroAgent Communication Languages: Rethinking the Principles (Computer) — Munindar P. SinghDesigning for the Dynamics of Cooperative Work Activities (paper in proceedings) — Jakob BardramDecision 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 MarteletOn the Expressive Power of a Language for Programming Coordination Media (CM @ SAC 1998) — Enrico Denti, Antonio Natali, Andrea OmiciniDistributed Agents Supporting Event-Driven Design Processes (book chapter) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato CerqueiraCoordination of Mobile Agents for Information Systems: the TuCSoN Model (AI*IA'98) — Andrea Omicini, Franco ZambonelliModelling Social Action for AI Agents (article in journal) — Cristiano CastelfranchiTowards Empirical Computer Science (The Monist) — Peter WegnerIntroduction to the Fluent Calculus (article in journal) — Michael ThielscherPrinciples of Declarative Programming (PLILP’98) — Catuscia Palamidessi, Hugh Glaser, Karl MeinkeA Comprehensive View of Process Engineering (paper in proceedings) — Colette RollandTuCSoN: a Coordination model for Mobile Information Agents (IIIS-98 @ CAiSE'98) — Andrea Omicini, Franco ZambonelliThe Distributed Constraint Satisfaction Problem: Formalization and Algorithms (IEEE Transactions on Knowledge and Data Engineering) — Makoto Yokoo, Edmund H. Durfee, Toru Ishida, Kazuhiro KuwabaraA Fuzzy Description Logic (paper in proceedings) — Umberto StracciaThe Part-Time Parliament (ACM Transactions on Computer Systems) — Leslie LamportA Formal Specification of dMARS (ATAL-97) — Mark d'Inverno, David Kinny, Michael Luck, Michael WooldridgePDDL — The Planning Domain Definition Language (technical report) — Malik Ghallab, Adele Howe, Craig Knoblock, Drew McDermott, Ashwin Ram, Manuela Veloso, Daniel Weld, David WilkinsData Access Services and Automatic Generation of Cooperative Interfaces (paper in proceedings) — Gianluca Moro, Antonio Natali, Claudio SartoriIntelligent Decision Support Methods: The Science of Knowledge Work (book) — Vasant Dhar, Roger M. SteinFormalizing and Securing Relationships on Public Networks (First Monday) — Nick SzaboProgrammazione logica e Prolog (book) — Luca Console, Evelina Lamma, Paola Mello, Michela MilanoCoordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work (book chapter) — Yrjo Engeström, Katherine Brown, L. Carol Christopher, Judith GregoryDesigning Multi-Agent Systems around a Programmable Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea OmiciniCluster-based scalable network services (ACM SIGOPS Operating Systems Review) — Armando Fox, Steven D. Gribble, Yatin Chawathe, Eric A. Brewer, Paul GauthierDiscourse and Cognition (book) — Derek EdwardsRevisiting the Paxos algorithm (book chapter) — Roberto De Prisco, Butler W. Lampson, Nancy A. LynchIssues in Agent-Based Software Engineering (paper in proceedings) — Michael J. WooldridgeSituational Method Engineering (book) — A.F. HarmsenMulti-Agent Rationality (MAAMAW'97) — Magnus Boman, Walter Van de VeldeProgrammable Coordination Media (COORDINATION 1997) — Enrico Denti, Antonio Natali, Andrea OmiciniHierarchical Planning (book chapter) — Qiang YangSemantics 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 ParunakIn Pursuit of the Holy Grail (Constraints) — Eugene C. FreuderIs it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents (ATAL-96 @ ECAI'96) — Stan Franklin, Art GraesserLearning with an Object-Oriented Data Model (AALN’97) — Michela Milano, Andrea Omicini, Fabrizio RiguzziSoftware Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (paper in proceedings) — Leon J. OsterweilA Tutorial on (Co)Algebras and (Co)Induction (Bulletin of the European Association for Theoretical Computer Science) — Bart Jacobs, Jan RuttenExpressive Power of the ACLT Reaction Specification Language (technical report) — Enrico Denti, Antonio Natali, Andrea OmiciniProgramming Languages: Implementations, Logics, and Programs (PLILP’97) — Hugh Glaser, Pieter Hartel, Herbert KuchenWhy Interaction Is More Powerful Than Algorithms (Communications of the ACM) — Peter WegnerFast planning through planning graph analysis (article in journal) — Avrim L. Blum, Merrick I. FurstIntelligent Agents III (ATAL-96 @ ECAI'96) — Jörg P. Müller, Michael J. Wooldridge, Nicholas R. JenningsProceedings of the First International Conference on Autonomous Agents (Agents '97) — W. Lewis JohnsonMerging Logic Programming into Web-based Technology: A Coordination-based Approach (LPNET'97 @ ICLP'97) — Enrico Denti, Antonio Natali, Andrea OmiciniAffective Computing (book) — Rosalind W. PicardLifelike Computer Characters: The Persona Project at Microsoft (book chapter) — Gene Ball, Dan Ling, David Kurlander, John Miller, David Pugh, Tim Skelly, Andy Stankosky, David Thiel, Maarten Van Dantzich, Trace WaxAI*IA 97: Advances in Artificial Intelligence (AI*IA'97) — Maurizio LenzeriniIntegrating Knowledge Acquisition in Plan Selection (AI*IA'96) — Antonio Natali, Andrea OmiciniOn the implementation and evaluation of AbTweak (article in journal) — Qiang Yang, Josh D. Tenenberg, Steven WoodsThe Birth of Prolog (book chapter) — Alain Colmerauer, Philippe RousselFoundations of Distributed Artificial Intelligence (edited volume) — Gregory M.P. O'Hare, Nicholas R. JenningsUsing Language (book) — Herbert H. ClarkLogic Tuple Spaces for the Coordination of Heterogeneous Agents (FroCoS 1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco VenutiHow to build a highly available system using consensus (book chapter) — Butler W. LampsonProgramming Languages: Implementations, Logics, and Programs (PLILP’96) — Herbert Kuchen, S. Doaitse SwierstraAn Extensible Framework for the Development of Coordinated Applications (COORDINATION'96) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco VenutiPrinciples of Logic and Logic Programming (book) — George Metakides, Anil NerodeHistory 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 CiancariniIntelligent Agents II (ATAL-95 @ IJCAI'95) — Michael J. Wooldridge, Jörg P. Müller, Milind TambeOn the Meanings of the Logical Constants and the Justifications of the Logical Laws (article in journal) — Per Martin-LöfAn Object-Oriented Approach to Planning (FAPR'96 Workshop) — Umberto Fonda, Antonio Natali, Andrea OmiciniForeword (Principles of Logic and Logic Programming) — George Metakides, Anil NerodeA General Framework for Multi-Theory Logic Languages (technical report) — Andrea OmiciniThe Structure of Scientific Revolutions (book) — Thomas S. KuhnA Software Environment for Concurrent Coordinated Programming (COORDINATION'96) — Anne-Alexandra HolzbacherSoftware Agents (article in journal) — Nicholas R. Jennings, Michael J. WooldridgeAgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (MAAMAW'96) — Anand S. RaoTrading Consistency for Availability in Distributed Systems (technical report) — Roy Friedman, Ken BirmanMethod engineering: engineering of information systems development methods and tools (Information and Software Technology) — Sjaak BrinkkemperBulk Primitives in Linda Run-Time Systems (phd thesis) — Antony Ian Taylor RowstronAgents Breaking Away (MAAMAW'96) — Walter Van de Velde, John W. PerramDistributed Software Agents and Applications (MAAMAW'94) — John W. Perram, Jean-Pierre MüllerProgramming Languages: Implementations, Logics and Programs (PLILP’95) — Manuel Hermenegildo, S. Doaitse SwierstraBDI Agents: From Theory to Practice (paper in proceedings) — Anand S. Rao, Michael P. GeorgeffFast Planning Through Planning Graph Analysis (technical report) — Avrim L. Blum, Merrick I. FurstIntelligent Agents: Theory and Practice (The Knowledge Engineering Review) — Michael J. Wooldridge, Nicholas R. JenningsFrom Reaction to Cognition (MAAMAW'93) — Cristiano Castelfranchi, Jean-Pierre MüllerContext and Consciousness: Activity Theory and Human-Computer Interaction (edited volume) — Bonnie A. NardiA distributed semantics for EMPA based on stochastic contextual nets (The Computer Journal) — Marco Bernardo, Nadia Busi, Roberto GorrieriIntegration of object-oriented analysis and performance simulation for engineering computer-based systems (paper in proceedings) — Richard Goldgar, Ramon D. AcostaIntelligent Agents (ATAL-94 @ ECAI-94) — Michael J. Wooldridge, Nicholas R. JenningsLaw-Governed Linda as a Coordination Model (paper in proceedings) — Naftaly H. Minsky, Jerrold LeichterComputational Research on Interaction and Agency (article in journal) — Philip E. AgreGuarantees for Autonomy in Cognitive Agent Architecture (ATAL-94 @ ECAI-94) — Cristiano CastelfranchiLa programmazione logica nello sviluppo del software: dai modelli agli strumenti (book chapter) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea OmiciniCalcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (book) — Enrico Denti, Antonio NataliRobot Control Systems as Contextual Logic Programs (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli1st International Conference on Multiagent Systems (edited volume) — Victor R. Lesser, Les GasserAgent Coordination and Control through Logic Theories (AI*IA'95) — Andrea Omicini, Enrico Denti, Antonio NataliModeling Interactive Agents in ALIVE (paper in proceedings) — Pattie Maes, Bruce Blumberg, Trevor Darrell, Alex Pentland, Alan WexelblatSpecification 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 MannReactive, Generative, and Stratified Models of Probabilistic Processes (Information and Computation) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard SteffenProgrammazione Logica Orientata agli Oggetti (phd thesis) — Andrea OmiciniA Petri Net Semantics for pi-Calculus (paper in proceedings) — Nadia Busi, Roberto GorrieriCognitive and Social Action (edited volume) — Rosaria Conte, Cristiano CastelfranchiConstraining Objects as Logic Theories (technical report) — Andrea OmiciniLogic, Programming and Prolog (book) — Ulf Nilsson, Jan MaluszynskiTopics in Artificial Intelligence (AI*IA'95) — Marco Gori, Giovanni SodaA Filtering Algorithm for Constraints of Difference in CSPs (AAAI-94) — Jean-Charles RéginSystematic Reviews: Rationale for systematic reviews (article in journal) — Cynthia D. MulrowArtificial Social Systems (MAAMAW'92) — Cristiano Castelfranchi, Eric WernerA logic for reasoning about time and reliability (Formal Aspects of Computing) — Hans Hansson, Bengt JonssonA Structured Logic Programming Approach to Robot Programming (PAP'94) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco ZanichelliOn subsumption in distributed derivations (article in journal) — Maria Paola Bonacina, Jieh HsiangConstraint Logic Programming: A Survey (The Journal of Logic Programming) — Joxan Jaffar, Michael J. MaherThe Interdisciplinary Study of Coordination (ACM Computing Surveys) — Thomas W. Malone, Kevin CrowstonA Multi-Agent Framework and Programming Environment for Autonomous Robotics (ICRA 1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea OmiciniRewrite-based Equational Theorem Proving with Selection and Simplification (Journal of Logic and Computation) — Leo Bachmair, Harald GanzingerMoving Prolog Toward Objects (book chapter) — Enrico Denti, Antonio Natali, Andrea OmiciniScale in Distributed Systems (book chapter) — B. Clifford NeumanThe role of emotion in believable agents (Communications of the ACM) — Joseph BatesOpen Logic Theory Composition in a Software Engineering Perspective (ICLP'94-W7) — Enrico Denti, Andrea OmiciniThe computational complexity of propositional STRIPS planning (article in journal) — Tom BylanderProgramming Language Implementation and Logic Programming (PLILP’94) — Manuel Hermenegildo, Jaan PenjamObject-Oriented Computations in Logic Programming (ECOOP 1994) — Andrea Omicini, Antonio NataliTurtles, termites, and traffic jams: explorations in massively parallel microworlds (book) — Mitchel ResnickIntroduction to Logic and to the Methodology of the Deductive Sciences (book) — Alfred Tarski, Jan TarskiDistributed Programming with Logic Tuple Spaces (article in journal) — Paolo CiancariniModularity in Logic Programming (The Journal of Logic Programming) — Michele Bugliesi, Evelina Lamma, Paola MelloEmbedding as a Tool for Language Comparison (Information and Computation) — Frank S. de Boer, Catiuscia PalamidessiThe convex-hull-and-line traveling salesman problem: a solvable case (Information Processing Letters) — Vladimir G. Deineko, René van Dal, Günter RoteAdvances in Artificial Intelligence (AI*IA'93) — Pietro TorassoFrom Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (PISELP @ ICLP'93) — Enrico Denti, Antonio Natali, Andrea OmiciniUsers' Guides to the Medical Literature: I. How to Get Started (article in journal) — Andrew D. Oxman, David L. Sackett, Gordon H. GuyattFoundations for Interaction: The Dependence Theory (paper in proceedings) — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria MiceliAgent-Oriented Programming (article in journal) — Yoav ShohamObjects with State in CSM (CompuLog 2 Meeting / WLL'93) — Antonio Natali, Andrea OmiciniElements of Interaction: Turing Award Lecture (Communications of the ACM) — Robin MilnerTechniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea OmiciniTools, Language and Cognition in Human Evolution (edited volume) — Kathleen R. Gibson, Tim IngoldObjects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea OmiciniVerso un Ambiente di Sviluppo per Sistemi in Tempo Reale (technical report) — Enrico Denti, Antonio Natali, Andrea OmiciniScience for the post-normal age (Futures) — Silvio O. Funtowicz, Jerome R. RavetzDevelopment of a Programming Environment for Intelligent Robotics (paper in proceedings) — Stefano Caselli, Antonio Natali, Francesco ZanichelliAn Overview of Manifold and its Implementation (Concurrency and Computation: Practice and Experience) — Farhad Arbab, Ivan Herman, Per SpillingExploiting Logic Programming in Robot Applications (GULP 1993) — Antonio Natali, Andrea Omicini, Francesco ZanichelliProgramming Language Implementation and Logic Programming (PLILP’93) — Maurice Bruynooghe, Jaan PenjamThe Origins of Order: Self-organization and Selection in Evolution (book) — Stuart A. KauffmanA History of Speculation on the Relation between Tools and Languages (book chapter) — Gordon W. HewesMinimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems (article in journal) — Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip LairdA calculus of mobile processes, I (Information and Computation) — Robin Milner, Joachim Parrow, David WalkerImplementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea OmiciniThe Semantics of a Parallel Language based on a Shared Data Space (technical report) — Paolo Ciancarini, Keld K. Jensen, Dani YankelevichAn Abstract Architecture for Rational Agents (paper in proceedings) — Anand S. Rao, Michael P. GeorgeffMetastructures vs. Attributed Variables in the Context of Extensible Unification (PLILP’92) — Christian HolzbaurOn-Line Algorithms Versus Off-Line Algorithms: How Much is it Worth to Know the Future? (IFIP 1992) — Richard M. KarpAn Extended Warren Abstract Machine for the Execution of Structured Logic Programs (The Journal of Logic Programming) — Evelina Lamma, Paola Mello, Antonio NataliDecentralized A.I. 3 (MAAMAW'91) — Eric Werner, Yves DemazeauContexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea OmiciniCumulative Meta-Analysis of Therapeutic Trials for Myocardial Infarction (article in journal) — Joseph Lau, Elliott M. Antman, Jeanette Jimenez-Silva, Bruce Kupelnick, Frederick Mosteller, Thomas C. ChalmersPlanning as Satisfiability (ECAI-1992) — Henry A. Kautz, Bart SelmanSupporto alla Comunicazione Remota in MME 3 (technical report) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith SzantoExtending Prolog with Modularity, Concurrency and Meta-Rules (article in journal) — Paola Mello, Antonio NataliA calculus of mobile processes, II (Information and Computation) — Robin Milner, Joachim Parrow, David WalkerProgramming Language Implementation and Logic Programming (PLILP’92) — Maurice Bruynooghe, Martin WirsingAn Argument for Basic Emotions (article in journal) — Paul EkmanGeometry and spatial reasoning (book chapter) — Douglas H. Clements, Michael T. BattistaAbductive Logic Programming (Journal of Logic and Computation) — Antonis C. Kakas, Robert A. Kowalski, Francesca ToniCoordination Languages and Their Significance (Communications of the ACM) — David Gelernter, Nicholas CarrieroObjects as Evolving Contexts (COMPULOG NET Area Meeting '92) — Antonio Natali, Andrea OmiciniDesign principles for cognitive artifacts (Research in Engineering Design) — Donald A. NormanParallel Logic Programming using the Linda Model of Computation (paper in proceedings) — Paolo CiancariniBarbed Bisimulation (paper in proceedings) — Robin Milner, Davide SangiorgiCSM User's Guide (technical report) — Enrico Denti, Antonio Natali, Andrea OmiciniThe Chemical Abstract Machine (Theoretical Computer Science) — Gérard Berry, Gérard BoudolMethodology EngineeringR: a proposal for situation-specific methodology construction (book chapter) — Kuldeep Kumar, Richard J. WelkeThe Affective Reasoner: A Process Model of Emotions in a Multi-Agent System (phd thesis) — Clark Davidson ElliottCo-ordinating Plans of Autonomous Agents (book) — Frank von MartialTrends in Artificial Intelligence (AI*IA'91) — Edoardo Ardizzone, Salvatore Gaglio, Filippo SorbelloThe Concept of Activity as a Basic Unit of Analysis for CSCW Research (paper in proceedings) — Kari KuuttiReflection Mechanisms for Combining Prolog Databases (Software: Practice and Experience) — Evelina Lamma, Paola Mello, Antonio NataliDecentralized A.I. 2 (MAAMAW'90) — Yves Demazeau, Jean-Pierre MüllerSeparating Concurrent Languages with Categories of Language Embeddings (paper in proceedings) — Ehud ShapiroHow to Time-Stamp a Digital Document (Journal of Cryptology) — Stuart Haber, W. Scott StornettaGeneralizing Term Subsumption Languages to Fuzzy Logic (paper in proceedings) — John YenQuintus Prolog 3.0 (IEEE Intelligent Systems) — Ken JohnsonThe Logical Basis of Metaphysics (book) — Michael DummettModeling Rational Agents within a BDI Architecture (paper in proceedings) — Anand S. Rao, Michael P. GeorgeffIntelligence Without Reason (IJCAI 1991) — Rodney A. BrooksProgramming Language Implementation and Logic Programming (PLILP’91) — Jan Maluszyński, Martin WirsingIntelligence without Representation (article in journal) — Rodney A. BrooksThe Concurrent Language, Shared Prolog (ACM Transactions on Programming Languages and Systems) — Antonio Brogi, Paolo CiancariniThe Narrative Construction of Reality (Critical Inquiry) — Jerome BrunerCognitive Artifacts (book chapter) — Donald A. NormanComputational Logic (edited volume) — John W. LloydAn Introduction to Prolog III (Communications of the ACM) — Alain ColmerauerEquivalences, congruences, and complete axiomatizations for probabilistic processes (paper in proceedings) — Chi-Chang Jou, Scott A. SmolkaThe GAMMA Model and its Discipline of Programming (Science of Computer Programming) — Jean-Pierre Banâtre, Daniel Le MétayerIEEE Standard Glossary of Software Engineering Terminology (technical report) — IEEE Standard BoardWhat is Intention? (book chapter) — Michael E. Bratman, Andrea RoliImplementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial (ACM Computing Surveys) — Fred B. SchneiderDistributed Computing: Models and Methods (book chapter) — Leslie Lamport, Nancy LynchDecentralized A.I. (MAAMAW'89) — Yves Demazeau, Jean-Pierre MüllerThe Aurora or-parallel Prolog system (article in journal) — Ewing Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil HausmanTell me a story: A new look at real and artificial memory (book) — Roger C. SchankTesting Equivalences and Fully Abstract Models for Probabilistic Processes (paper in proceedings) — Ivan ChristoffConcepts and Paradigms of Object-oriented Programming (ACM SIGPLAN OOPS Messenger) — Peter WegnerTemporal and Modal Logic (book chapter) — E. Allen EmersonProgramming Language Implementation and Logic Programming (PLILP’90) — Pierre Deransart, Jan MałuszyńskiHow to Write Parallel Programs: A Guide to the Perplexed (ACM Computing Surveys) — Nicholas Carriero, David GelernterSpatial Reasoning (Journal of Memory and Language) — Ruth M.J Byrne, P.N Johnson-LairdAbstraction in Problem Solving and Learning (IJCAI 1989) — Amy Unruh, Paul S. RosenbloomThe Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming (paper in proceedings) — Evelina Lamma, Paola Mello, Antonio NataliConstraint Satisfaction in Logic Programming (book) — Pascal Van HentenryckLogic Programming in a Software Engineering Perspective (paper in proceedings) — Paola Mello, Antonio Natali, Cristina RuggieriThe family of concurrent logic programming languages (ACM Computing Surveys) — Ehud ShapiroInformation Management: A Proposal (technical report) — Tim Berners-LeeLinda in Context (Communications of the ACM) — Nicholas Carriero, David GelernterThe accuracy of the clock synchronization achieved by TEMPO in Berkeley UNIX 4.3BSD (IEEE Transactions on Software Engineering) — Riccardo Gusella, Stefano ZattiBibTeXing (manual) — Oren PatashnikDesigning BibTeX Styles (manual) — Oren PatashnikMeta-Programming in Prolog Through Direct Introspection (paper in proceedings) — Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio NataliProgramming Languages Implementation and Logic Programming (PLILP’88) — Pierre Deransart, Bernard Lorho, Jan MałuszyńskiApproximate Spatial Reasoning (IEA/AIE 1988) — Soumitra DuttaGrafica in Turbo Pascal (MC Microcomputer) — Enrico DentiThe Constraint Logic Programming Language CHIP (FGCS 1988) — Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise BerthierReadings in Distributed Artificial Intelligence (edited volume) — Alan H. Bond, Les GasserWomen, Fire, and Dangerous Things. What Categories Reveal about the Mind (book) — George LakoffConcurrent histories: A basis for observing distributed systems (Journal of Computer and System Sciences) — Pierpaolo Degano, Ugo MontanariIntention, Plans, and Practical Reason (book) — Michael E. BratmanPlanning for conjunctive goals (article in journal) — David ChapmanSoftware Processes are Software too (paper in proceedings) — Leon J. OsterweilPlans and Situated Actions: The Problem of Human-Machine Communication (book chapter) — Lucy A. SuchmanObjects as Communicating Prolog Units (paper in proceedings) — Paola Mello, Antonio NataliLinear logic (Theoretical Computer Science) — Jean-Yves GirardOdyssey: Pepsi to Apple. A Journey of Adventure, Ideas, and the Future (book) — John Sculley, John A. ByrneAn Introduction to Computing with Neural Nets (IEEE ASSP Magazine) — Richard P. LippmannAutomatic inductive theorem proving using Prolog (Theoretical Computer Science) — Jieh Hsiang, Mandayam SrivasReactive Reasoning and Planning (paper in proceedings) — Michael P. Georgeff, Amy L. LanskyConstraint Logic Programming (POPL 1987) — Joxan Jaffar, Jean-Louis LassezLinda and Friends (Computer) — Sudhir Ahuja, Nicholas Carriero, David GelernterSpecification and Development of Reactive Systems (paper in proceedings) — Amir PnueliPrograms as Collections of Communicating Prolog Units (paper in proceedings) — Paola Mello, Antonio NataliSpin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications (book chapter) — Marc Mézard, Giorgio Parisi, Miguel Angel VirasoroDefault Reasoning, Nonmonotonic Logics, and the Frame Problem (AAAI-86) — Steve Hanks, Drew McDermottAchieving Artificial Intelligence through Building Robots (technical report) — Rodney A. BrooksA Robust Layered Control System For A Mobile Robot (article in journal) — Rodney A. BrooksPlans and Situated Actions: The Problem of Human-Machine Communication (phd thesis) — Lucy A. SuchmanDistributed snapshots: determining global states of distributed systems (ACM Transactions on Computer Systems) — K. Mani Chandy, Leslie LamportImpossibility of distributed consensus with one faulty process (Journal of the ACM) — Michael J. Fischer, Nancy A. Lynch, Michael S. PatersonFoundations of Knowledge for Distributed Systems (technical report) — Michael J. Fisher, Neil ImmermanGenerative Communication in Linda (ACM Transactions on Programming Languages and Systems) — David GelernterAlgebra of communicating processes with abstraction (Theoretical Computer Science) — Jan A. Bergstra, Jan Willem KlopMeta-level Programming and Knowledge Representation (article in journal) — Kenneth A. BowenOn the Development of Reactive Systems (NATO ASI 1984) — David Harel, Amir PnueliCYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks (AI Magazine) — Douglas B. Lenat, Mayank Prakash, Mary ShepherdMultiple-Microprocessor Programming Techniques (Computer) — Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Francesco Maderna, Antonio NataliA Theory of Communicating Sequential Processes (Journal of the ACM) — Stephen D. Brookes, Charles Antony Richard Hoare, Andrew William RoscoeError Recovery in Multicomputers Using Global Checkpoints (ICPP 1984) — Yuval Tamir, Carlo H. SequinRule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project (book) — Bruce G. Buchanan, Edward H. ShortliffeDomain-independent Planning: Representation and Plan Generation (article in journal) — David WilkinsProcess algebra for synchronous communication (Information and Control) — Jan A. Bergstra, Jan Willem KlopBasic Modal Logic (book chapter) — Robert Bull, Krister SegerbergNon-Linear Planning (book chapter) — Alan Bundy, Lincoln WallenEquations and Inequations on Finite and Infinite Trees (FGCS 1984) — Alain ColmerauerFoundations of Logic Programming (book) — John W. LloydAn Implementation of Rendez-Vous in Distributed Systems (paper in proceedings) — Antonio Corradi, Antonio NataliBeliefs about beliefs: Representation and constraining function of wrong beliefs in young children's understanding of deception (Cognition) — Heinz Wimmer, Josef PernerThe consensus problem in unreliable distributed systems (a brief survey) (paper in proceedings) — Michael J FischerUsing the iAPX-432 system as a support for chill parallel constructs (Microprocessing and Microprogramming) — Antonio Corradi, Antonio NataliMachine Learning: An Artificial Intelligence Approach (edited volume) — Ryszard S. Michalski, Jaime G. Carbonell, Tom M. MitchellDistributed Commit With Bounded Waiting (paper in proceedings) — Danny Dolev, H. Raymond StrongDynamic memory: A theory of reminding and learning (book) — Roger C. SchankPreliminary Discussion of the Logical Design of an Electronic Computing Instrument (book chapter) — Arthur W. Burks, Herman H. Goldstine, John von NeumannA Sufficient Condition for Backtrack-Free Search (Journal of the ACM) — Eugene C. FreuderThe Byzantine Generals Problem (ACM Transactions on Programming Languages and Systems) — Leslie Lamport, Robert Shostak, Marshall PeaseAn Efficient Unification Algorithm (ACM Transactions on Programming Languages and Systems) — Alberto Martelli, Ugo MontanariMML: A programming line for multiple-microprocessors systems (paper in proceedings) — Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio NataliHistory of Programming Languages I (HOPL 1978) — Richard L. WexelblatLinguistic Mechanisms for Resource Management Strategies (Software: Practice and Experience) — Paolo Ancilotti, Norma Lijtmaer, Maurelio Boari, Antonio NataliA structural approach to operational semantics (technical report) — Gordon D. PlotkinPlanning with constraints (MOLGEN: Part 1) (article in journal) — Mark StefikHistory of LISP (book chapter) — John McCarthy“Put-That-There”: Voice and Gesture at the Graphics Interface (article in journal) — Richard A. Bolt“Sometime” is sometimes “not never”: on the temporal logic of programs (POPL 1980) — Leslie LamportAutopoiesis and Cognition: The Realization of the Living (book) — Humberto R. Maturana, Francisco J. VarelaMinds, Brains, and Programs (Behavioral and Brain Sciences) — John R. SearleA Calculus of Communicating Systems (book) — Robin MilnerThe Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty (ACM Computing Surveys) — Lee D. Erman, Frederick Hayes-Roth, Victor R. Lesser, D. Raj ReddyAscribing Mental Qualities to Machines (book chapter) — John McCarthyAlgorithm = Logic + Control (Communications of the ACM) — Robert A. KowalskiLogic for Problem Solving (book) — Robert A. KowalskiThe Paradigms of Programming (Communications of the ACM) — Robert W. FloydMind in Society (book) — Lev Semyonovich VygotskyTime, Clocks, and the Ordering of Events in a Distributed System (Communications of the ACM) — Leslie LamportNegation as Failure (book chapter) — Keith L. ClarkMind in Society: Development of Higher Psychological Processes (book) — Lev Semenovich VygotskiĭDoes the chimpanzee have a theory of mind? (Behavioral and Brain Sciences) — David Premack, Guy WoodruffMultiple Access to a Tree in the Context of Readers and Writers Problem (Information Processing Letters) — Maurelio Boari, Antonio NataliExact Stochastic Simulation of Coupled Chemical Reactions (The Journal of Physical Chemistry) — Daniel T. GillespieThe Euclidean travelling salesman problem is NP-complete (Theoretical Computer Science) — Christos H. PapadimitriouA Structure for Plans and Behavior (book) — Earl D. SacerdotiConsistency in Networks of Relations (article in journal) — Alan K. MackworthScripts, plans, goals, and understanding. An inquiry into human knowledge structures (book) — Roger C. Schank, Robert P. AbelsonPetri Nets (ACM Computing Surveys) — James L. PetersonGenerating Project Networks (IJCAI 1977) — Austin TateComputer-based medical consultations: MYCIN (book) — Edward Hance ShortliffeSome Properties of Deadlock Detection and Recovery in Readers and Writers Problems (Information Processing Letters) — Maurelio Boari, Antonio NataliMethods for Automated Theorem Proving in Nonclassical Logics (article in journal) — Charles G. MorganThe Nonlinear Nature Of Plans (IJCAI 1975) — Earl D. SacerdotiUnderstanding Line Drawings of Scenes with Shadows (book chapter) — David L. WaltzNetworks of Constraints: Fundamental Properties and Applications to Picture Processing (Information Sciences) — Ugo MontanariPlanning in a hierarchy of abstraction spaces (article in journal) — Earl D. SacerdotiPredicate Logic as Programming Language (paper in proceedings) — Robert A. KowalskiAutopoiesis: The Organization of Living Systems, its Characterization and a Model (BioSystems) — Francisco G. Varela, Humberto R. Maturana, R. UribeThe Strength of Weak Ties (American Journal of Sociology) — Mark S. GranovetterAn Efficient Robot Planner which Generates Its Own Procedures (IJCAI 1973) — Laurent Siklóssy, Joseph Francis DreussiProgress in Natural Language Understanding: An Application to Lunar Geology (paper in proceedings) — William Aaron WoodsOn the Criteria to Be Used in Decomposing Systems into Modules (Communications of the ACM) — David Lorge ParnasUnderstanding natural language (article in journal) — Terry WinogradMathematical Thought from Ancient to Modern Times (book) — Morris KlineSTRIPS: A new approach to the application of theorem proving to problem solving (article in journal) — Richard E. Fikes, Nils J. NilssonOn the Foundations of Geometry and Formal Theories of Arithmetic (book) — Gottlob FregeThe complexity of theorem-proving procedures (STOC 1971) — Stephen A. CookIntentional Systems (The Journal of Philosophy) — Daniel C. DennettTheorem-Proving by Resolution as a Basis for Question-Answering Systems (book chapter) — C. Cordell GreenSome Philosophical Problems from the Standpoint of Artificial Intelligence (book chapter) — John McCarthy, Patrick J. HayesSpeech Acts. An Essay in the Philosophy of Language (book) — John R. SearlePrograms with Common Sense (book chapter) — John McCarthyAlgebra (book) — Saunders MacLane, Garrett BirkhoffComputer Science (Science) — Allen Newell, Alan J Perlis, Herbert A SimonLecture Notes on Elementary Topology and Geometry (book) — Isadore Manuel Singer, John A. ThorpeELIZA—a Computer Program for the Study of Natural Language Communication between Man and Machine (Communications of the ACM) — Joseph WeizenbaumWhat is a Speech Act? (book chapter) — John SearleMatter, Mind and Models (paper in proceedings) — Marvin L. MinskyA Machine-Oriented Logic Based on the Resolution Principle (Journal of the ACM) — John Alan RobinsonLectures on Gas Theory (book) — Ludwig BoltzmannSituations, Actions, and Causal Laws (technical report) — John McCarthySketchpad: A Man-Machine Graphical Communication System (AFIPS '63 (Spring)) — Ivan E. SutherlandBehavior in Public Places. Notes on the Social Organization of Gatherings (book) — Erving GoffmanA machine program for theorem-proving (Communications of the ACM) — Martin Davis, George Logemann, Donald LovelandHow to Do Things with Words (book) — John Langshaw AustinThe Architecture of Complexity (Proceedings of the American Philosophical Society) — Herbert A. SimonBaseball: An Automatic Question-Answerer (paper in proceedings) — Bert F. Green, Alice K. Wolf, Carol Chomsky, Kenneth LaugheryAn Automatic Method of Solving Discrete Programming Problems (Econometrica) — A. H. Land, A. G. DoigWhat is elementary geometry? (book chapter) — Alfred TarskiReport on a general problem-solving program (IFIP 1959) — Allen Newell, J.Cliff Shaw, Herbert A. SimonLa 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 ArendtEssay on the Foundation of Geometry (book) — Bertrand A. W. RussellThe logic theory machine—A complex information processing system (IRE Transactions on Information Theory) — Allen Newell, Herbert SimonThe Traveling-Salesman Problem (Operations Research) — Merrill M. FloodThe Chemical Basis of Morphogenesis (Philosophical Transactions of the Royal Society B: Biological Sciences) — Alan Mathison TuringFoundations of geometry (book) — D. HilbertI, Robot (book) — Isaac AsimovI.—Computing Machinery and Intelligence (Mind) — Alan Mathison TuringDe Inventione, De Optimo Genere Oratorum, Topica (book) — Marcus Tullius CiceroA Mathematical Theory of Communication (The Bell System Technical Journal) — Claude E. ShannonA Mathematical Theory of Communication (The Bell System Technical Journal) — Claude E. ShannonPrinciples of Self-Organizing Dynamic Systems (The Journal of General Psychology) — W. Ross AshbyThe Algebra of Topology (Annals of Mathematics) — John Charles Chenoweth McKinsey, Alfred TarskiSystems of Logic Based on Ordinals (Proceedings of the London Mathematical Society) — Alan Mathison TuringOn 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ödelPrincipia Mathematica (book) — Alfred North Whitehead, Bertrand RussellRelativity: The Special and the General Theory (book) — Albert EinsteinCreative Evolution (book) — Henri BergsonEcce Homo. Wie man wird, was man ist (book) — Friedrich NietzscheL'évolution créatrice (book) — Henri BergsonHow to Make Our Ideas Clear (Popular Science Monthly) — Charles Sanders PeirceThe Hunting of the Snark (book) — Lewis CarrollCours de philosophie positive (book) — Auguste ComtePhilosophical Essays Concerning Human Understanding (book) — David HumeDiscorsi e dimostrazioni matematiche, intorno à due nuove scienze attenenti alla mecanica & i movimenti locali (book) — Galileo Galilei