Per tipo

79 articoli in rivista / Andrea Omicini

long bib

articoli in rivista

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (ACM Computing Surveys, 2024) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
From Large Language Models to Small Logic Programs: Building Global Explanations from Disagreeing Local Post-hoc Explainers (Autonomous Agents and Multi-Agent Systems, 2024) — Andrea Agiollo, Luciano Cavalcante Siebert, Pradeep Kumar Murukannaiah, Andrea Omicini
EneA-FL: Energy-aware Orchestration for Serverless Federated Learning (Future Generation Computer Systems, 2024) — Andrea Agiollo, Paolo Bellavista, Matteo Mendula, Andrea Omicini
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (Journal of Logic and Computation, 2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Burden of Persuasion: A Meta-argumentation Approach (Journal of Applied Logics, 2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (Autonomous Agents and Multi-Agent Systems, 2023) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (Computer Methods and Programs in Biomedicine, 2023) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (Intelligenza Artificiale, 2023) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Arg2P: An argumentation framework for explainable intelligent systems (Journal of Logic and Computation, 2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (Intelligenza Artificiale, 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (Autonomous Agents and Multi-Agent Systems, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (Applied Sciences, 2021) — Andrea Agiollo, Andrea Omicini
Twenty years of coordination technologies: COORDINATION contribution to the state of art (Journal of Logical and Algebraic Methods in Programming, 2020) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information, 2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
From Agents to Blockchain: Stairway to Integration (Applied Sciences, 2020) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale, 2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (Complexity, 2020) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (International Journal of Grid and Utility Computing, 2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems, 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Spatial Tuples: Augmenting Reality with Tuples (Expert Systems, 2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Logic Programming as a Service (Theory and Practice of Logic Programming, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study (SIMULATION: Transactions of the Society for Modeling and Simulation International, 2017) — Sara Montagna, Andrea Omicini
State-of-the-Art and Trends in Nature-inspired Coordination Models (The IEEE Intelligent Informatics Bulletin, 2017) — Stefano Mariani, Andrea Omicini
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (Engineering Applications of Artificial Intelligence, 2015) — Stefano Mariani, Andrea Omicini
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (Pervasive and Mobile Computing, 2015) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (SCS M&S Magazine, 2014) — Stefano Mariani, Andrea Omicini
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (Journal of Simulation, 2013) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
Semantic Tuple Centres (Science of Computer Programming, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (Intelligenza Artificiale, 2013) — Andrea Omicini, Stefano Mariani
tuProlog: Making Prolog Ubiquitous (ALP Newsletter, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
Nature-inspired Coordination Models: Current Status, Future Trends (ISRN Software Engineering, 2013) — Andrea Omicini
Towards a logic framework for Web programming (Intelligenza Artificiale, 2011) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review, 2011) — Andrea Omicini, Mirko Viroli
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (International Journal of Software Engineering and Knowledge Engineering, 2011) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
Argumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence, 2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Agent-based Conference Management: A Case Study in SODA (International Journal of Agent-Oriented Software Engineering, 2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems, 2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Smart Environments as Agent Workspaces (Ubiquitous Computing and Communication Journal, 2008) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Automating Workflow using Dialectical Argumentation (IADIS International Journal on Computer Science and Information Systems, 2008) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A&A for Modelling and Engineering Simulations in Systems Biology (International Journal of Agent-Oriented Software Engineering, 2008) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Timed Environment for Web Agents (Web Intelligence and Agent Systems, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
tuProlog 2.0: One Step Beyond (ALP Newsletter, 2007) — Giulio Piancastelli, Andrea Omicini
Environment as a First Class Abstraction in Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2007) — Danny Weyns, Andrea Omicini, James J. Odell
Multiagent Systems (Intelligenza Artificiale, 2006) — Andrea Omicini, Agostino Poggi
Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Coordination as a Service (Fundamenta Informaticae, 2006) — Mirko Viroli, Andrea Omicini
Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Coordination and Collaboration Activities in Cooperative Information Systems (International Journal of Cooperative Information Systems, 2004) — Andrea Omicini, Sascha Ossowski
Challenges and Research Directions in Agent-Oriented Software Engineering (Autonomous Agents and Multi-Agent Systems, 2004) — Franco Zambonelli, Andrea Omicini
Open Directions in Agent-Oriented Software Engineering (UPGRADE: The European Journal for the Informatics Professional, 2004) — Franco Zambonelli, Andrea Omicini
Reasoning about Organisation: Shaping the Infrastructure (AI*IA Notizie, 2003) — Andrea Omicini, Alessandro Ricci
Modelling Agents as Observable Sources (Journal of Universal Computer Science, 2002) — Mirko Viroli, Andrea Omicini
Virtual Enterprises and Workflow Management as Agent Coordination Issues (International Journal of Cooperative Information Systems, 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Coordination Knowledge Engineering (The Knowledge Engineering Review, 2002) — Sascha Ossowski, Andrea Omicini
Coordination Tools for MAS Development and Deployment (Applied Artificial Intelligence, 2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (Autonomous Agents and Multi-Agent Systems, 2001) — Enrico Denti, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie, 2001) — Mirko Viroli, Andrea Omicini
On the Notion of Agent Coordination Context: Preliminary Notes (AI*IA Notizie, 2001) — Andrea Omicini
From Tuple Spaces to Tuple Centres (Science of Computer Programming, 2001) — Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN (AI*IA Notizie, 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
An Architecture for Tuple-based Coordination of Multi-Agent Systems (Software: Practice and Experience, 1999) — Enrico Denti, Andrea Omicini
Coordination for Internet Application Development (Autonomous Agents and Multi-Agent Systems, 1999) — Andrea Omicini, Franco Zambonelli
Coordination Models for Multi-Agent Systems (AgentLink News, 1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination Technologies for Internet Agents (Nordic Journal of Computing, 1999) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Co-ordination of Mobile Information Agents in TuCSoN (Internet Research, 1998) — Andrea Omicini, Franco Zambonelli

79 articoli in rivista • in cima • indice • in fondo