�ݺ�ߣshows by User: gciatto

�ݺ�ߣshows by User: gciatto / http://www.slideshare.net/images/logo.gif �ݺ�ߣshows by User: gciatto / Tue, 15 Sep 2020 20:53:32 GMT �ݺ�ߣShare feed for �ݺ�ߣshows by User: gciatto An Abstract Framework for Agent-Based Explanations in AI /gciatto/an-abstract-framework-for-agentbased-explanations-in-ai ccsoaamas2020talk-200915205332
We propose an abstract framework for XAI based on MAS encompassing the main definitions and results from the literature, focussing on the key notions of interpretation and explanation. ]]>
We propose an abstract framework for XAI based on MAS encompassing the main definitions and results from the literature, focussing on the key notions of interpretation and explanation. ]]> Tue, 15 Sep 2020 20:53:32 GMT /gciatto/an-abstract-framework-for-agentbased-explanations-in-ai gciatto@slideshare.net(gciatto) An Abstract Framework for Agent-Based Explanations in AI gciatto We propose an abstract framework for XAI based on MAS encompassing the main definitions and results from the literature, focussing on the key notions of interpretation and explanation. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ccsoaamas2020talk-200915205332-thumbnail.jpg?width=120&height=120&fit=bounds" /> We propose an abstract framework for XAI based on MAS encompassing the main definitions and results from the literature, focussing on the key notions of interpretation and explanation.

An Abstract Framework for Agent-Based Explanations in AI from Giovanni Ciatto

]]> 172 0 https://cdn.slidesharecdn.com/ss_thumbnails/ccsoaamas2020talk-200915205332-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 2P-Kt: logic programming with objects & functions in Kotlin /slideshow/2pkt-logic-programming-with-objects-functions-in-kotlin/238496861 woa-2020-prolog-dsl-talk-200915204748
Mainstream programming languages nowadays tends to be more and more multi-paradigm ones, by integrating diverse programming paradigms -- e.g., object-oriented programming (OOP) and functional programming (FP). Logic-programming (LP) is a successful paradigm that has contributed to many relevant results in the areas of symbolic AI and multi-agent systems, among the others. Whereas Prolog, the most successful LP language, is typically integrated with mainstream languages via foreign language interfaces, in this paper we propose an alternative approach based on the notion of domain-specific language (DSL), which makes LP available to OOP programmers straightforwardly within their OO language of choice. In particular, we present a Kotlin DSL for Prolog, showing how the Kotlin multi-paradigm (OOP + FP) language can be enriched with LP in a straightforward and effective way. Since it is based on the interoperable 2P-Kt project, our technique also enables the creation of similar DSL on top of other high-level languages such as Scala or JavaScript -- thus paving the way towards a more general adoption of LP in general-purpose programming environments. ]]>
Mainstream programming languages nowadays tends to be more and more multi-paradigm ones, by integrating diverse programming paradigms -- e.g., object-oriented programming (OOP) and functional programming (FP). Logic-programming (LP) is a successful paradigm that has contributed to many relevant results in the areas of symbolic AI and multi-agent systems, among the others. Whereas Prolog, the most successful LP language, is typically integrated with mainstream languages via foreign language interfaces, in this paper we propose an alternative approach based on the notion of domain-specific language (DSL), which makes LP available to OOP programmers straightforwardly within their OO language of choice. In particular, we present a Kotlin DSL for Prolog, showing how the Kotlin multi-paradigm (OOP + FP) language can be enriched with LP in a straightforward and effective way. Since it is based on the interoperable 2P-Kt project, our technique also enables the creation of similar DSL on top of other high-level languages such as Scala or JavaScript -- thus paving the way towards a more general adoption of LP in general-purpose programming environments. ]]> Tue, 15 Sep 2020 20:47:47 GMT /slideshow/2pkt-logic-programming-with-objects-functions-in-kotlin/238496861 gciatto@slideshare.net(gciatto) 2P-Kt: logic programming with objects & functions in Kotlin gciatto Mainstream programming languages nowadays tends to be more and more multi-paradigm ones, by integrating diverse programming paradigms -- e.g., object-oriented programming (OOP) and functional programming (FP). Logic-programming (LP) is a successful paradigm that has contributed to many relevant results in the areas of symbolic AI and multi-agent systems, among the others. Whereas Prolog, the most successful LP language, is typically integrated with mainstream languages via foreign language interfaces, in this paper we propose an alternative approach based on the notion of domain-specific language (DSL), which makes LP available to OOP programmers straightforwardly within their OO language of choice. In particular, we present a Kotlin DSL for Prolog, showing how the Kotlin multi-paradigm (OOP + FP) language can be enriched with LP in a straightforward and effective way. Since it is based on the interoperable 2P-Kt project, our technique also enables the creation of similar DSL on top of other high-level languages such as Scala or JavaScript -- thus paving the way towards a more general adoption of LP in general-purpose programming environments. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/woa-2020-prolog-dsl-talk-200915204748-thumbnail.jpg?width=120&height=120&fit=bounds" /> Mainstream programming languages nowadays tends to be more and more multi-paradigm ones, by integrating diverse programming paradigms -- e.g., object-oriented programming (OOP) and functional programming (FP). Logic-programming (LP) is a successful paradigm that has contributed to many relevant results in the areas of symbolic AI and multi-agent systems, among the others. Whereas Prolog, the most successful LP language, is typically integrated with mainstream languages via foreign language interfaces, in this paper we propose an alternative approach based on the notion of domain-specific language (DSL), which makes LP available to OOP programmers straightforwardly within their OO language of choice. In particular, we present a Kotlin DSL for Prolog, showing how the Kotlin multi-paradigm (OOP + FP) language can be enriched with LP in a straightforward and effective way. Since it is based on the interoperable 2P-Kt project, our technique also enables the creation of similar DSL on top of other high-level languages such as Scala or JavaScript -- thus paving the way towards a more general adoption of LP in general-purpose programming environments.

