{"id":17,"date":"2025-07-21T23:49:39","date_gmt":"2025-07-21T23:49:39","guid":{"rendered":"https:\/\/leibniz.syracuse.edu\/?page_id=17"},"modified":"2026-02-14T01:41:54","modified_gmt":"2026-02-14T01:41:54","slug":"papers","status":"publish","type":"page","link":"https:\/\/leibniz.syracuse.edu\/?page_id=17","title":{"rendered":"Papers"},"content":{"rendered":"\n<p><strong><span style=\"text-decoration: underline;\">Books<\/span><\/strong><\/p>\n\n\n\n<p>P. Shakarian, H. Wei (eds.), <a href=\"https:\/\/www.cambridge.org\/us\/universitypress\/subjects\/computer-science\/artificial-intelligence-and-natural-language-processing\/metacognitive-artificial-intelligence\">Metacognitive Artificial Intelligence<\/a>.&nbsp; Cambridge University Press, 2025.<\/p>\n\n\n\n<p>P. Shakarian, G.I. Simari, C. Baral, B. Xi, L. Pokala, <a href=\"https:\/\/link.springer.com\/book\/9783031391781\">Neuro Symbolic Reasoning and Learning<\/a>, Springer-Nature, 2023.<\/p>\n\n\n\n<p><strong><span style=\"text-decoration: underline;\">Preprints<\/span><\/strong><\/p>\n\n\n\n<p> J. Patil, D. Bavikadi, K. Mukherji, A. Steward-Nolan, P. Allin, T. Awonuga, J. Garland, P. Shakarian, <a href=\"https:\/\/pyreason.syracuse.edu\/wp-content\/uploads\/2026\/02\/PREPRINT__Narrative_Shift_with_appendix.pdf\">From We to Me: Theory Informed Narrative Shift with Abductive Reasoning<\/a>.<\/p>\n\n\n\n<p>J. Patil, N. Lee, A. M. S. Chowdhury, YooJung Choi, P. Shakarian,<strong> <\/strong><a href=\"https:\/\/arxiv.org\/abs\/2508.06706\">Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets<\/a>.<\/p>\n\n\n\n<p>A. Taparia, N. Ngu, M. Leiva, J. S. Kricheli, J. Cororan, N.D. Bastian, G. Simari, P. Shakarian, R. Senanayake, <a href=\"https:\/\/arxiv.org\/abs\/2505.12715\">VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection<\/a>.<\/p>\n\n\n\n<p>L. Da, J. Turnau, T.P. Kutralingam, A. Velazquez, P. Shakarian, H. Wei, <a href=\"https:\/\/arxiv.org\/abs\/2502.13187\">A Survey of Sim-to-Real Methods in RL: Progress, Prospects and Challenges with Foundation Models<\/a>.<\/p>\n\n\n\n<p>K. Mukherji, J. Patil, D. Aditya, P. Shakarian, D. Parkar, L. Pokala,<em> <\/em>C. Dorman, G. I. Simari, <a href=\"https:\/\/www.arxiv.org\/pdf\/2509.02958\">Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning<\/a>.<\/p>\n\n\n\n<p><strong><span style=\"text-decoration: underline;\">2026<\/span><\/strong><\/p>\n\n\n\n<p>P. Shakarian, <span style=\"text-decoration: underline;\"><a href=\"https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/11\/aaai26_metacog_eta_track.pdf\" data-type=\"link\" data-id=\"https:\/\/leibniz.syracuse.edu\/wp-content\/uploads\/2025\/11\/aaai26_metacog_eta_track.pdf\">Toward Artificial Metacognition<\/a><\/span>, AAAI-2026.<\/p>\n\n\n\n<p>M. Leiva, N. Ngu, J. S. Kricheli, A. Taparia, R. Senanayake, P. Shakarian, N.D. Bastian, J. Cororan, G. Simari, <a href=\"https:\/\/arxiv.org\/abs\/2505.19361\">Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments<\/a>, AAAI-2026.<\/p>\n\n\n\n<p><strong><span style=\"text-decoration: underline;\">2025<\/span><\/strong><\/p>\n\n\n\n<p>Y. Yang, C. Cornelio, M. Leiva, P. Shakarian, <a href=\"https:\/\/arxiv.org\/abs\/2508.03500\">Error Detection and Correction for Interpretable Mathematics in Large Language Models<\/a>, AAAI Fall Symposium, 2025.<\/p>\n\n\n\n<p>D. Aditya, C. Payne, M. A. Leiva, P. Shakarian, <a href=\"https:\/\/arxiv.org\/abs\/2506.17776\">Machine Learning Model Integration with Open World Temporal Logic for Process Automation<\/a>, 41<sup>st<\/sup> Intl. Conference on Logic Programming (ICLP-25).<\/p>\n\n\n\n<p>J. Patil, R. Knuszka, A. Chapman, J. Chapman, P. Shakarian, <a href=\"https:\/\/arxiv.org\/abs\/2507.10781\">Reasoning about Medical Triage Optimization with Logic Programming<\/a>, 41<sup>st<\/sup> Intl. Conference on Logic Programming (ICLP-25).<\/p>\n\n\n\n<p>D. Bavikadi, N. Lee, P. Shakarian, C. Parvis, <a href=\"https:\/\/arxiv.org\/abs\/2502.01503\">Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories<\/a>, 24<sup>th<\/sup>Intl. Conf. on Autonomous Agents and Multiagent Systems (AAMAS-2025).<\/p>\n\n\n\n<p>D. Bavikadi, A. Agarwal, S. Ganta, Y. Chung, L. Song, J. Qiu, P. Shakarian, <a href=\"https:\/\/journals.plos.org\/plosone\/article?id=10.1371\/journal.pone.0322620&amp;?utm_id=plos111&amp;utm_source=internal&amp;utm_medium=email&amp;utm_campaign=author\">Machine Learning Driven Biomarker Selection for Medical Diagnosis<\/a>, PLoS ONE 20(6). (<a href=\"https:\/\/arxiv.org\/abs\/2405.10345\">preprint version<\/a>)<\/p>\n\n\n\n<p>N. Ngu, A. Taparia, G. Simari, M. Leiva, J. Corcoran, R. Senanayake, P. Shakarian, N. Bastian, <a href=\"https:\/\/arxiv.org\/abs\/2502.13289\">Multiple Distribution Shift &#8211; Aerial (MDS-A): A Dataset for Test-Time Error Detection and Model Adaptation<\/a>, AAAI Spring Symposium (AAAI-MAKE) (Apr. 2025).<\/p>\n\n\n\n<p>P. Shakarian, G. Simari, N. Bastian, <a href=\"https:\/\/arxiv.org\/abs\/2502.05398\">Probabilistic Foundations for Metacognition via Hybrid-AI<\/a>, AAAI Spring Symposium (AAAI-MAKE) (Apr. 2025).<\/p>\n\n\n\n<p>B. Xi, K. Scaria, D. Bavikadi, P. Shakarian, <a href=\"https:\/\/arxiv.org\/abs\/2308.14250\">Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification.<\/a>&nbsp; IJCAI Workshop on Spatio-Temporal Reasoning and Learning (2025).<\/p>\n\n\n\n<p><strong><span style=\"text-decoration: underline;\">2024<\/span><\/strong><\/p>\n\n\n\n<p>J. S. Kricheli, K. Voa, A. Datta, S. Ozgur, P. Shakarian, <a href=\"https:\/\/arxiv.org\/abs\/2407.15192\">Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge<\/a>, 33<sup>rd<\/sup> ACM International Conference on Information and Knowledge Management (CIKM-24) (2024).<\/p>\n\n\n\n<p>A. M. S. Chowdhury, P. Shakarian, G.I. Simari, <a href=\"https:\/\/arxiv.org\/abs\/2502.09219\">Abduction of Domain Relationships from Data for VQA<\/a>, 40<sup>th<\/sup> Intl. Conference on Logic Programming (ICLP-24).<\/p>\n\n\n\n<p>D. Bavikadi, D. Aditya, D. Parkar, P. Shakarian, G. Mueller, C. Parvis, G. Simari, <a href=\"https:\/\/arxiv.org\/html\/2407.06447v1\">Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing<\/a>, 40<sup>th<\/sup> Intl. Conference on Logic Programming (ICLP-24).<\/p>\n\n\n\n<p>N. Lee, N. Ngu, H. Sahdev, P. Motaganahalli, A. Chowdhury, B. Xi, P. Shakarian, <a href=\"https:\/\/arxiv.org\/abs\/2410.12785\">Metal Price Spike Prediction via a Neurosymbolic Ensemble Approach<\/a>, Proceedings of the 2024 IEEE International Conference on Data Mining Workshops (ICDMW).<\/p>\n\n\n\n<p>H. Wei, P. Shakarian, C. Lebiere, B. Draper, N. Krishnaswamy, S. Nirenburg, <a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-71170-1_7\">Metacognitive AI: Framework and the Case for a Neurosymbolic Approach<\/a>. 18<sup>th<\/sup> International Conference on Neural-Symbolic Learning and Reasoning (NeSy), 2024. <a href=\"https:\/\/arxiv.org\/abs\/2406.12147\">(preprint version)<\/a><\/p>\n\n\n\n<p>K. Mukherji, D. Parkar, L. Pokala, D. Aditya, P. Shakarian, C. Dorman, <a href=\"https:\/\/arxiv.org\/abs\/2310.06835\">Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning<\/a>,&nbsp; 18<sup>th<\/sup> IEEE International Conference on Semantic Computing (IEEE ICSC), 2024.<\/p>\n\n\n\n<p>N. Ngu, N. Lee, P. Shakarian.&nbsp; <a href=\"file:\/\/\/I:\/My%20Drive\/CV\/Diversity%20Measures:%20Domain-Independent%20Proxies%20for%20Failure%20in%20Language%20Model%20Queries,\">Diversity Measures: Domain-Independent Proxies for Failure in Language Model Queries,<\/a>&nbsp; 18<sup>th<\/sup> IEEE International Conference on Semantic Computing (IEEE ICSC), 2024.<\/p>\n\n\n\n<p><strong><span style=\"text-decoration: underline;\">2023<\/span><\/strong><\/p>\n\n\n\n<p>D. A. Furman, S. A. Malvicini, M. V. Martinez, P. Shakarian, G. I. Simari, Y. O. Soto, <a href=\"https:\/\/ceur-ws.org\/Vol-3546\/paper08.pdf\">A Neuro-symbolic Approach to Argument Comparison in Structured Argumentation<\/a>, 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI3 ) (Nov. 2023).<\/p>\n\n\n\n<p>D. Aditya, K. Mukherji, S. Balasubramanian, A. Chaudhary, P. Shakarian, <a href=\"https:\/\/arxiv.org\/abs\/2302.13482\">PyReason: Software for Open World Temporal Logic<\/a>, AAAI Spring Symposium (AAAI-MAKE) (Mar. 2023). <a href=\"https:\/\/ceur-ws.org\/Vol-3433\/paper17.pdf\">(CEUR-WS)<\/a><\/p>\n\n\n\n<p>P. Shakarian, A. Koyyalamudi, N. Ngu, L. Mareedu, <a href=\"https:\/\/arxiv.org\/abs\/2302.13814\">An Independent Evaluation of ChatGPT on Mathematical Word Problems (MWP)<\/a>, AAAI Spring Symposium (AAAI-MAKE) (Mar. 2023). <a href=\"https:\/\/ceur-ws.org\/Vol-3433\/paper8.pdf\">(CEUR-WS)<\/a><\/p>\n\n\n\n<p><strong><span style=\"text-decoration: underline;\">2022<\/span><\/strong><\/p>\n\n\n\n<p>M. A. Leiva, A. J. Garc\u00eda, P. Shakarian, G. I. Simari, <a href=\"https:\/\/www.mdpi.com\/2504-2289\/6\/3\/91\/pdf\">Argumentation-based Query Answering under Uncertainty with Application to Cybersecurity<\/a>, Big Data and Cognitive Computing, 6(91). Editor\u2019s Choice Award.<\/p>\n\n\n\n<p>P. Shakarian, G.I. Simari, <a href=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/9951514\">Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture<\/a>, IEEE TransAI, 2022.<\/p>\n\n\n\n<p><strong><span style=\"text-decoration: underline;\">Older Papers<\/span><\/strong><\/p>\n\n\n\n<p>Please visit <a href=\"https:\/\/dblp.org\/pid\/73\/8292.html\">DBLP<\/a> or <a href=\"https:\/\/scholar.google.com\/citations?user=Xii5xrIAAAAJ&amp;hl=en\">Google Scholar<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Books P. Shakarian, H. Wei (eds.), Metacognitive Artificial Intelligence.&nbsp; Cambridge University Press, 2025. P. Shakarian, G.I. Simari, C. Baral, B. Xi, L. Pokala, Neuro Symbolic Reasoning and Learning, Springer-Nature, 2023. Preprints J. Patil, D. Bavikadi, K. Mukherji, A. Steward-Nolan, P. Allin, T. Awonuga, J. Garland, P. Shakarian, From We to Me: Theory Informed Narrative Shift&hellip;<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-17","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/pages\/17","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=17"}],"version-history":[{"count":8,"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/pages\/17\/revisions"}],"predecessor-version":[{"id":172,"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=\/wp\/v2\/pages\/17\/revisions\/172"}],"wp:attachment":[{"href":"https:\/\/leibniz.syracuse.edu\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=17"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}