All decks Close
All decks 34

  • Crash course IDP

    Dec 14, 2021 867 0

  • Refinement

    Mar 09, 2021 1,047 0

  • Zebra Tutor Bart

    Apr 30, 2020 1,191 0

  • Zebra Tutor 2

    Mar 10, 2020 1,225 0

  • VPW 2020

    Feb 17, 2020 1,351 0

  • Joint Seminar: Matthias

    Oct 30, 2019 998 0

  • SOGrounder

    Oct 25, 2019 976 0

  • Copy of Second Oral Presentation

    Oct 03, 2019 952 0

  • Fixpoint Semantics for Active Integrity Constraints: Extended Abstract

    BNAIC'18

    Nov 05, 2018 1,417 0

  • SOGrounder: Modelling and Solving Second-Order Logic

    Oct 31, 2018 1,158 0

  • FLoC 2018

    Jul 30, 2018 1,220 0

  • QBF Grounder

    Presentation for the FLOC 2018 QBF Workshop

    Jul 07, 2018 1,184 0

  • Copy of Solving Technologies

    Apr 23, 2018 1,146 0

  • Copy of IDP2ASP

    Mar 19, 2018 1,210 0

  • Symmetry exploitation for combinatorial problems

    KTH invited talk

    Oct 25, 2017 2,615 0

  • Safe Inductions: An Algebraic Study

    IJCAI'17

    Aug 07, 2017 1,954 0

  • SEL

    SAT17

    Aug 03, 2017 2,000 0

  • Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

    IJCAI'17

    Jul 20, 2017 1,798 0

  • On merge requests

    May 08, 2017 1,330 0

  • Copy of thesis: 30 maart

    Mar 30, 2017 1,352 0

  • Copy of IDP4 vs the world

    Mar 13, 2017 1,360 0

  • Domain Theory

    Mar 08, 2017 1,304 0

  • PublicDefense

    Feb 22, 2017 1,515 0

  • Vlaamse Programmeerwedstrijd 2017

    Feb 20, 2017 1,333 0

  • On Symmetry

    Jan 09, 2017 1,355 0

  • Copy of deck

    Nov 22, 2016 1,407 0

  • Copy of BreakID-ASP

    SAT16

    Oct 16, 2016 1,904 0

  • Flatzinc Parser

    Aug 29, 2016 1,411 0

  • RuleML: Autoconfig

    Aug 03, 2016 1,409 0

  • Local Search

    Presentation for ModRef

    Jul 19, 2016 1,489 0

  • On Proof Theory

    DTAI presentation

    Jul 19, 2016 1,479 0

  • BreakID

    SAT16

    Jul 05, 2016 2,063 0

  • Declarative Solver Development: Case Studies

    Presentation for the KR'16 paper

    Apr 06, 2016 2,085 0

  • Decisions

    Feb 18, 2016 1,497 0