Using Generalized Annotated Programs to Solve Social Network Optimization Problems. - Paulo Shakarian; V. S. Subrahmanian; Maria Luisa Sapino (ICLP (Technical Communications), 2010)

A Scalable Framework for Modeling Competitive Diffusion in Social Networks. - Matthias Broecheler; Paulo Shakarian; V. S. Subrahmanian (SocialCom/PASSAT, 2010)

Abductive Inference for Combat: Using SCARE-S2 to Find High-Value Targets in Afghanistan. - Paulo Shakarian; Mago Nagel; Brittany Schuetzle; V. S. Subrahmanian (IAAI, 2011)

Towards Shrink-Wrapped Security: Practically Incorporating Context Into Security Services. - Gleneesha Johnson; Paulo Shakarian; Neha Gupta 001; Ashok K. Agrawala (ANT/MobiWIS, 2011)

GAPs: Geospatial Abduction Problems. - Paulo Shakarian; V. S. Subrahmanian; Maria Luisa Sapino (ACM Trans. Intell. Syst. Technol., 2011)

Annotated probabilistic temporal logic. - Paulo Shakarian; Austin Parker; Gerardo I. Simari; V. S. Subrahmanian (ACM Trans. Comput. Log., 2011)

Spatio-Temporal Reasoning About Agent Behavior. - Paulo Shakarian (2011)

Region-Based Geospatial Abduction with Counter-IED Applications. - Paulo Shakarian; V. S. Subrahmanian (Counterterrorism and Open Source Intelligence, 2011)

Large Social Networks Can Be Targeted for Viral Marketing with Small Seed Sets. - Paulo Shakarian; Damon Paulo (ASONAM, 2012)

A Probabilistic Framework for Localization of Attackers in MANETs. - Massimiliano Albanese; Alessandra De Benedictis; Sushil Jajodia; Paulo Shakarian (ESORICS, 2012)

Shaping Operations to Attack Robust Terror Networks. - Devon Callahan; Paulo Shakarian; Jeffrey Nielsen; Anthony N. Johnson (SocialInformatics, 2012)

A review of evolutionary graph theory with applications to game theory. - Paulo Shakarian; Patrick Roos; Anthony N. Johnson (Biosyst., 2012)

Spreaders in the Network SIR Model: An Empirical Study - Brian Macdonald; Paulo Shakarian; Nicholas Howard; Geoffrey Moores (CoRR, 2012)

Adversarial Geospatial Abduction Problems. - Paulo Shakarian; John P. Dickerson; V. S. Subrahmanian (ACM Trans. Intell. Syst. Technol., 2012)

Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation. - Paulo Shakarian; Gerardo I. Simari; V. S. Subrahmanian (ACM Trans. Comput. Log., 2012)

Mining for Spatially-Near Communities in Geo-Located Social Networks. - Joseph Hannigan; Guillermo Hernandez; Richard M. Medina; Patrick Roos; Paulo Shakarian (AAAI Fall Symposia, 2013)

Social network intelligence analysis to combat street gang violence. - Damon Paulo; Bradley Fischl; Tanya Markow; Michael Martin 003; Paulo Shakarian (ASONAM, 2013)

MANCaLog: a logic for multi-attribute network cascades. - Paulo Shakarian; Gerardo I. Simari; Robert Schroeder (AAMAS, 2013)

Mining for geographically disperse communities in social networks by leveraging distance modularity. - Paulo Shakarian; Patrick Roos; Devon Callahan; Cory Kirk (KDD, 2013)

Geospatial optimization problems. - Paulo Shakarian; V. S. Subrahmanian (NSW, 2013)

A novel analytical method for evolutionary graph theory problems. - Paulo Shakarian; Patrick Roos; Geoffrey Moores (Biosyst., 2013)

The Dragon and the Computer: Why Intellectual Property Theft is Compatible with Chinese Cyber-Warfare Doctrine. - Paulo Shakarian; Jana Shakarian; Andrew Ruef (CoRR, 2013)

MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report) - Paulo Shakarian; Gerardo I. Simari; Robert Schroeder (CoRR, 2013)