2P-Kt: logic programming with objects & functions in Kotlin from Giovanni Ciatto

]]> 138 0 https://cdn.slidesharecdn.com/ss_thumbnails/woa-2020-prolog-dsl-talk-200915204748-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Towards XMAS: eXplainability through Multi-Agent Systems /gciatto/towards-xmas-explainability-through-multiagent-systems ccocaiiot2019talk-191125114424
In the context of the Internet of Things (IoT), intelligent systems (IS) are increasingly relying on Machine Learning (ML) techniques. Given the opaqueness of most ML techniques, however, humans have to rely on their intuition to fully understand the IS outcomes: helping them is the target of eXplainable Artificial Intelligence (XAI). Current solutions – mostly too specific, and simply aimed at making ML easier to interpret – cannot satisfy the needs of IoT, characterised by heterogeneous stimuli, devices, and data-types concurring in the composition of complex information structures. Moreover, Multi-Agent Systems (MAS) achievements and advancements are most often ignored, even when they could bring about key features like explainability and trustworthiness. Accordingly, in this paper we (i) elicit and discuss the most significant issues affecting modern IS, and (ii) devise the main elements and related interconnections paving the way towards reconciling interpretable and explainable IS using MAS. ]]>
In the context of the Internet of Things (IoT), intelligent systems (IS) are increasingly relying on Machine Learning (ML) techniques. Given the opaqueness of most ML techniques, however, humans have to rely on their intuition to fully understand the IS outcomes: helping them is the target of eXplainable Artificial Intelligence (XAI). Current solutions – mostly too specific, and simply aimed at making ML easier to interpret – cannot satisfy the needs of IoT, characterised by heterogeneous stimuli, devices, and data-types concurring in the composition of complex information structures. Moreover, Multi-Agent Systems (MAS) achievements and advancements are most often ignored, even when they could bring about key features like explainability and trustworthiness. Accordingly, in this paper we (i) elicit and discuss the most significant issues affecting modern IS, and (ii) devise the main elements and related interconnections paving the way towards reconciling interpretable and explainable IS using MAS. ]]> Mon, 25 Nov 2019 11:44:24 GMT /gciatto/towards-xmas-explainability-through-multiagent-systems gciatto@slideshare.net(gciatto) Towards XMAS: eXplainability through Multi-Agent Systems gciatto In the context of the Internet of Things (IoT), intelligent systems (IS) are increasingly relying on Machine Learning (ML) techniques. Given the opaqueness of most ML techniques, however, humans have to rely on their intuition to fully understand the IS outcomes: helping them is the target of eXplainable Artificial Intelligence (XAI). Current solutions – mostly too specific, and simply aimed at making ML easier to interpret – cannot satisfy the needs of IoT, characterised by heterogeneous stimuli, devices, and data-types concurring in the composition of complex information structures. Moreover, Multi-Agent Systems (MAS) achievements and advancements are most often ignored, even when they could bring about key features like explainability and trustworthiness. Accordingly, in this paper we (i) elicit and discuss the most significant issues affecting modern IS, and (ii) devise the main elements and related interconnections paving the way towards reconciling interpretable and explainable IS using MAS. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ccocaiiot2019talk-191125114424-thumbnail.jpg?width=120&height=120&fit=bounds" /> In the context of the Internet of Things (IoT), intelligent systems (IS) are increasingly relying on Machine Learning (ML) techniques. Given the opaqueness of most ML techniques, however, humans have to rely on their intuition to fully understand the IS outcomes: helping them is the target of eXplainable Artificial Intelligence (XAI). Current solutions – mostly too specific, and simply aimed at making ML easier to interpret – cannot satisfy the needs of IoT, characterised by heterogeneous stimuli, devices, and data-types concurring in the composition of complex information structures. Moreover, Multi-Agent Systems (MAS) achievements and advancements are most often ignored, even when they could bring about key features like explainability and trustworthiness. Accordingly, in this paper we (i) elicit and discuss the most significant issues affecting modern IS, and (ii) devise the main elements and related interconnections paving the way towards reconciling interpretable and explainable IS using MAS.

