Válogatott Fejezetek a Logikai Programozásból 2004 őszi félév, Információk

Ez a lap a Válogatott Fejezetek a Logikai Programozásból tárgy anyagára vonatkozó információkat tartalmaz.

Előadások

Szabó Péter előadása a Prolog logikai alapjairól (október 4.): fóliák, takarékosan nyomtatható alak: (8 fólia/lap), az előadás alapját képező Nilsson-Maluszynski könyv.
Windisch Zoltán előadása a válaszhalmaz-programozásról (Answer Set Programming, ASP) (október 11.): fóliák, takarékosan nyomtatható alak: (4 fólia/lap), az smodels ASP rendszer.
Biener Péter előadása a Prolog imperatív interfészeiről (október 18.): fóliák (ppt, gzipelve), takarékosan nyomtatható alak: (6 fólia/lap, ps, gzipelve)
Varga Péter előadása a Induktív Logikai Programozásról (október 25.): fóliák (pdf)
Békés András Georgy előadása a Mercury rendszer párhuzamos lehetőségeiről (november 15.): fóliák (pdf)
Pallinger Péter előadása az XSB Prolog rendszerről (november 22.): fóliák (pdf), takarékosan nyomtatható alak: (4 fólia/lap, ps, gzipelve)
Drótos Márton előadása az ASP megvalósításokról (november 29.): fóliák (pdf)
Patai Gergely előadása az LPTP Prolog verifikációs rendszerről (december 6.): fóliák (pdf)