A scalable heuristic for viral marketing under the tipping model. - Paulo Shakarian; Sean Eyre; Damon Paulo (Soc. Netw. Anal. Min., 2013)

Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems. - Paulo Shakarian; Matthias Broecheler; V. S. Subrahmanian; Cristian Molinaro (ACM Trans. Comput. Log., 2013)

Reasoning about Complex Networks: A Logic Programming Approach. - Paulo Shakarian; Gerardo I. Simari; Devon Callahan (Theory Pract. Log. Program., 2013)

A Network-Based Approach for Identifying Cancer Causing Pathogens. - Joseph Hannigan; Suzanne J. Matthews; John K. Wickiser; Paulo Shakarian (ACM Southeast Regional Conference, 2014)

Power grid defense against malicious cascading failure. - Paulo Shakarian; Hansheng Lei; Roy Lindelauf (AAMAS, 2014)

Belief Revision in Structured Probabilistic Argumentation. - Paulo Shakarian; Gerardo I. Simari; Marcelo A. Falappa (FoIKS, 2014)

Keeping Intruders at Bay: A Graph-theoretic Approach to Reducing the Probability of Successful Network Intrusions. - Paulo Shakarian; Nimish Kulkarni; Massimiliano Albanese; Sushil Jajodia (ICETE (Selected Papers), 2014)

Reducing gang violence through network influence based targeting of social programs. - Paulo Shakarian; Joseph Salmento; William R. Pulleyblank; John Bertetto (KDD, 2014)

Keeping Intruders at Large - A Graph-theoretic Approach to Reducing the Probability of Successful Network Intrusions. - Paulo Shakarian; Damon Paulo; Massimiliano Albanese; Sushil Jajodia (SECRYPT, 2014)

Workshop on Social Influence - SI 2014 - Introduction. - Radoslaw Michalski; Paulo Shakarian; Ingo Scholtes; Jaroslaw Jankowski (SocInfo Workshops, 2014)

An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare. - Paulo Shakarian; Gerardo I. Simari; Geoffrey Moores; Simon Parsons; Marcelo A. Falappa (CoRR, 2014)

Toward Order-of-Magnitude Cascade Prediction. - Ruocheng Guo; Elham Shaabani; Abhinav Bhatnagar; Paulo Shakarian (ASONAM, 2015)

Malware Task Identification: A Data Driven Approach. - Eric Nunes; Casey Buto; Paulo Shakarian; Christian Lebiere; Stefano Bennati; Robert Thomson 001; Holger Jaenisch (ASONAM, 2015)

Cyber-Deception and Attribution in Capture-the-Flag Exercises. - Eric Nunes; Nimish Kulkarni; Paulo Shakarian; Andrew Ruef; Jay Little (ASONAM, 2015)

KSGM: Keynode-driven Scalable Graph Matching. - Xilun Chen 001; K. Selçuk Candan; Maria Luisa Sapino; Paulo Shakarian (CIKM, 2015)

Early Identification of Violent Criminal Gang Members. - Elham Shaabani; Ashkan Aleali; Paulo Shakarian; John Bertetto (KDD, 2015)

Mining for Causal Relationships: A Data-Driven Study of the Islamic State. - Andrew Stanton; Amanda Thart; Ashish Jain; Priyank Vyas; Arpan Chatterjee; Paulo Shakarian (KDD, 2015)

A Multidisciplinary Survey of Social Network Diffusion Models. - Paulo Shakarian (IEEE Intell. Informatics Bull., 2015)

Cyber Attacks and Public Embarrassment: A Survey of Some Notable Hacks. - Jana Shakarian; Paulo Shakarian; Andrew Ruef (CoRR, 2015)

Cyber Attribution: An Argumentation-Based Approach. - Paulo Shakarian; Gerardo I. Simari; Geoffrey Moores; Simon Parsons (Cyber Warfare, 2015)

Diffusion in Social Networks - Paulo Shakarian; Abhinav Bhatnagar; Ashkan Aleali; Elham Shaabani; Ruocheng Guo (Springer, 2015)

Cyber-Deception and Attribution in Capture-the-Flag Exercises. - Eric Nunes; Nimish Kulkarni; Paulo Shakarian; Andrew Ruef; Jay Little (Cyber Deception, 2016)

Exploring Malicious Hacker Forums. - Jana Shakarian; Andrew T. Gunn; Paulo Shakarian (Cyber Deception, 2016)

