
Crash course IDP

Refinement

Zebra Tutor Bart

Zebra Tutor 2

VPW 2020

Joint Seminar: Matthias

SOGrounder

Copy of Second Oral Presentation

Fixpoint Semantics for Active Integrity Constraints: Extended Abstract
BNAIC'18

SOGrounder: Modelling and Solving SecondOrder Logic

FLoC 2018

QBF Grounder
Presentation for the FLOC 2018 QBF Workshop

Copy of Solving Technologies

Copy of IDP2ASP

Symmetry exploitation for combinatorial problems
KTH invited talk

Safe Inductions: An Algebraic Study
IJCAI'17

SEL
SAT17

Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory
IJCAI'17

On merge requests

Copy of thesis: 30 maart

Copy of IDP4 vs the world

Domain Theory

PublicDefense

Vlaamse Programmeerwedstrijd 2017

On Symmetry

Copy of deck

Copy of BreakIDASP
SAT16

Flatzinc Parser

RuleML: Autoconfig

Local Search
Presentation for ModRef

On Proof Theory
DTAI presentation

BreakID
SAT16

Declarative Solver Development: Case Studies
Presentation for the KR'16 paper

Decisions