Publications
“Semantic Compression with Region Calculi in Nested Hierarchical Grids (Technical Report)”, 2021.
Semantic Compression Technical Report (354.64 KB)
, 
“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)
, , 