All decks Close
All decks 34

  • Crash course IDP

    Dec 14, 2021 727 0

  • Refinement

    Mar 09, 2021 915 0

  • Zebra Tutor Bart

    Apr 30, 2020 1,060 0

  • Zebra Tutor 2

    Mar 10, 2020 1,072 0

  • VPW 2020

    Feb 17, 2020 1,216 0

  • Joint Seminar: Matthias

    Oct 30, 2019 902 0

  • SOGrounder

    Oct 25, 2019 888 0

  • Copy of Second Oral Presentation

    Oct 03, 2019 867 0

  • Fixpoint Semantics for Active Integrity Constraints: Extended Abstract

    BNAIC'18

    Nov 05, 2018 1,289 0

  • SOGrounder: Modelling and Solving Second-Order Logic

    Oct 31, 2018 1,058 0

  • FLoC 2018

    Jul 30, 2018 1,098 0

  • QBF Grounder

    Presentation for the FLOC 2018 QBF Workshop

    Jul 07, 2018 1,083 0

  • Copy of Solving Technologies

    Apr 23, 2018 1,064 0

  • Copy of IDP2ASP

    Mar 19, 2018 1,109 0

  • Symmetry exploitation for combinatorial problems

    KTH invited talk

    Oct 25, 2017 2,425 0

  • Safe Inductions: An Algebraic Study

    IJCAI'17

    Aug 07, 2017 1,814 0

  • SEL

    SAT17

    Aug 03, 2017 1,850 0

  • Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

    IJCAI'17

    Jul 20, 2017 1,662 0

  • On merge requests

    May 08, 2017 1,212 0

  • Copy of thesis: 30 maart

    Mar 30, 2017 1,249 0

  • Copy of IDP4 vs the world

    Mar 13, 2017 1,273 0

  • Domain Theory

    Mar 08, 2017 1,217 0

  • PublicDefense

    Feb 22, 2017 1,410 0

  • Vlaamse Programmeerwedstrijd 2017

    Feb 20, 2017 1,230 0

  • On Symmetry

    Jan 09, 2017 1,254 0

  • Copy of deck

    Nov 22, 2016 1,302 0

  • Copy of BreakID-ASP

    SAT16

    Oct 16, 2016 1,791 0

  • Flatzinc Parser

    Aug 29, 2016 1,314 0

  • RuleML: Autoconfig

    Aug 03, 2016 1,322 0

  • Local Search

    Presentation for ModRef

    Jul 19, 2016 1,395 0

  • On Proof Theory

    DTAI presentation

    Jul 19, 2016 1,379 0

  • BreakID

    SAT16

    Jul 05, 2016 1,921 0

  • Declarative Solver Development: Case Studies

    Presentation for the KR'16 paper

    Apr 06, 2016 1,949 0

  • Decisions

    Feb 18, 2016 1,378 0