Journal & Series Index

Last modified by Andrea Omicini on 21/10/2020 14:57

Giovanni Ciatto's Journal & Series Index

The following page indexes Giovanni Ciatto's publications in the APICe space by journal & series. Currently, the APICe space contains 28 Giovanni Ciatto's publications on 14 journals and series.

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

A	[top]
AAMAS '20	An Abstract Framework for Agent-Based Explanations in AI
Advances in Intelligent Systems and Computing	Smart Contracts are More than Objects: Pro-activeness on the Blockchain
Applied Sciences	From Agents to Blockchain: Stairway to Integration
Autonomous Agents and Multi-Agent Systems	Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
B	[top]
Big Data and Cognitive Computing	LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
C	[top]
CEUR Workshop Proceedings	From the Blockchain to Logic Programming and Back: Research Perspectives Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing 2P-Kt: logic programming with objects & functions in Kotlin Neuro-symbolic Computation for XAI: Towards a Unified Model Preface – AI&IoT 2019 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 Towards XMAS: eXplainability through Multi-Agent Systems
Communications in Computer and Information Science	Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Computer Science and Information Systems	ReSpecTX: Programming Interaction Made Easy
I	[top]
Information	Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
Intelligenza Artificiale	On the integration of symbolic and sub-symbolic techniques for XAI: A survey
J	[top]
Journal of Logical and Algebraic Methods in Programming	Twenty years of coordination technologies: COORDINATION contribution to the state of art
L	[top]
Lecture Notes in Computer Science	Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt Agent-Based Explanations in AI: Towards an Abstract Framework Towards Agent-oriented Blockchains: Autonomous Smart Contracts Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines Engineering Semantic Self-composition of Services Through Tuple-Based Coordination Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
P	[top]
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17)	Formal Validation of Neural Networks as Timed Automata
S	[top]
Studies in Computational Intelligence	Programming the Interaction Space Effectively with ReSpecTX