Toward Argumentation-Based Cyber Attribution. - Eric Nunes; Paulo Shakarian; Gerardo I. Simari (AAAI Workshop: Artificial Intelligence for Cyber Security, 2016)

Data Driven Game Theoretic Cyber Threat Mitigation. - John Robertson; Vivin Paliath; Jana Shakarian; Amanda Thart; Paulo Shakarian (AAAI, 2016)

Socio-Cultural Modeling for Cyber Threat Actors. - Paulo Shakarian; Jana Shakarian (AAAI Workshop: Artificial Intelligence for Cyber Security, 2016)

A comparison of methods for cascade prediction. - Ruocheng Guo; Paulo Shakarian (ASONAM, 2016)

An empirical evaluation of social influence metrics. - Nikhil Kumar 006; Ruocheng Guo; Ashkan Aleali; Paulo Shakarian (ASONAM, 2016)

Argumentation models for cyber attribution. - Eric Nunes; Paulo Shakarian; Gerardo I. Simari; Andrew Ruef (ASONAM, 2016)

MIST: Missing Person Intelligence Synthesis Toolkit. - Elham Shaabani; Hamidreza Alvari; Paulo Shakarian; J. E. Kelly Snyder (CIKM, 2016)

A non-parametric learning approach to identify online human trafficking. - Hamidreza Alvari; Paulo Shakarian; J. E. Kelly Snyder (ISI, 2016)

Product offerings in malicious hacker markets. - Ericsson Marin; Ahmad Diab; Paulo Shakarian (ISI, 2016)

Darknet and deepnet mining for proactive cybersecurity threat intelligence. - Eric Nunes; Ahmad Diab; Andrew T. Gunn; Ericsson Marin; Vineet Mishra; Vivin Paliath; John Robertson; Jana Shakarian; Amanda Thart; Paulo Shakarian (ISI, 2016)

Modeling cyber-attacks on industrial control systems. - Vivin Paliath; Paulo Shakarian (ISI, 2016)

Belief revision in structured probabilistic argumentation - Model and application to cyber security. - Paulo Shakarian; Gerardo I. Simari; Geoffrey Moores; Damon Paulo; Simon Parsons; Marcelo A. Falappa; Ashkan Aleali (Ann. Math. Artif. Intell., 2016)

A quantitative approach to belief revision in structured probabilistic argumentation. - Gerardo I. Simari; Paulo Shakarian; Marcelo A. Falappa (Ann. Math. Artif. Intell., 2016)

Toward early and order-of-magnitude cascade prediction in social networks. - Ruocheng Guo; Elham Shaabani; Abhinav Bhatnagar; Paulo Shakarian (Soc. Netw. Anal. Min., 2016)

Proactive identification of exploits in the wild through vulnerability mentions online. - Mohammed Almukaynizi; Eric Nunes; Krishna Dharaiya; Manoj Senguttuvan; Jana Shakarian; Paulo Shakarian (CyCon U.S., 2017)

Measuring cyber attribution in games. - Andrew Ruef; Eric Nunes; Paulo Shakarian; Gerardo I. Simari (eCrime, 2017)

Early Warnings of Cyber Threats in Online Discussions. - Anna Sapienza; Alessandro Bessi; Saranya Damodaran; Paulo Shakarian; Kristina Lerman; Emilio Ferrara (ICDM Workshops, 2017)

Temporal Analysis of Influence to Predict Users' Adoption in Online Social Networks. - Ericsson Marin; Ruocheng Guo; Paulo Shakarian (SBP-BRiMS, 2017)

Crisis and Collective Problem Solving in Dark Web: An Exploration of a Black Hat Forum. - Kyounghee Hazel Kwon; J. Hunter Priniski; Soumajyoti Sarkar; Jana Shakarian; Paulo Shakarian (SMSociety, 2017)

Semi-supervised learning for detecting human trafficking. - Hamidreza Alvari; Paulo Shakarian; J. E. Kelly Snyder (Secur. Informatics, 2017)

Understanding and forecasting lifecycle events in information cascades. - Soumajyoti Sarkar; Ruocheng Guo; Paulo Shakarian (Soc. Netw. Anal. Min., 2017)

