Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
News
Events
About Us
Student Space
Partner with us
Home
News & Events
Events
Knowledge Representation and Automated Reasoning Group Seminar
Enhancing Datalog Reasoning with Hypertree Decompositions
Enhancing Datalog Reasoning with Hypertree Decompositions
Xinyue Zhang
4
Oct
11:00 4th October 2022 ( Michaelmas Term 2022 )
Room 441
Seminar Series
Knowledge Representation and Automated Reasoning Group Seminar
Coordinators
David Tena Cucala
Przemysław Wałęga
News & Events
News
Events
Upcoming Events
Events for prospective students and schools groups
Seminars by Series
Seminars by Date
Lecture Timetables
Back to Top