Publications
“Automating CNN Neuron Interpretation using Concept Induction”, in THE 23RD INTERNATIONAL SEMANTIC WEB CONFERENCE, ISWC 2024, 2024.
2024_ISWC_demo_xai_automation_Lab_upload_Samatha.pdf (874.76 KB)
, 
“Understanding CNN Hidden Neuron Activations using Concept Induction over Background Knowledge”, THE 23RD INTERNATIONAL SEMANTIC WEB CONFERENCE, ISWC 2024. 2024.
2024_ISWC_doctoral.pdf (179.17 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)
, , 