Logical Contracts at RuleML+RR 2018

We’re sponsoring the 2018 Rule ML+RR conference,   September 18-21th in Luxembourg, hope to see you there!

This will be the second International Joint Conferences on Rules and Reasoning…  or, as the irreverent among us refer to, the “Real AI” conference – as opposed to Machine Learning, the Artificial Intelligence field which has gained a lot of attention recently and that many tend to confuse with “AI”.  Explainable, auditable, rule-based AI is critical to supervise and complement statistical approaches, as AI systems are deployed into critical roles.

One of RuleML+RR 2017’s tutorials introduced Logic Production Systems , our underlying logic language.

This year’s tutorials will include “Logic and Smart Contracts”, which will feature some examples running on the open source version of Logical Contract Server.

Slides available here.