Wednesday, December 19, 2018
2:45pm Meeting room 302 (Mountain View), level 3
Miguel Calejo & Robert Kowalski, , LogicalContracts & Imperial College London
Logic and Smart Contracts
Abstract:
Based on a condensed version of the RuleML 2018’s tutorial, the talk will recap the relationship between logic and legal contracts, followed by the introduction of Logical Production Systems and their current Prolog and JavaScript based implementations, including considerations regarding use in smart contracts.