AIAI Seminar - 13 June 2022 - Talk by Paolo Pareti

Paolo Pareti (Speaker)

Digital Technologies

Activity: Talk or presentation types › Invited talk

Description

Using logic to formalise things, prove theorems and publish articles: the case of the SHACL data validation language for RDF graphs.

Period	13 Jun 2022
Held at	Edinburgh University, United Kingdom

Documents & Links

https://web.inf.ed.ac.uk/aiai/events/seminars/13-june-2022-p-pareti