Survey Lecture: Gerhard Lakemeyer: Tractable Reasoning in First-Order Knowledge Bases

Tuesday, July 05, 2022, 4:30pm

Location: Department of Computer Science, Ahornstr. 55, building E2 (no. 2356), ground floor, room: B-IT 5053.2.
We are looking forward to meeting you in person!
Nevertheless, all events are hybrid. To join remotely, please use:
Meeting ID: 960 0388 5007, Passcode: 273710

Speaker: Gerhard Lakemeyer


Abstract: TBA