Towards XMAS: eXplainability through Multi-Agent Systems from Giovanni Ciatto

]]> 141 2 https://cdn.slidesharecdn.com/ss_thumbnails/ccocaiiot2019talk-191125114424-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 TuSoW: Tuple Spaces for Edge Computing /slideshow/tusow-tuple-spaces-for-edge-computing/161942963 cromicccn2019talk-190807121927
Edge Computing is rapidly gaining traction in scenarios such as Cyber-Physical Systems and Web of Things. Whereas the Cloud hides heterogeneity of devices behind its standard interfaces and protocols, the Edge should deal with it, as well as with openness and governing interactions. In this paper we propose TuSoW as a model and technology for bringing tuple-based coordination at the Edge.]]>
Edge Computing is rapidly gaining traction in scenarios such as Cyber-Physical Systems and Web of Things. Whereas the Cloud hides heterogeneity of devices behind its standard interfaces and protocols, the Edge should deal with it, as well as with openness and governing interactions. In this paper we propose TuSoW as a model and technology for bringing tuple-based coordination at the Edge.]]> Wed, 07 Aug 2019 12:19:27 GMT /slideshow/tusow-tuple-spaces-for-edge-computing/161942963 gciatto@slideshare.net(gciatto) TuSoW: Tuple Spaces for Edge Computing gciatto Edge Computing is rapidly gaining traction in scenarios such as Cyber-Physical Systems and Web of Things. Whereas the Cloud hides heterogeneity of devices behind its standard interfaces and protocols, the Edge should deal with it, as well as with openness and governing interactions. In this paper we propose TuSoW as a model and technology for bringing tuple-based coordination at the Edge. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/cromicccn2019talk-190807121927-thumbnail.jpg?width=120&height=120&fit=bounds" /> Edge Computing is rapidly gaining traction in scenarios such as Cyber-Physical Systems and Web of Things. Whereas the Cloud hides heterogeneity of devices behind its standard interfaces and protocols, the Edge should deal with it, as well as with openness and governing interactions. In this paper we propose TuSoW as a model and technology for bringing tuple-based coordination at the Edge.