DarkEmbed: Exploit Prediction With Neural Language Models. - Nazgol Tavabi; Palash Goyal; Mohammed Almukaynizi; Paulo Shakarian; Kristina Lerman (AAAI, 2018)

Predicting enterprise cyber incidents using social network analysis on the darkweb hacker forums. - Soumajyoti Sarkar; Mohammad Almukaynizi; Jana Shakarian; Paulo Shakarian (CyCon U.S., 2018)

At-risk system identification via analysis of discussions on the darkweb. - Eric Nunes; Paulo Shakarian; Gerardo I. Simari (eCrime, 2018)

Finding Novel Event Relationships in Temporal Data. - Ashkan Aleali; Mahila Dadfarnia; Paulo Shakarian (ICDIS, 2018)

Community Finding of Malware and Exploit Vendors on Darkweb Marketplaces. - Ericsson Marin; Mohammed Almukaynizi; Eric Nunes; Paulo Shakarian (ICDIS, 2018)

Mining Key-Hackers on Darkweb Forums. - Ericsson Marin; Jana Shakarian; Paulo Shakarian (ICDIS, 2018)

Detecting Pathogenic Social Media Accounts without Content or Network Structure. - Elham Shaabani; Ruocheng Guo; Paulo Shakarian (ICDIS, 2018)

DARKMENTION: A Deployed System to Predict Enterprise-Targeted External Cyberattacks. - Mohammed Almukaynizi; Ericsson Marin; Eric Nunes; Paulo Shakarian; Gerardo I. Simari; Dipsy Kapoor; Timothy Siedlecki (ISI, 2018)

Finding Cryptocurrency Attack Indicators Using Temporal Logic and Darkweb Data. - Mohammed Almukaynizi; Vivin Paliath; Malay Shah; Malav Shah; Paulo Shakarian (ISI, 2018)

Early Identification of Pathogenic Social Media Accounts. - Hamidreza Alvari; Elham Shaabani; Paulo Shakarian (ISI, 2018)

