Per Year
Per Year
348 publications with IRIS ID / 1927–2023
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2002 | 2001 | 1999
- CILC 2022 – Italian Conference on Computational Logic
- Probabilistic logic programming in 2P-Kt
- Towards Quality-of-Service Metrics for Symbolic Knowledge Injection
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments
- Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021)
- KINS: Knowledge Injection via Network Structuring
- Semantic Web-based Interoperability for Intelligent Agents with PSyKE
- A view to a KILL: Knowledge Injection via Lambda Layer
- Fifty Years of Prolog and Beyond
- Arg2P: An argumentation framework for explainable intelligent systems
- Burden of Persuasion in Meta-argumentation
- Pervasive and Connected Digital Twins - A Vision for Digital Health
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022)
- How to model contrary-to-duty with GCP-nets
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model
- GNN2GNN: Graph Neural Networks to Generate Neural Networks
- Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021)
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
- Burdens of Persuasion and Standards of Proof in Structured Argumentation
- An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing
- WOA 2021 – 22nd Workshop “From Objects to Agents”
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming
- Preface
- Argumentation and Defeasible Reasoning in the Law
- Towards Explainable Visionary Agents: License to Dare and Imagine
- GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors
- Explainability through argumentation in logic programming
- Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
- On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction
- Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge
- Burden of persuasion in argumentation: A meta-argumentation approach
- The Burden of Persuasion in Structured Argumentation
- DETONAR: Detection of Routing Attacks in RPL-based IoT
- Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search
- Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices
- MDE & MDA in a Multi-Paradigm Modeling Perspective
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P
- Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System
- Programming Agent-Based Mobile Apps: The JaCa-Android Framework
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI
- Towards cooperative argumentation for MAS: An actor-based approach
- Agent-based Modelling in Multicellular Systems Biology
- From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities
- Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices
- WOA 2020 – 21st Workshop “From Objects to Agents”
- Real-time tracking and documentation in trauma management
- On the Integration of Agents and Digital Twins in Healthcare
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey
- Not just for humans: Explanation for agent-to-agent communication
- The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices
- Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform
- Arg-tuProlog: a modular logic argumentation tool for PIL
- A Model for the Burden of Persuasion in Argumentation
- Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models
- Computable Law as Argumentation-based MAS
- An Abstract Framework for Agent-Based Explanations in AI
- Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
- Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project
- Arg-tuProlog: A tuProlog-based argumentation framework
- Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models
- Special Issue “Multi-Agent Systems”: Editorial
- Neuro-symbolic Computation for XAI: Towards a Unified Model
- Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
- Preface
- Burden of Persuasion in Argumentation
- Multi-Agent Systems 2019
- Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation
- Smart Contracts are More than Objects: Pro-activeness on the Blockchain
- Agent-Based Explanations in AI: Towards an Abstract Framework
- Argumentation and Logic Programming for Explainable and Ethical AI
- 2P-Kt: logic programming with objects & functions in Kotlin
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
- Twenty years of coordination technologies: COORDINATION contribution to the state of art
- From Agents to Blockchain: Stairway to Integration
- TuSoW: Tuple Spaces for Edge Computing
- A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN
- Preface – AI&IoT 2019
- Special Issue “Multi-Agent Systems”: Editorial
- ViTALiSE: Virtual to Augmented Loop in Smart Environments
- Preface
- Towards XMAS: eXplainability through Multi-Agent Systems
- Towards Agent-oriented Blockchains: Autonomous Smart Contracts
- AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
- Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models
- BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting
- Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
- Comparative Analysis of Blockchain Technologies under a Coordination Perspective
- Multi-Agent Systems
- Democratic Process and Digital Platforms: An Engineering Perspective
- Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
- Defeasible Systems in Legal Reasoning: A Comparative Assessment
- Intelligent Agents and Environment
- Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
- The Future of Digital Democracy. An Interdisciplinary Approach
- Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management
- Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
- Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework
- Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
- Logic Programming as a Service
- ReSpecTX: Programming Interaction Made Easy
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
- A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS
- From the Blockchain to Logic Programming and Back: Research Perspectives
- Spatial Tuples: Augmenting Reality with Tuples
- Extending Logic Programming with Labelled Variables: Model and Semantics
- Towards the Web of Augmented Things
- Programming the Interaction Space Effectively with ReSpecTX
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
- Agent-based Modelling in Multicellular Systems Biology
- Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea
- Formal Validation of Neural Networks as Timed Automata
- Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
- Context Reasoning and Prediction in Smart Environments: the Home Manager case
- State-of-the-Art and Trends in Nature-inspired Coordination Models
- Spiking Neural Networks as Timed Automata
- Logic Programming as a Service (LPaaS): Intelligence for the IoT
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
- Aggregate plans for multiagent systems
- Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
- Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study
- Labelled Variables in Logic Programming: Foundations
- Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies
- The Butlers Framework for Socio-Technical Smart Spaces
- Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
- Spatial awareness in pervasive ecosystems
- Building Smart Spaces on the Home Manager platform
- Towards Logic Programming as a Service: Experiments in tuProlog
- An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development
- Challenges of Decentralized Coordination in Large-scale Ubicomp Systems
- Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
- The Autonomy of Technological Systems and Responsibilities for their Use
- Game Engines to Model MAS: A Research Roadmap
- Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases
- Foreward by Prof. Andrea Omicini
- Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions
- Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
- Smart Augmented Fields for Emergency Operations
- Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks
- Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
- Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
- Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
- A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation
- Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions
- Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
- Preface
- Labelled Variables in Logic Programming: A First Prototype in tuProlog
- Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
- Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
- PRIMA 2015: Principles and Practice of Multi-Agent Systems
- Computational Fields Meet Augmented Reality: Perspectives and Challenges
- On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates
- TuCSoN Coordination for MAS Situatedness: Towards a Methodology
- Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014
- Novel pervasive scenarios for home management: the Butlers architecture
- Coordination-aware Elasticity
- The SODA Methodology: Meta-Model and Process Documentation
- Coordination in Situated Systems: Engineering MAS Environment in TuCSoN
- Preface
- Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives
- Argumentation and Artifacts for Negotiation Support
- Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto
- The IEEE-FIPA Standard on the Design Process Documentation Template
- Extending a Smart Home Multi-Agent System with Role-Based Access Control
- The Gaia Methodology Process
- Introduction
- Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems
- Coordination for Situated MAS: Towards an Event-driven Architecture
- Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction
- tuProlog: Making Prolog Ubiquitous
- Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages
- MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes
- Engineering Pervasive Multiagent Systems in SAPERE
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study
- Tuple-based Coordination of Stochastic Systems with Uniform Primitives
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
- Probabilistic Modular Embedding for Stochastic Coordinated Systems
- Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine
- Semantic Tuple Centres
- TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination
- Engineering Pervasive Multiagent Systems in SAPERE
- Collaborative Learning and ICT: A Prototypal Learning Environment
- A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways
- Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes
- Nature-inspired Coordination Models: Current Status, Future Trends
- Nature-inspired Coordination for Complex Distributed Systems
- Space-aware Coordination in ReSpecT
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
- Molecules of Knowledge: A Novel Perspective over Knowledge Management
- Agents Writing on Walls: Cognitive Stigmergy and Beyond
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
- VPN - Client-server object-oriented virtual plant modeling tool
- On the Space-time Situation of Pervasive Service Ecosystems
- ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions
- Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
- Self-Organising News Management: The Molecules of Knowledge Approach
- 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)
- Self-aware Pervasive Service Ecosystems
- Description Spaces with Fuzziness
- Declarative Agent Languages and Technologies VIII
- Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems
- Towards a logic framework for Web programming
- Coordination Models and Languages: From Parallel Computing To Self-Organisation
- BaSi: Multi-Agent Based Simulation for Medieval Battles
- Special Issue “Infrastructures and Tools for Multiagent Systems”
- Preface
- Processes Engineering and AOSE
- Adaptable Multi-Agent Systems: The Case of the Gaia Methodology
- Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
- Self-organising Knowledge-intensive Workspaces
- A Multiscale Agent-based Model of Morphogenesis in Biological Systems
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
- WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*
- Process Documentation Standardization: An Initial Evaluation
- Agent-based Conference Management: A Case Study in SODA
- Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study
- HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
- Documenting SODA: An Evaluation of the Process Documentation Template
- An Agent-based Model for the Pattern Formation in Drosophila Melanogaster
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
- Building an Agent Methodology from Fragments: the MEnSA experience
- Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How?
- Self Organization in Coordination Systems using a WordNet-based Ontology
- Argumentation and Artifacts for Negotiation Support
- Situated Tuple Centres in ReSpecT
- A Semantic eScience Portal for International Scientific and Academic Cooperation
- Special Track on: Agent-Oriented Software Engineering Methodologies and Systems
- Environment Programming in CArtAgO
- General-Purpose Coordination Abstractions for Managing Interaction in MAS
- RBAC-MAS & SODA: Experimenting RBAC in AOSE
- An Agent-based Application for Home Intelligence
- Argumentation and Artifact for Dialogue Support
- A Framework for Modelling and Implementing Self-Organising Coordination
- Towards a Logic Language and Framework for Web Programming
- Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
- Environment in Agent-Oriented Software Engineering Methodologies
- Combining Simulation and Formal Tools for Developing Self-Organizing MAS
- Agents, Intelligence, and Tools
- An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis
- Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
- Towards a Logic Language and Framework for Web Programming
- Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education
- Toward a Framework for Collaborative Learning based on Agent-based Technologies
- Artifacts in the A&A Meta-Model for Multi-Agent Systems
- Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model
- A Logic Programming Model for Web Resources
- From AO Methodologies to MAS Infrastructures: The SODA Case Study
- Arguments and Artifacts for Dispute Resolution
- Situating A&A ReSpecT for Pervasive Environment Applications
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
- SPEM on Test: the SODA Case Study
- Prototyping A&A ReSpecT in Maude
- The A&A Programming Model and Technology for Developing Agent Environments in MAS
- Special Issue “Agents, Institutions and Legal Theory”
- Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
- Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model
- Agent-Based Collaboration Systems: A Case Study
- A&A for Modelling and Engineering Simulations in Systems Biology
- A Multi-Theory Logic Programming Language for the World Wide Web
- On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition
- Argumentation and Artifact for Dialogue Support
- Co-Argumentation Artifact for Agent Societies
- Smart Environments as Agent Workspaces
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
- Automating Workflow using Dialectical Argumentation
- A Multi-Theory Logic Language for the World Wide Web
- Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
- Experimenting with Stochastic Prolog as a Simulation Language
- The Architecture and Design of a Malleable Object-Oriented Prolog Engine
- Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
- Timed Environment for Web Agents
- Introduction to the Special Issue: The AgentLink III Technical Forums
- Preface
- On the Interplay of Crosscutting and MAS-Specific Styles
- Building Smart Environments as Agent Workspaces
- “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
- Environment as a First Class Abstraction in Multi-Agent Systems
- Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
- Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
- Simulating Minority Game with TuCSoN
- Minority Game: A Logic-Based Approach in TuCSoN
- Operating Instructions for Intelligent Agent Coordination
- SODA: A Roadmap to Artefacts
- Agent Coordination Contexts in a MAS Coordination Infrastructure
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
- Zooming Multi-Agent Systems
- Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
- Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN
- Distributed Workflow upon Linkable Coordination Artifacts
- Coordination as a Service
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
- 4th European Workshop on Multi-Agent Systems (EUMAS 2006)
- Declarative Agent Languages and Technologies III
- Simulation of Minority Game in TuCSoN
- Multiagent Systems
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
- SODA: A Roadmap to Artefacts
- Multi-paradigm Java-Prolog Integration in tuProlog
- Preface
- Zooming Multi-Agent Systems
- Engineering Societies in the Agents World V
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
- An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
- Preface
- The AgentLink III Technical Forums: Introduction to the Special Issue
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts
- Process-Algebraic Approaches for Multi-Agent Systems: An Overview
- Declarative Agent Languages and Technologies II
- The Second AgentLink III Technical Forum
- Coordination and Collaboration Activities in Cooperative Information Systems
- Preface
- Integrating Objective & Subjective Coordination in Multi-Agent Systems
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
- Multi-agent Infrastructures for Objective and Subjective Coordination
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents
- Role-Based Access Control in MAS using Agent Coordination Contexts
- MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN
- Open Directions in Agent-Oriented Software Engineering
- Challenges and Research Directions in Agent-Oriented Software Engineering
- Towards Seamless Agent Middleware
- Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004)
- Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004)
- Declarative Agent Languages and Technologies
- Message from the Program Chairs
- LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents
- From Tuple Spaces to Tuple Centres
- Formal ReSpecT