research
∙
08/30/2023
Nemo: First Glimpse of a New Rule Engine
This system demonstration presents Nemo, a new logic programming engine ...
share
research
∙
01/24/2022
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In a previous paper, we have shown that clause sets belonging to the Hor...
research
∙
02/03/2019