TuSoW: Tuple Spaces for Edge Computing from Giovanni Ciatto

]]> 608 4 https://cdn.slidesharecdn.com/ss_thumbnails/cromicccn2019talk-190807121927-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Comparative Analysis of Blockchain Technologies under a Coordination Perspective /slideshow/comparative-analysis-of-blockchain-technologies-under-a-coordination-perspective/152363658 cbmo-bct4mas2019-talk-190628095934
Many research works apply blockchain technologies to several different application domains ranging from supply chain and logistics to healthcare and real-estate. There, nevertheless, the blockchain performs the same two core tasks: identity management and asset tracking. In this paper we analyse how the blockchain can be exploited beyond these traditional tasks, towards coordination of distributed processes. To this end, we design and develop proof-of-concept implementations of the Linda model on top of different blockchains, and compare their strengths and shortcomings.]]>
Many research works apply blockchain technologies to several different application domains ranging from supply chain and logistics to healthcare and real-estate. There, nevertheless, the blockchain performs the same two core tasks: identity management and asset tracking. In this paper we analyse how the blockchain can be exploited beyond these traditional tasks, towards coordination of distributed processes. To this end, we design and develop proof-of-concept implementations of the Linda model on top of different blockchains, and compare their strengths and shortcomings.]]> Fri, 28 Jun 2019 09:59:34 GMT /slideshow/comparative-analysis-of-blockchain-technologies-under-a-coordination-perspective/152363658 gciatto@slideshare.net(gciatto) Comparative Analysis of Blockchain Technologies under a Coordination Perspective gciatto Many research works apply blockchain technologies to several different application domains ranging from supply chain and logistics to healthcare and real-estate. There, nevertheless, the blockchain performs the same two core tasks: identity management and asset tracking. In this paper we analyse how the blockchain can be exploited beyond these traditional tasks, towards coordination of distributed processes. To this end, we design and develop proof-of-concept implementations of the Linda model on top of different blockchains, and compare their strengths and shortcomings. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/cbmo-bct4mas2019-talk-190628095934-thumbnail.jpg?width=120&height=120&fit=bounds" /> Many research works apply blockchain technologies to several different application domains ranging from supply chain and logistics to healthcare and real-estate. There, nevertheless, the blockchain performs the same two core tasks: identity management and asset tracking. In this paper we analyse how the blockchain can be exploited beyond these traditional tasks, towards coordination of distributed processes. To this end, we design and develop proof-of-concept implementations of the Linda model on top of different blockchains, and compare their strengths and shortcomings.

Comparative Analysis of Blockchain Technologies under a Coordination Perspective from Giovanni Ciatto

]]> 274 2 https://cdn.slidesharecdn.com/ss_thumbnails/cbmo-bct4mas2019-talk-190628095934-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Smart Contracts are More than Objects: Pro-activeness on the Blockchain /slideshow/smart-contracts-are-more-than-objects-proactiveness-on-the-blockchain/152363561 cmmo-bcc2019-talk-190628095743
In this this paper we focus on the expressiveness of smart contracts (SC) and its role in blockchain technologies (BCT), by presenting Tenderfone, a prototypical blockchain platform providing SC as pro-active, time-aware, and asynchronous entities.]]>
In this this paper we focus on the expressiveness of smart contracts (SC) and its role in blockchain technologies (BCT), by presenting Tenderfone, a prototypical blockchain platform providing SC as pro-active, time-aware, and asynchronous entities.]]> Fri, 28 Jun 2019 09:57:43 GMT /slideshow/smart-contracts-are-more-than-objects-proactiveness-on-the-blockchain/152363561 gciatto@slideshare.net(gciatto) Smart Contracts are More than Objects: Pro-activeness on the Blockchain gciatto In this this paper we focus on the expressiveness of smart contracts (SC) and its role in blockchain technologies (BCT), by presenting Tenderfone, a prototypical blockchain platform providing SC as pro-active, time-aware, and asynchronous entities. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/cmmo-bcc2019-talk-190628095743-thumbnail.jpg?width=120&height=120&fit=bounds" /> In this this paper we focus on the expressiveness of smart contracts (SC) and its role in blockchain technologies (BCT), by presenting Tenderfone, a prototypical blockchain platform providing SC as pro-active, time-aware, and asynchronous entities.

