Per anno
Per anno
121 pubblicazioni con DBLP Key / 1990–2022
- CILC 2022 – Italian Conference on Computational Logic
- 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
- Arg2P: An argumentation framework for explainable intelligent systems
- Burden of Persuasion in Meta-argumentation
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model
- GNN2GNN: Graph Neural Networks to Generate Neural Networks
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors
- 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
- GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors
- 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
- Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search
- 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
- 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
- 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
- Neuro-symbolic Computation for XAI: Towards a Unified Model
- Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
- Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation
- Smart Contracts are More than Objects: Pro-activeness on the Blockchain
- Complementing Agents with Cognitive Services: A Case Study in Healthcare
- 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
- TuSoW: Tuple Spaces for Edge Computing
- ViTALiSE: Virtual to Augmented Loop in Smart Environments
- Towards XMAS: eXplainability through Multi-Agent Systems
- Towards Agent-oriented Blockchains: Autonomous Smart Contracts
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
- 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
- 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 Argumentation-based Recommendations for Personalised Patient Empowerment
- Towards the Web of Augmented Things
- Programming the Interaction Space Effectively with ReSpecTX
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
- Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea
- Towards a Foundational API for Resilient Distributed Systems Design
- 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
- State-of-the-Art and Trends in Nature-inspired Coordination Models
- 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
- Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section
- 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
- 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
- Smart Augmented Fields for Emergency Operations
- Neural Machine Translation by Jointly Learning to Align and Translate
- Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
- Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
- Computational Fields Meet Augmented Reality: Perspectives and Challenges