Safety of Quantified ABoxes w.r.t. Singleton ℰℒ Policies (Slides)
Research output: Contribution to conferences › Presentation slides › Contributed
Contributors
Details
Symposium
Title | The 36th ACM/SIGAPP Symposium On Applied Computing |
---|---|
Conference number | |
Duration | 22 - 26 March 2021 |
Degree of recognition | International event |
Location | |
City | Gwangju |
Country | Korea, Republic of |