All decks Close
All decks 34

  • Crash course IDP

    Dec 14, 2021 882 0

  • Refinement

    Mar 09, 2021 1,067 0

  • Zebra Tutor Bart

    Apr 30, 2020 1,205 0

  • Zebra Tutor 2

    Mar 10, 2020 1,239 0

  • VPW 2020

    Feb 17, 2020 1,367 0

  • Joint Seminar: Matthias

    Oct 30, 2019 1,015 0

  • SOGrounder

    Oct 25, 2019 994 0

  • Copy of Second Oral Presentation

    Oct 03, 2019 973 0

  • Fixpoint Semantics for Active Integrity Constraints: Extended Abstract

    BNAIC'18

    Nov 05, 2018 1,430 0

  • SOGrounder: Modelling and Solving Second-Order Logic

    Oct 31, 2018 1,173 0

  • FLoC 2018

    Jul 30, 2018 1,233 0

  • QBF Grounder

    Presentation for the FLOC 2018 QBF Workshop

    Jul 07, 2018 1,198 0

  • Copy of Solving Technologies

    Apr 23, 2018 1,160 0

  • Copy of IDP2ASP

    Mar 19, 2018 1,227 0

  • Symmetry exploitation for combinatorial problems

    KTH invited talk

    Oct 25, 2017 2,636 0

  • Safe Inductions: An Algebraic Study

    IJCAI'17

    Aug 07, 2017 1,974 0

  • SEL

    SAT17

    Aug 03, 2017 2,022 0

  • Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

    IJCAI'17

    Jul 20, 2017 1,819 0

  • On merge requests

    May 08, 2017 1,342 0

  • Copy of thesis: 30 maart

    Mar 30, 2017 1,366 0

  • Copy of IDP4 vs the world

    Mar 13, 2017 1,377 0

  • Domain Theory

    Mar 08, 2017 1,320 0

  • PublicDefense

    Feb 22, 2017 1,533 0

  • Vlaamse Programmeerwedstrijd 2017

    Feb 20, 2017 1,343 0

  • On Symmetry

    Jan 09, 2017 1,370 0

  • Copy of deck

    Nov 22, 2016 1,422 0

  • Copy of BreakID-ASP

    SAT16

    Oct 16, 2016 1,922 0

  • Flatzinc Parser

    Aug 29, 2016 1,424 0

  • RuleML: Autoconfig

    Aug 03, 2016 1,427 0

  • Local Search

    Presentation for ModRef

    Jul 19, 2016 1,513 0

  • On Proof Theory

    DTAI presentation

    Jul 19, 2016 1,492 0

  • BreakID

    SAT16

    Jul 05, 2016 2,084 0

  • Declarative Solver Development: Case Studies

    Presentation for the KR'16 paper

    Apr 06, 2016 2,107 0

  • Decisions

    Feb 18, 2016 1,515 0