Smart Contracts are More than Objects: Pro-activeness on the Blockchain from Giovanni Ciatto

]]> 218 10 https://cdn.slidesharecdn.com/ss_thumbnails/cmmo-bcc2019-talk-190628095743-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Towards Agent-oriented Blockchains: Autonomous Smart Contracts /slideshow/towards-agentoriented-blockchains-autonomous-smart-contracts/152363431 cmmo-paams2019-talk-190628095456
Features of blockchain technology (BCT) such as decentralisation, trust, fault tolerance, and accountability, are of paramount importance for multi-agent systems (MAS). In this paper we argue that a principled approach to MAS-BCT integration cannot overlook the foundational character of agency—that is, autonomy. Accordingly, we present a custom BCT implementation where autonomy is placed in smart contracts (SC) interpreted as software agents. We show how agency can enhance SC expressiveness with autonomy, situatedness, sociality, and intelligence, and highlight the limitations of state-of-art BCT in supporting MAS design and implementation.]]>
Features of blockchain technology (BCT) such as decentralisation, trust, fault tolerance, and accountability, are of paramount importance for multi-agent systems (MAS). In this paper we argue that a principled approach to MAS-BCT integration cannot overlook the foundational character of agency—that is, autonomy. Accordingly, we present a custom BCT implementation where autonomy is placed in smart contracts (SC) interpreted as software agents. We show how agency can enhance SC expressiveness with autonomy, situatedness, sociality, and intelligence, and highlight the limitations of state-of-art BCT in supporting MAS design and implementation.]]> Fri, 28 Jun 2019 09:54:56 GMT /slideshow/towards-agentoriented-blockchains-autonomous-smart-contracts/152363431 gciatto@slideshare.net(gciatto) Towards Agent-oriented Blockchains: Autonomous Smart Contracts gciatto Features of blockchain technology (BCT) such as decentralisation, trust, fault tolerance, and accountability, are of paramount importance for multi-agent systems (MAS). In this paper we argue that a principled approach to MAS-BCT integration cannot overlook the foundational character of agency—that is, autonomy. Accordingly, we present a custom BCT implementation where autonomy is placed in smart contracts (SC) interpreted as software agents. We show how agency can enhance SC expressiveness with autonomy, situatedness, sociality, and intelligence, and highlight the limitations of state-of-art BCT in supporting MAS design and implementation. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/cmmo-paams2019-talk-190628095456-thumbnail.jpg?width=120&height=120&fit=bounds" /> Features of blockchain technology (BCT) such as decentralisation, trust, fault tolerance, and accountability, are of paramount importance for multi-agent systems (MAS). In this paper we argue that a principled approach to MAS-BCT integration cannot overlook the foundational character of agency—that is, autonomy. Accordingly, we present a custom BCT implementation where autonomy is placed in smart contracts (SC) interpreted as software agents. We show how agency can enhance SC expressiveness with autonomy, situatedness, sociality, and intelligence, and highlight the limitations of state-of-art BCT in supporting MAS design and implementation.

Towards Agent-oriented Blockchains: Autonomous Smart Contracts from Giovanni Ciatto

]]> 175 7 https://cdn.slidesharecdn.com/ss_thumbnails/cmmo-paams2019-talk-190628095456-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Blockchain and Smart Contracts /slideshow/blockchain-and-smart-contracts-144104922/144104922 sd1819lab10-190507092908
Blockchain & Smart contract talk @ Distributed System course http://apice.unibo.it/xwiki/bin/view/Courses/Sd1819]]>
Blockchain & Smart contract talk @ Distributed System course http://apice.unibo.it/xwiki/bin/view/Courses/Sd1819]]> Tue, 07 May 2019 09:29:08 GMT /slideshow/blockchain-and-smart-contracts-144104922/144104922 gciatto@slideshare.net(gciatto) Blockchain and Smart Contracts gciatto Blockchain & Smart contract talk @ Distributed System course http://apice.unibo.it/xwiki/bin/view/Courses/Sd1819 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/sd1819lab10-190507092908-thumbnail.jpg?width=120&height=120&fit=bounds" /> Blockchain & Smart contract talk @ Distributed System course http://apice.unibo.it/xwiki/bin/view/Courses/Sd1819

Blockchain and Smart Contracts from Giovanni Ciatto

]]> 447 12 https://cdn.slidesharecdn.com/ss_thumbnails/sd1819lab10-190507092908-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 From the Blockchain to Logic Programming and back: Research perspectives /slideshow/from-the-blockchain-to-logic-programming-and-back-research-perspectives-105357620/105357620 blockchain-lp-woa2018-slides-180711141144
The blockchain is a novel approach to support distributed systems enabling a common, consistent view of a shared state among distributed nodes. There, smart contracts are computer programs that allow users to deploy arbitrary computations, in charge of automatically regulate state transitions and enforce properties. In this paper we speculate on how the blockchain and smart contracts could take advantage of a logic programming approach, and, complementarily, on how logic programming can benefit from the blockchain infrastructure. Accordingly, we discuss some possible research directions and open questions for future research. ]]>
The blockchain is a novel approach to support distributed systems enabling a common, consistent view of a shared state among distributed nodes. There, smart contracts are computer programs that allow users to deploy arbitrary computations, in charge of automatically regulate state transitions and enforce properties. In this paper we speculate on how the blockchain and smart contracts could take advantage of a logic programming approach, and, complementarily, on how logic programming can benefit from the blockchain infrastructure. Accordingly, we discuss some possible research directions and open questions for future research. ]]> Wed, 11 Jul 2018 14:11:44 GMT /slideshow/from-the-blockchain-to-logic-programming-and-back-research-perspectives-105357620/105357620 gciatto@slideshare.net(gciatto) From the Blockchain to Logic Programming and back: Research perspectives gciatto The blockchain is a novel approach to support distributed systems enabling a common, consistent view of a shared state among distributed nodes. There, smart contracts are computer programs that allow users to deploy arbitrary computations, in charge of automatically regulate state transitions and enforce properties. In this paper we speculate on how the blockchain and smart contracts could take advantage of a logic programming approach, and, complementarily, on how logic programming can benefit from the blockchain infrastructure. Accordingly, we discuss some possible research directions and open questions for future research. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/blockchain-lp-woa2018-slides-180711141144-thumbnail.jpg?width=120&height=120&fit=bounds" /> The blockchain is a novel approach to support distributed systems enabling a common, consistent view of a shared state among distributed nodes. There, smart contracts are computer programs that allow users to deploy arbitrary computations, in charge of automatically regulate state transitions and enforce properties. In this paper we speculate on how the blockchain and smart contracts could take advantage of a logic programming approach, and, complementarily, on how logic programming can benefit from the blockchain infrastructure. Accordingly, we discuss some possible research directions and open questions for future research.

