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. In: 14th International Conference on Principles of Knowledge Representation and Reasoning, 2014-7-20 - 2014-7-24, Vienna, Austria.

Text main.pdf - Author Accepted Manuscript Download (354kB)

Item Type:	Conference or Workshop Item (Unspecified)
Additional Information:	## TULIP Type: Conference Proceedings (contribution) ## official_url: www.aaai.org/ocs/index.php/KR/KR14/paper/view/8011
Depositing User:	Symplectic Admin
Date Deposited:	22 Feb 2017 10:38
Last Modified:	19 Jan 2023 07:19
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3005471