Efficient model construction for Horn logic with VLog (system description)

DOI10.1007/978-3-319-94205-6_44OpenAlexW2810730020MaRDI QIDQ1799135

Jacopo Urbani, David Carral, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_44

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic ⋮ Uniform Restricted Chase Termination ⋮ Unnamed Item ⋮ Semi-oblivious chase termination: the sticky case

This page was built for publication: Efficient model construction for Horn logic with VLog (system description)