All decks Close
All decks 34

  • Crash course IDP

    Dec 14, 2021 1,362 0

  • Refinement

    Mar 09, 2021 1,576 0

  • Zebra Tutor Bart

    Apr 30, 2020 1,489 0

  • Zebra Tutor 2

    Mar 10, 2020 1,553 0

  • VPW 2020

    Feb 17, 2020 1,697 0

  • Joint Seminar: Matthias

    Oct 30, 2019 1,348 0

  • SOGrounder

    Oct 25, 2019 1,277 0

  • Copy of Second Oral Presentation

    Oct 03, 2019 1,244 0

  • Fixpoint Semantics for Active Integrity Constraints: Extended Abstract

    BNAIC'18

    Nov 05, 2018 1,741 0

  • SOGrounder: Modelling and Solving Second-Order Logic

    Oct 31, 2018 1,539 0

  • FLoC 2018

    Jul 30, 2018 1,530 0

  • QBF Grounder

    Presentation for the FLOC 2018 QBF Workshop

    Jul 07, 2018 1,519 0

  • Copy of Solving Technologies

    Apr 23, 2018 1,511 0

  • Copy of IDP2ASP

    Mar 19, 2018 1,493 0

  • Symmetry exploitation for combinatorial problems

    KTH invited talk

    Oct 25, 2017 3,171 0

  • Safe Inductions: An Algebraic Study

    IJCAI'17

    Aug 07, 2017 2,350 0

  • SEL

    SAT17

    Aug 03, 2017 2,416 0

  • Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory

    IJCAI'17

    Jul 20, 2017 2,178 0

  • On merge requests

    May 08, 2017 1,582 0

  • Copy of thesis: 30 maart

    Mar 30, 2017 1,548 0