Publications
“Semantic Compression with Region Calculi in Nested Hierarchical Grids”, in Proceedings of the 29th International Conference on Advances in Geographic Information Systems, New York, NY, USA, 2021, pp. 305–308. semantic_compression.pdf (444.8 KB)
, , “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017. PhD Dissertation Carral.pdf (578.29 KB)
, “Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases”, Logic Journal of the IGPL, vol. 21, pp. 263–290, 2013. ljigpl-parahkmf-2013.pdf (225.39 KB)
, “Local Closed World Reasoning with Description Logics under the Well-Founded Semantics”, Artificial Intelligence, vol. 175, no. 9-10, pp. 1528–1554, 2011. LocalClosed-AI-2011.pdf (354.24 KB)
, “Computational Complexity and Anytime Algorithm for Inconsistency Measurement”, International Journal of Software and Informatics, vol. 4, pp. 3–21, 2010. CompComplexity-IJSI2010.pdf (478.9 KB)
, ,