Predicting Hacker Adoption on Darkweb Forums Using Sequential Rule Mining. - Ericsson Marin; Mohammed Almukaynizi; Eric Nunes; Jana Shakarian; Paulo Shakarian (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

Strongly Hierarchical Factorization Machines and ANOVA Kernel Regression. - Ruocheng Guo; Hamidreza Alvari; Paulo Shakarian (SDM, 2018)

Dark-Web Cyber Threat Intelligence: From Data to Intelligence to Prediction. - Paulo Shakarian (Inf., 2018)

Defending Against Chained Cyber-Attacks by Adversarial Agents. - Vivin Paliath; Paulo Shakarian (Guide to Vulnerability Analysis for Computer Networks and Systems, 2018)

Cyber Threat Analysis with Structured Probabilistic Argumentation. - Mario A. Leiva; Gerardo I. Simari; Guillermo Ricardo Simari; Paulo Shakarian (AI³@AI*IA, 2019)

A hybrid KRR-ML approach to predict malicious email campaigns. - Mohammed Almukaynizi; Malay Shah; Paulo Shakarian (ASONAM, 2019)

Reasoning about sequential cyberattacks. - Vivin Paliath; Paulo Shakarian (ASONAM, 2019)

Impact of social influence on adoption behavior: an online controlled experimental evaluation. - Soumajyoti Sarkar; Ashkan Aleali; Paulo Shakarian; Mika Armenta; Danielle Sanchez; Kiran Lakkaraju (ASONAM, 2019)

Can social influence be exploited to compromise security: an online experimental evaluation. - Soumajyoti Sarkar; Paulo Shakarian; Mika Armenta; Danielle Sanchez; Kiran Lakkaraju (ASONAM, 2019)

Hawkes Process for Understanding the Influence of Pathogenic Social Media Accounts. - Hamidreza Alvari; Paulo Shakarian (ICDIS, 2019)

Detection of Violent Extremists in Social Media. - Hamidreza Alvari; Soumajyoti Sarkar; Paulo Shakarian (ICDIS, 2019)

An End-to-End Framework to Identify Pathogenic Social Media Accounts on Twitter. - Elham Shaabani; Ashkan Sadeghi-Mobarakeh; Hamidreza Alvari; Paulo Shakarian (ICDIS, 2019)

Reasoning About Future Cyber-Attacks Through Socio-Technical Hacking Information. - Ericsson Marin; Mohammed Almukaynizi; Paulo Shakarian (ICTAI, 2019)

Less is More: Semi-Supervised Causal Inference for Detecting Pathogenic Users in Social Media. - Hamidreza Alvari; Elham Shaabani; Soumajyoti Sarkar; Ghazaleh Beigi; Paulo Shakarian (WWW (Companion Volume), 2019)

Leveraging Motifs to Model the Temporal Dynamics of Diffusion Networks. - Soumajyoti Sarkar; Hamidreza Alvari; Paulo Shakarian (WWW (Companion Volume), 2019)

Understanding Information Flow in Cascades Using Network Motifs. - Soumajyoti Sarkar; Hamidreza Alvari; Paulo Shakarian (CoRR, 2019)

Mining user interaction patterns in the darkweb to predict enterprise cyber incidents. - Soumajyoti Sarkar; Mohammad Almukaynizi; Jana Shakarian; Paulo Shakarian (Soc. Netw. Anal. Min., 2019)

Using network motifs to characterize temporal network evolution leading to diffusion inhibition. - Soumajyoti Sarkar; Ruocheng Guo; Paulo Shakarian (Soc. Netw. Anal. Min., 2019)

Inductive and Deductive Reasoning to Assist in Cyber-Attack Prediction. - Ericsson Marin; Mohammed Almukaynizi; Paulo Shakarian (CCWC, 2020)

A Feature-Driven Approach for Identifying Pathogenic Social Media Accounts. - Hamidreza Alvari; Ghazaleh Beigi; Soumajyoti Sarkar; Scott W. Ruston; Steven R. Corman; Hasan Davulcu; Paulo Shakarian (ICDIS, 2020)

Measuring Time-Constrained Influence to Predict Adoption in Online Social Networks. - Ericsson Marin; Ruocheng Guo; Paulo Shakarian (ACM Trans. Soc. Comput., 2020)

A Logic Programming Approach to Predict Enterprise-Targeted Cyberattacks. - Mohammed Almukaynizi; Ericsson Marin; Malay Shah; Eric Nunes; Gerardo I. Simari; Paulo Shakarian (Data Science in Cybersecurity and Cyberthreat Intelligence, 2020)

Exploring geographic hotspots using topological data analysis. - Rui Zhang; Jonas Lukasczyk; Feng Wang 012; David S. Ebert; Paulo Shakarian; Elizabeth A. Mack; Ross Maciejewski (Trans. GIS, 2021)

Identification of Pathogenic Social Media Accounts - From Data to Intelligence to Prediction - Hamidreza Alvari; Elham Shaabani; Paulo Shakarian (Springer, 2021)

Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture. - Paulo Shakarian; Gerardo I. Simari (TransAI, 2022)

Argumentation-Based Query Answering under Uncertainty with Application to Cybersecurity. - Mario A. Leiva; Alejandro Javier García; Paulo Shakarian; Gerardo I. Simari (Big Data Cogn. Comput., 2022)

PyReason: Software for Open World Temporal Logic. - Dyuman Aditya; Kaustuv Mukherji; Srikar Balasubramanian; Abhiraj Chaudhary; Paulo Shakarian (AAAI Spring Symposium: MAKE, 2023)

An Independent Evaluation of ChatGPT on Mathematical Word Problems (MWP). - Paulo Shakarian; Abhinav Koyyalamudi; Noel Ngu; Lakshmivihari Mareedu (AAAI Spring Symposium: MAKE, 2023)

A Neuro-symbolic Approach to Argument Comparison in Structured Argumentation. - Damián Ariel Furman; Stephanie Anneris Malvicini; Maria Vanina Martinez; Paulo Shakarian; Gerardo Ignacio Simari; Yamil Osvaldo Soto (AI³@AI*IA, 2023)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification. - Bowen Xi; Kevin Scaria; Paulo Shakarian (CoRR, 2023)

Neuro Symbolic Reasoning and Learning - Paulo Shakarian; Chitta Baral; Gerardo I. Simari; Bowen Xi; Lahari Pokala (Springer, 2023)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge. - Joshua Shay Kricheli; Khoa Vo 002; Aniruddha Datta; Spencer Ozgur; Paulo Shakarian (CIKM, 2024)

Metal Price Spike Prediction via a Neurosymbolic Ensemble Approach. - Nathaniel Lee; Noel Ngu; Harshdeep Singh Sahdev; Pramod Motaganahall; Al Mehdi Saadat Chowdhury; Bowen Xi; Paulo Shakarian (ICDM (Workshops), 2024)

Metacognitive AI: Framework and the Case for a Neurosymbolic Approach. - Hua Wei 001; Paulo Shakarian; Christian Lebiere; Bruce A. Draper; Nikhil Krishnaswamy; Sergei Nirenburg (NeSy (2), 2024)

Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning. - Kaustuv Mukherji; Devendra Parkar; Lahari Pokala; Dyuman Aditya; Paulo Shakarian; Clark Dorman (ICSC, 2024)

Diversity Measures: Domain-Independent Proxies for Failure in Language Model Queries. - Noel Ngu; Nathaniel Lee; Paulo Shakarian (ICSC, 2024)

Machine Learning Driven Biomarker Selection for Medical Diagnosis. - Divyagna Bavikadi; Ayushi Agarwal; Shashank Ganta; Yunro Chung; Lusheng Song; Ji Qiu; Paulo Shakarian (CoRR, 2024)

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing. - Divyagna Bavikadi; Dyuman Aditya; Devendra Parkar; Paulo Shakarian; Graham Mueller; Chad Parvis; Gerardo I. Simari (ICLP, 2024)

Metal Price Spike Prediction via a Neurosymbolic Ensemble Approach. - Nathaniel Lee; Noel Ngu; Harshdeep Singh Sandhu; Pramod Motaganahall; Al Mehdi Saadat Chowdhury; Bowen Xi; Paulo Shakarian (CoRR, 2024)

Abduction of Domain Relationships from Data for VQA. - Al Mehdi Saadat Chowdhury; Paulo Shakarian; Gerardo I. Simari (ICLP, 2024)

Multiple Distribution Shift - Aerial (MDS-A): A Dataset for Test-Time Error Detection and Model Adaptation. - Noel Ngu; Aditya Taparia; Gerardo I. Simari; Mario A. Leiva; Ransalu Senanayake; Paulo Shakarian; Nathaniel D. Bastian; John Corcoran (AAAI Spring Symposia, 2025)

Probabilistic Foundations for Metacognition via Hybrid-AI. - Paulo Shakarian; Gerardo I. Simari; Nathaniel D. Bastian (AAAI Spring Symposia, 2025)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories. - Divyagna Bavikadi; Nathaniel Lee; Paulo Shakarian; Chad Parvis (AAMAS, 2025)

A Survey of Sim-to-Real Methods in RL: Progress, Prospects and Challenges with Foundation Models. - Longchao Da; Justin Turnau; Thirulogasankar Pranav Kutralingam; Alvaro Velasquez; Paulo Shakarian; Hua Wei 001 (CoRR, 2025)

Multiple Distribution Shift - Aerial (MDS-A): A Dataset for Test-Time Error Detection and Model Adaptation. - Noel Ngu; Aditya Taparia; Gerardo I. Simari; Mario A. Leiva; Jack Corcoran; Ransalu Senanayake; Paulo Shakarian; Nathaniel D. Bastian (CoRR, 2025)

VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection. - Aditya Taparia; Noel Ngu; Mario A. Leiva; Joshua Shay Kricheli; John Corcoran; Nathaniel D. Bastian; Gerardo I. Simari; Paulo Shakarian; Ransalu Senanayake (CoRR, 2025)

Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments. - Mario A. Leiva; Noel Ngu; Joshua Shay Kricheli; Aditya Taparia; Ransalu Senanayake; Paulo Shakarian; Nathaniel D. Bastian; Jack Corcoran; Gerardo I. Simari (CoRR, 2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation. - Dyuman Aditya; Colton Payne; Mario A. Leiva; Paulo Shakarian (CoRR, 2025)

Reasoning about Medical Triage Optimization with Logic Programming. - Jaikrishna Manojkumar Patil; Adam Chapman; Richard Knuszka; John Chapman; Paulo Shakarian (CoRR, 2025)