All decks
  • 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 Second-Order 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 BreakID-ASP

    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