The simplicity of Prolog. ~ Ties Westendorp. https://bitsandtheorems.com/the-simplicity-of-prolog/ #Prolog #LogicProgramming
I'm teaching my first lecture at the new job today, about probabilistic logic programming, probabilistic inference, and (weighted) model counting.
Some of the required reading is a paper (https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html) that was written by a great mentor of mine, prof. dr. Fahiem Bacchus. He passed away just over 2 years ago, and I am honoured to keep his memory alive by teaching his ideas to a new generation of students. Hope to do him proud.
Please send good vibes?
not that the world really needs more computer science conferences, but i keep wondering if there’s appetite for one focused on procedural generation/generative computation, i.e. the union of PCG, generative art, program synthesis, &c.
mostly, it would really help to have a name for this field that people don’t mistake for consisting entirely of text2image statistical models