Publications
Export 7 results:
Filters: First Letter Of Keyword is K [Clear All Filters]
“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)
, “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)
, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017. PhD Dissertation Carral.pdf (578.29 KB)
,