Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Bart Bogaerts

Has grant

Vrije Universiteit Brussel

Belgium

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Belgium

Recent Grants

Grant: Close

Integration in Knowledge Representation and Reasoning

Open Date: 2016-10-01

Close Date: 2019-09-01

Grant: Close

Model generation for expressive KR-languages

Open Date: 2011-09-06

Close Date: 2015-09-06

Articles (23)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Year:

2020

Collaborators (11)

Tias Guns

Associate Professor

KU Leuven

BELGIUM

View details

Jakob Nordström

Professor

University of Copenhagen

DENMARK

View details

Keijo Heljanko

University of Helsinki

FINLAND

View details

Andy Oertel

Lund University

SWEDEN

View details

Markus Anders

Substitute professor

Technische Universität Kaiserslautern

GERMANY

View details

Emilio Gamba

Vrije Universiteit Brussel

BELGIUM

View details

Armin Biere

Full Professor

Albert-Ludwigs-Universität Freiburg

GERMANY

View details

Jan Van den Bussche

Hasselt University

BELGIUM

View details

Jesse Heyninck

Open Universiteit

NETHERLANDS

View details

Matti Järvisalo

Professor

University of Helsinki

FINLAND

View details

Evgenia Ternovska

Associate Professor

Simon Fraser University

CANADA

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Bart Bogaerts

Research Interests

Make your next move.

Explore related searches

Recent Grants

Articles (23)

Liveness Proofs for Hardware Model Checking

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables

Trimming Pseudo-Boolean Proofs

Preference Elicitation for Step-Wise Explanations in Logic Puzzles

Certified Branch-and-Bound MaxSAT Solving

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach

On Symmetries and Transformations

Using Certifying Constraint Solvers for Generating Step-wise Explanations

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory

Definition of AI

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation

Certifying Pareto Optimality in Multi-Objective Maximum Satisfiability

Exploiting Symmetries in MUS Computation

Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Inputs, Outputs, and Composition in the Logic of Information Flows

Interactive Model Expansion in an Observable Environment

Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates

Computing Abductive Explanations

On Nested Justification Systems

A framework for step-wise explaining how to solve constraint satisfaction problems

Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints

Exploiting Game Theory for Analysing Justifications

Collaborators (11)

Tias Guns

Jakob Nordström

Keijo Heljanko

Andy Oertel

Markus Anders

Emilio Gamba

Armin Biere

Jan Van den Bussche

Jesse Heyninck

Matti Järvisalo

Evgenia Ternovska

Make your next move.