From the Blockchain to Logic Programming and back: Research perspectives from Giovanni Ciatto

]]> 303 5 https://cdn.slidesharecdn.com/ss_thumbnails/blockchain-lp-woa2018-slides-180711141144-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Logic Programming in Space-Time: The Case of Situatedness in LPaaS /slideshow/logic-programming-in-spacetime-the-case-of-situatedness-in-lpaas/105355268 ccmdo-spatiallpaas-woa2018-180711135309
Situatedness is a fundamental requirement for today’s complex software systems, as well as for the computational models and programming languages used to build them. Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in. To support spatio-temporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of situated intelligence. Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives. ]]>
Situatedness is a fundamental requirement for today’s complex software systems, as well as for the computational models and programming languages used to build them. Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in. To support spatio-temporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of situated intelligence. Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives. ]]> Wed, 11 Jul 2018 13:53:09 GMT /slideshow/logic-programming-in-spacetime-the-case-of-situatedness-in-lpaas/105355268 gciatto@slideshare.net(gciatto) Logic Programming in Space-Time: The Case of Situatedness in LPaaS gciatto Situatedness is a fundamental requirement for today’s complex software systems, as well as for the computational models and programming languages used to build them. Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in. To support spatio-temporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of situated intelligence. Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ccmdo-spatiallpaas-woa2018-180711135309-thumbnail.jpg?width=120&height=120&fit=bounds" /> Situatedness is a fundamental requirement for today’s complex software systems, as well as for the computational models and programming languages used to build them. Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in. To support spatio-temporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of situated intelligence. Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives.

Logic Programming in Space-Time: The Case of Situatedness in LPaaS from Giovanni Ciatto

]]> 383 3 https://cdn.slidesharecdn.com/ss_thumbnails/ccmdo-spatiallpaas-woa2018-180711135309-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Blockchain & Smart Contracts Basics and Perspectives for MAS /slideshow/blockchain-smart-contracts-basics-and-perspectives-for-mas/103299666 woa2018-tutorial-180627152212
Blockchain technology (BCT) enables a common, consistent view of some shared state among agents in distributed systems. Smart contracts (SC) are an emerging computational model allowing users to deploy arbitrary computations on a blockchain-based system. Whereas BCT and SC are currently exploited mostly for financial transactions, identity management, and asset property tracking, they have the potential to positively affect the development of many research and technology areas, such as knowledge-intensive, agent-based, intelligent, and pervasive systems. In this tutorial we introduce the main notions behind BCT and SC, and try to foresee a number of possible research directions which are of potential interest for the WOA community.]]>
Blockchain technology (BCT) enables a common, consistent view of some shared state among agents in distributed systems. Smart contracts (SC) are an emerging computational model allowing users to deploy arbitrary computations on a blockchain-based system. Whereas BCT and SC are currently exploited mostly for financial transactions, identity management, and asset property tracking, they have the potential to positively affect the development of many research and technology areas, such as knowledge-intensive, agent-based, intelligent, and pervasive systems. In this tutorial we introduce the main notions behind BCT and SC, and try to foresee a number of possible research directions which are of potential interest for the WOA community.]]> Wed, 27 Jun 2018 15:22:12 GMT /slideshow/blockchain-smart-contracts-basics-and-perspectives-for-mas/103299666 gciatto@slideshare.net(gciatto) Blockchain & Smart Contracts Basics and Perspectives for MAS gciatto Blockchain technology (BCT) enables a common, consistent view of some shared state among agents in distributed systems. Smart contracts (SC) are an emerging computational model allowing users to deploy arbitrary computations on a blockchain-based system. Whereas BCT and SC are currently exploited mostly for financial transactions, identity management, and asset property tracking, they have the potential to positively affect the development of many research and technology areas, such as knowledge-intensive, agent-based, intelligent, and pervasive systems. In this tutorial we introduce the main notions behind BCT and SC, and try to foresee a number of possible research directions which are of potential interest for the WOA community. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/woa2018-tutorial-180627152212-thumbnail.jpg?width=120&height=120&fit=bounds" /> Blockchain technology (BCT) enables a common, consistent view of some shared state among agents in distributed systems. Smart contracts (SC) are an emerging computational model allowing users to deploy arbitrary computations on a blockchain-based system. Whereas BCT and SC are currently exploited mostly for financial transactions, identity management, and asset property tracking, they have the potential to positively affect the development of many research and technology areas, such as knowledge-intensive, agent-based, intelligent, and pervasive systems. In this tutorial we introduce the main notions behind BCT and SC, and try to foresee a number of possible research directions which are of potential interest for the WOA community.

