Potential MSc and PhD students are welcome to make contact by email.
News (2021)
Feb21: Teaching. New course Algorithms for NP-Hard Problems
Jan21: Supervision. Eva Verboom, MSc, graduated on "Optimal Steel Temperature Control on the Run-Out Table"
Jan21: Accepted paper. Learning Network Architecture During Training workshop at AAAI'21, "Training Integer-Valued Neural Networks with Mixed Integer Programming" (pdf)
News (2020)
Dec20: Senior Member. Association for the Advancement of Artificial Intelligence
Dec20: Accepted paper. AAAI 2021, "Maintenance of Social Commitments in Multiagent Systems"
Dec20: Accepted paper. DSO 2020 workshop at IJCAI'20, "On Training Neural Networks with Mixed Integer Programming" (pdf)
Dec20: Accepted paper. DSO 2020 workshop at IJCAI'20, "Towards Unsatisfiable Core Learning for Chuffed" (pdf)
Nov20: Conference. Community and Diversity Co-Chair for IJCAI 2020 in Japan (virtual)
Nov20: Award. Best Student Paper at BNAIC'20
Oct20: Accepted paper. Journal of Artificial Societies and Social Simulation, "Agent-Based Simulation of West Asian Urban Dynamics: Impact of Refugees"
Oct20: Grant. EU Horizon 2020, "Epistemic AI"
Oct20: Accepted paper. Constraints, "A New Constraint Programming Model and Solving for the Cyclic Hoist Scheduling Problem" (pdf)
Oct20: Accepted paper. BNAIC 2020, "Cooperation in Harsh Environments: The Effects of Noise in Iterated Prisoner's Dilemma" (pdf)
Sep20: Accepted paper. Energy, "Electricity Markets for DC Distribution Systems: Locational Pricing Trumps Wholesale Pricing" (pdf)
Sep20: Supervision. Thomas Puppels, MSc, graduated on "An Investigation into Predict-and-Optimize Machine Learning"
Mar20: Lorentz Center participant. Rigorous Automated Planning
Mar20: Grant. EU Horizon 2020, "Foundations of Trustworthy AI -- Integrating Reasoning, Learning and Optimization" (TAILOR)
Feb20: Accepted poster. ICT.OPEN 2020, "Combined Heat and Power Markets by Double-Sided Auction Mechanisms"
Jan20: Accepted paper. CPAIOR 2020, "A New Constraint Programming Model and Solving for the Cyclic Hoist Scheduling Problem" (abstract | pdf)
Jan20: Preprint. "Towards a Framework for Certification of Reliable Autonomous Systems" (arxiv)
Jan20: Supervision. Lara Scavuzzo, MSc, graduated cum laude on "Learning Variable Selection Rules for the Branch-and-Bound Algorithm via Reinforcement Learning"