The following page indexes Giovanni Ciatto's publications in the
APICe space
by author.
Currently, the
APICe space contains 34 Giovanni Ciatto's publications by
27 co-authors.
A
|
B
|
C
|
D
| E
|
F
| G
| H
| I
| J
| K
|
L
|
M
| N
|
O
|
P
| Q
|
R
|
S
| T
| U
|
V
| W
| X
| Y
|
Z
| B | [top] |
|---|
| Bosello, Michael | Comparative Analysis of Blockchain Technologies under a Coordination Perspective |
| C | [top] |
|---|
| Calegari, Roberta | Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
From the Blockchain to Logic Programming and Back: Research Perspectives
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
2P-Kt: logic programming with objects & functions in Kotlin
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
Neuro-symbolic Computation for XAI: Towards a Unified Model
Preface
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
On the integration of symbolic and sub-symbolic techniques for XAI: A survey
Towards XMAS: eXplainability through Multi-Agent Systems |
| Calvaresi, Davide | An Abstract Framework for Agent-Based Explanations in AI
Agent-Based Explanations in AI: Towards an Abstract Framework
Towards XMAS: eXplainability through Multi-Agent Systems |
| Casadei, Roberto | Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain |
| Caselli, Ashley | Engineering Semantic Self-composition of Services Through Tuple-Based Coordination |
| Ciatto, Giovanni | Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
An Abstract Framework for Agent-Based Explanations in AI
Agent-Based Explanations in AI: Towards an Abstract Framework
Towards Agent-oriented Blockchains: Autonomous Smart Contracts
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
From the Blockchain to Logic Programming and Back: Research Perspectives
From Agents to Blockchain: Stairway to Integration
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
2P-Kt: logic programming with objects & functions in Kotlin
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
Neuro-symbolic Computation for XAI: Towards a Unified Model
Preface – AI&IoT 2019
Preface
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
ReSpecTX: Programming Interaction Made Easy
Programming the Interaction Space Effectively with ReSpecTX
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
Spiking Neural Networks as Timed Automata
Formal Validation of Neural Networks as Timed Automata
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
TuSoW: Tuple Spaces for Edge Computing
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
On the integration of symbolic and sub-symbolic techniques for XAI: A survey
Towards XMAS: eXplainability through Multi-Agent Systems |
| D | [top] |
|---|
| De Maria, Elisabetta | Spiking Neural Networks as Timed Automata
Formal Validation of Neural Networks as Timed Automata |
| Dellaluce, Jason | Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI |
| Denti, Enrico | From the Blockchain to Logic Programming and Back: Research Perspectives
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
2P-Kt: logic programming with objects & functions in Kotlin
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Logic Programming in Space-Time: The Case of Situatedness in LPaaS |
| Denti, Enrico | Preface |
| Di Giusto, Cinzia | Spiking Neural Networks as Timed Automata
Formal Validation of Neural Networks as Timed Automata |
| Di Marzo Serugendo, Giovanna | Twenty years of coordination technologies: COORDINATION contribution to the state of art
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination |
| F | [top] |
|---|
| Fortino, Giancarlo | Preface – AI&IoT 2019 |
| L | [top] |
|---|
| Louvel, Maxime | Twenty years of coordination technologies: COORDINATION contribution to the state of art
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives |
| M | [top] |
|---|
| Maffi, Alfredo | Towards Agent-oriented Blockchains: Autonomous Smart Contracts
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Smart Contracts are More than Objects: Pro-activeness on the Blockchain |
| Mariani, Stefano | Towards Agent-oriented Blockchains: Autonomous Smart Contracts
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
From the Blockchain to Logic Programming and Back: Research Perspectives
From Agents to Blockchain: Stairway to Integration
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
ReSpecTX: Programming Interaction Made Easy
Programming the Interaction Space Effectively with ReSpecTX
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
TuSoW: Tuple Spaces for Edge Computing |
| Mascardi, Viviana | Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review |
| O | [top] |
|---|
| Omicini, Andrea | Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
An Abstract Framework for Agent-Based Explanations in AI
Agent-Based Explanations in AI: Towards an Abstract Framework
Towards Agent-oriented Blockchains: Autonomous Smart Contracts
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
From the Blockchain to Logic Programming and Back: Research Perspectives
From Agents to Blockchain: Stairway to Integration
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
2P-Kt: logic programming with objects & functions in Kotlin
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
Neuro-symbolic Computation for XAI: Towards a Unified Model
Preface – AI&IoT 2019
Preface
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
ReSpecTX: Programming Interaction Made Easy
Programming the Interaction Space Effectively with ReSpecTX
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
TuSoW: Tuple Spaces for Edge Computing
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
On the integration of symbolic and sub-symbolic techniques for XAI: A survey
Towards XMAS: eXplainability through Multi-Agent Systems |
| P | [top] |
|---|
| Pianini, Danilo | Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain |
| Pisano, Giuseppe | Neuro-symbolic Computation for XAI: Towards a Unified Model |
| R | [top] |
|---|
| Rizzato, Lorenzo | TuSoW: Tuple Spaces for Edge Computing |
| S | [top] |
|---|
| Sartor, Giovanni | Preface |
| Savaglio, Claudio | Preface – AI&IoT 2019 |
| Schumacher, Michael I. | An Abstract Framework for Agent-Based Explanations in AI
Agent-Based Explanations in AI: Towards an Abstract Framework |
| Siboni, Enrico | 2P-Kt: logic programming with objects & functions in Kotlin |
| V | [top] |
|---|
| Viroli, Mirko | Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain |
| Z | [top] |
|---|
| Zambonelli, Franco | From Agents to Blockchain: Stairway to Integration
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives |
0000-0002-1841-8996