Below is a sampling of some of our previous work that will be influential in the work we do in Lab V2.
Work on Formal Logic (Explainable AI)
D. Aditya, K. Mukherji, S. Balasubramanian, A. Chaudhary, P. Shakarian, PyReason: Software for Open World Temporal Logic, AAAI Spring Symposium (Mar. 2023).
P. Shakarian, A. Koyyalamudi, N. Ngu, L. Mareedu, An Independent Evaluation of ChatGPT on Mathematical Word Problems (MWP), AAAI Spring Symposium (Mar. 2023).
P. Shakarian, G.I. Simari, Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture, IEEE TransAI, 2022.
M. A. Leiva, A. Garcia, G. Simari, P. Shakarian, Probabilistic Defeasible Logic Programming: Towards Explainable and Tractable Query Answering, Intl. Conference on Logic Programming (ICLP-21).
G. I. Simari, P. Shakarian, M. Falappa, A Quantitative Approach to Belief Revision in Structured Probabilistic Argumentation, Springer Annals of Mathematics and Artificial Intelligence 76(3), April, 2016.
P. Shakarian, G. I. Simari, V.S. Subrahmanian. Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation. ACM Transactions on Computational Logic 13(2).
P. Shakarian, A. Parker, G.I. Simari, V.S. Subrahmanian. Annotated Probabilistic Temporal Logic. ACM Transactions on Computational Logic 12(2).
Work on Causality
H. Alvari, E. Shaabani, P. Shakarian, Early Identification of Pathogenic Social Media Accounts,2018 IEEE Conference on Intelligence and Security Informatics (ISI-18) (Nov. 2018).
E. Shaabani, R. Guo, P. Shakarian, Detecting Pathogenic Social Media Accounts without Content or Network Structure, IEEE International Conference on Data Intelligence and Security (ICDIS-18) (April 2018).
A. Stanton, A. Thart, A. Jain, P. Vyas, A. Chatterjee, P. Shakarian, Mining for Causal Relationships: A Data-Driven Study of the Islamic State, 21st ACM SIGKDD Conference on Knowledge, Discovery, and Data Mining (KDD) (Aug. 2015).
Work on Learning Logical Rules from Data
M. Almukaynizi, E. Marin, E. Nunes, P. Shakarian, G. I. Simari, D. Kapoor, T. Siedlecki, DARKMENTION: A Deployed System to Predict Enterprise-Targeted External Cyberattacks, 2018 IEEE Conference on Intelligence and Security Informatics (ISI-18) (Nov. 2018).
M. Almukaynizi, V. Paliath, M. Shah, M. Shah, P. Shakarian, Finding Cryptocurrency Attack Indicators Using Temporal Logic and Darkweb Data, 2018 IEEE Conference on Intelligence and Security Informatics (ISI-18) (Nov. 2018).
A. Aleali, M. Dadfarnia, P. Shakarian, Finding Novel Event Relationships in Temporal Data, IEEE International Conference on Data Intelligence and Security (ICDIS-18) (April 2018).
Work on Cascading Processes on Graphs
P. Shakarian, H. Lei, R. Lindelauf. Power Grid Defense Against Malicious Cascading Failure. 13thIntl. Conf. on Autonomous Agents and Multiagent Systems (AAMAS-14) (May 2014).
P. Shakarian, G.I. Simari, D. Callahan. Reasoning about Complex Networks: A Logic Programming Approach. 29th Intl. Conference on Logic Programming (ICLP-13) (Aug. 2013).
P. Shakarian, G.I. Simari, R. Schroeder. MANCaLog: A Logic for Multi-Attribute Network Cascades. 12thIntl. Conf. on Autonomous Agents and Multiagent Systems (AAMAS-13) (May 2013).
P. Shakarian, M. Broecheler, V.S. Subrahmanian, C. Molinaro. Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems. ACM Transactions on Computational Logic. 14(2) 2013.