Professor Ian Horrocks wins Test-of-Time award at KR2020
Posted: 22nd September 2020
Professor Ian Horrocks has won a ‘Test-of-Time’ award for his 1998 paper Using an Expressive Description Logic: FaCT or Fiction?
The award was made at KR2020, the 17th International Conference on Principles of Knowledge Representation and Reasoning.