Publications in 2019

From International Center for Computational Logic
Toggle side column

Publications in 2019


Proceedings Articles

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), to appear
Details Download