FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Pointwise Circumscription in Description Logics

Authors: Federica Di Stefano, Magdalena Ortiz and Mantas Simkus

Paper Information

Title:Pointwise Circumscription in Description Logics
Authors:Federica Di Stefano, Magdalena Ortiz and Mantas Simkus
Proceedings:DL Proceedings
Editors: Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier
Keywords:Circumscription, Non-monotonic reasoning in DLs, Computational Complexity
Pages:1
Talk:Aug 08 11:50 (Session 96C: Joint NMR/DL Session (4))
Paper: