Projecten

Regelgebaseerde programmeertalen maken een sterke opmars omdat ze perfect inspelen op de groeiende werkdruk van programmeurs. Het gebrek aan ondersteuning voor geavanceerde joins in deze talen vormt echter een ernstig obstakel voor verdere adoptie. Dit project ontwikkelt ondersteuning voor geavanceerde joins. We pakken dit obstakel aan vanuit een unieke invalshoek: door verbanden te leggen met implementatietechnieken uit Constraint ...

Dit werk is gesitueerd in het ERC Consolidator Grant project 'Conversational Human-Aware Technology for Optimisation (CHAT-Opt)'. Het doel van deze PhD is om de onderliggende oplossingsmethoden die in het ERC project gebruikt worden te verbeteren. Meer specifiek zullen we Pseudo-booleaanse encoderingen en solver voor Constraint Programming modellen herzien, bouwend aan onze CPMpy library. Het potentiëel van ...

Veel praktische taken, van planning tot routebepaling, vereisen zowel nauwkeurige voorspelling van onbekende parameters uit ruwe gegevens als complex redeneren om optimale oplossingen te vinden. We richten ons op predict-then-optimize problemen, waarbij de onbekende parameters eerst moeten worden voorspeld uit contextuele gegevens voordat een oplossing kan worden gevonden. Hoewel symbolische systemen bekwaam zijn in geautomatiseerd ...

Hoewel robotmanipulatoren uitblinken in sterk gestructureerde omgevingen, ondervinden ze moeilijkheden in minder gestructureerde omgevingen door de grotere variëteit aan omstandigheden en potentiële verstoringen. Om robots in deze omgevingen te laten werken, introduceerde eerder werk een constraint-based robot programming aanpak, waarbij de robot wordt geprogrammeerd om te reageren op veranderingen in de omgeving op basis van ...

Het doel van datamining is om nieuwe kennis te ontdekken in data.
Er werden vele modellen, systemen en technieken voor ontwikkeld.
Opdat deze efficiënt zouden werken, moet aan een aantal veronderstellingen voldaan zijn.  Een gebruikelijke veronderstelling is dat de records in de data onafhankelijk zijn van elkaar.
In complexe data zoals rekenbladen en relationele gegevensbanken klopt deze veronderstelling echter ...

Combinatorische optimalisatie speelt een cruciale rol in besluitvormingsprocessen in diverse industrieën. Verklaringstechnieken voor constraint systemen zijn uitgebreid onderzocht vanuit een algorithmisch perspectief, vooral wanneer de constraint solver geen oplossing kan vinden (unsatisfiability). Echter, deze historische, algorithmische focus op verklaringen staat in contrast met modern onderzoek naar Verklaarbare ...