EasyChair Smart SlideDocs/Log in
Author: David Carral

This page shows all presentations of this author published in EasyChair Smart Slide.

Restricted Chase Termination: You Want More than Fairness

Restricted Chase Termination: You Want More than Fairness

David Carral, Lukas Gerlach, Lucas Larroque and Michaël Thomazo

Rule-Aware Datalog Fact Explanation Using Group-SAT Solver

Rule-Aware Datalog Fact Explanation Using Group-SAT Solver

Akira Charoensit, David Carral, Pierre Bisquert, Lucas Rouquette and Federico Ulliana

Deciding Hyperproperties Combined with Functional Specifications

Deciding Hyperproperties Combined with Functional Specifications

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch

Efficient Model Construction for Horn Logic with VLog: System Description

Efficient Model Construction for Horn Logic with VLog: System Description

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

Presentations in this collection: 4
Copyright © 2002 – 2025 EasyChair