Blockchain & Smart Contracts Basics and Perspectives for MAS from Giovanni Ciatto

]]> 342 7 https://cdn.slidesharecdn.com/ss_thumbnails/woa2018-tutorial-180627152212-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 A gentle introduction to the Blockchain and Smart Contracts /slideshow/a-gentle-introduction-to-the-blockchain-and-smart-contracts/102142957 agentleintroductiontotheblockchainandsmartcontracts-180612124324
Abstract: The blockchain is a novel approach to distributed systems enabling a common, consistent view of some shared state among distributed agents. Smart contracts are an emerging computational model — heavily influenced by the object oriented one — allowing users to deploy arbitrary computations on a blockchain-based system. They aim at automatically regulating (financial) interactions among individuals or organisations. It turns out that smart contracts are essentially a novel way to perform State Machine Replication, also considering the economical aspects of computations. Despite the very interesting applications envisioned for smart contracts — mostly related to finance, identity management or asset tracking — they are far from perfection because some characteristic traits like, for instance, semantic subtleties within the imperative code, lack control flow encapsulation, source code immutability, and so on. In this talk we gently introduce the blockchain research area with a top-down approach, starting from a general overview of the blockchain's main elements, and moving towards a comprehensive tour of their inter-dependencies. Finally, we present a number of research directions which are of interest for our team, mainly aimed at evaluating the consequences of combining the blockchain techonology and the smart contract abstraction with other programming paradigms and computational models.]]>
Abstract: The blockchain is a novel approach to distributed systems enabling a common, consistent view of some shared state among distributed agents. Smart contracts are an emerging computational model — heavily influenced by the object oriented one — allowing users to deploy arbitrary computations on a blockchain-based system. They aim at automatically regulating (financial) interactions among individuals or organisations. It turns out that smart contracts are essentially a novel way to perform State Machine Replication, also considering the economical aspects of computations. Despite the very interesting applications envisioned for smart contracts — mostly related to finance, identity management or asset tracking — they are far from perfection because some characteristic traits like, for instance, semantic subtleties within the imperative code, lack control flow encapsulation, source code immutability, and so on. In this talk we gently introduce the blockchain research area with a top-down approach, starting from a general overview of the blockchain's main elements, and moving towards a comprehensive tour of their inter-dependencies. Finally, we present a number of research directions which are of interest for our team, mainly aimed at evaluating the consequences of combining the blockchain techonology and the smart contract abstraction with other programming paradigms and computational models.]]> Tue, 12 Jun 2018 12:43:24 GMT /slideshow/a-gentle-introduction-to-the-blockchain-and-smart-contracts/102142957 gciatto@slideshare.net(gciatto) A gentle introduction to the Blockchain and Smart Contracts gciatto Abstract: The blockchain is a novel approach to distributed systems enabling a common, consistent view of some shared state among distributed agents. Smart contracts are an emerging computational model — heavily influenced by the object oriented one — allowing users to deploy arbitrary computations on a blockchain-based system. They aim at automatically regulating (financial) interactions among individuals or organisations. It turns out that smart contracts are essentially a novel way to perform State Machine Replication, also considering the economical aspects of computations. Despite the very interesting applications envisioned for smart contracts — mostly related to finance, identity management or asset tracking — they are far from perfection because some characteristic traits like, for instance, semantic subtleties within the imperative code, lack control flow encapsulation, source code immutability, and so on. In this talk we gently introduce the blockchain research area with a top-down approach, starting from a general overview of the blockchain's main elements, and moving towards a comprehensive tour of their inter-dependencies. Finally, we present a number of research directions which are of interest for our team, mainly aimed at evaluating the consequences of combining the blockchain techonology and the smart contract abstraction with other programming paradigms and computational models. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/agentleintroductiontotheblockchainandsmartcontracts-180612124324-thumbnail.jpg?width=120&height=120&fit=bounds" /> Abstract: The blockchain is a novel approach to distributed systems enabling a common, consistent view of some shared state among distributed agents. Smart contracts are an emerging computational model — heavily influenced by the object oriented one — allowing users to deploy arbitrary computations on a blockchain-based system. They aim at automatically regulating (financial) interactions among individuals or organisations. It turns out that smart contracts are essentially a novel way to perform State Machine Replication, also considering the economical aspects of computations. Despite the very interesting applications envisioned for smart contracts — mostly related to finance, identity management or asset tracking — they are far from perfection because some characteristic traits like, for instance, semantic subtleties within the imperative code, lack control flow encapsulation, source code immutability, and so on. In this talk we gently introduce the blockchain research area with a top-down approach, starting from a general overview of the blockchain's main elements, and moving towards a comprehensive tour of their inter-dependencies. Finally, we present a number of research directions which are of interest for our team, mainly aimed at evaluating the consequences of combining the blockchain techonology and the smart contract abstraction with other programming paradigms and computational models.

