Standard, Interactieve en Lifted Model Expansions met FO(.) KU Leuven
Veel praktische problemen kunnen begrepen worden als het zoeken naar een stand van zaken die een bestaande toestand, de ``omgeving'' genaamd, uitbreidt en daarbij voldoet aan bepaalde voorwaarden. De uitgebreide toestand beschrijft de oplossing van het probleem. Binnen kennisrepresentatie (KR) is er voor dergelijke problemen een methodologie die bestaat uit drie stappen: (i) Kies een logisch vocabularium voor de voorstelling van relevante ...