Stable Model Semantics for Guarded Existential Rules and Description Logics.



Gottlob, Georg, Hernich, André, Kupke, Clemens and Lukasiewicz, Thomas
(2014) Stable Model Semantics for Guarded Existential Rules and Description Logics. .

[img] Text
main.pdf - Accepted Version

Download (354kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 22 Feb 2017 10:38
Last Modified: 09 Jan 2021 07:44
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3005471