A gentle introduction to the Blockchain and Smart Contracts from Giovanni Ciatto

]]> 926 4 https://cdn.slidesharecdn.com/ss_thumbnails/agentleintroductiontotheblockchainandsmartcontracts-180612124324-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Introduzione alla Blockchain /slideshow/introduzione-alla-blockchain/82462548 oym-blockchain-171121165524
Bitcoin, cripto-valute e altre applicazioni. Descrizione bottom-up della tecnologia blockchain, partendo dal caso emblematico di Bitcoin e generalizzando fino agli Smart Contracts]]>
Bitcoin, cripto-valute e altre applicazioni. Descrizione bottom-up della tecnologia blockchain, partendo dal caso emblematico di Bitcoin e generalizzando fino agli Smart Contracts]]> Tue, 21 Nov 2017 16:55:24 GMT /slideshow/introduzione-alla-blockchain/82462548 gciatto@slideshare.net(gciatto) Introduzione alla Blockchain gciatto Bitcoin, cripto-valute e altre applicazioni. Descrizione bottom-up della tecnologia blockchain, partendo dal caso emblematico di Bitcoin e generalizzando fino agli Smart Contracts <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/oym-blockchain-171121165524-thumbnail.jpg?width=120&height=120&fit=bounds" /> Bitcoin, cripto-valute e altre applicazioni. Descrizione bottom-up della tecnologia blockchain, partendo dal caso emblematico di Bitcoin e generalizzando fino agli Smart Contracts

Introduzione alla Blockchain from Giovanni Ciatto

]]> 1338 265 https://cdn.slidesharecdn.com/ss_thumbnails/oym-blockchain-171121165524-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 https://cdn.slidesharecdn.com/profile-photo-gciatto-48x48.jpg?cb=1624978368 about.me/gciatto https://cdn.slidesharecdn.com/ss_thumbnails/ccsoaamas2020talk-200915205332-thumbnail.jpg?width=320&height=320&fit=bounds gciatto/an-abstract-framework-for-agentbased-explanations-in-ai An Abstract Framework ... https://cdn.slidesharecdn.com/ss_thumbnails/woa-2020-prolog-dsl-talk-200915204748-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/2pkt-logic-programming-with-objects-functions-in-kotlin/238496861 2P-Kt: logic programmi... https://cdn.slidesharecdn.com/ss_thumbnails/ccocaiiot2019talk-191125114424-thumbnail.jpg?width=320&height=320&fit=bounds gciatto/towards-xmas-explainability-through-multiagent-systems Towards XMAS: eXplaina...