Papers

Preprint

K. Mukherji, J. Patil, D. Aditya, P. Shakarian, D. Parkar, L. Pokala, C. Dorman, G. I. Simari, Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning.

2026

M. Leiva, N. Ngu, J. S. Kricheli, A. Taparia, R. Senanayake, P. Shakarian, N.D. Bastian, J. Cororan, G. Simari, Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments, AAAI-2026.

2025

D. Aditya, C. Payne, M. A. Leiva, P. Shakarian, Machine Learning Model Integration with Open World Temporal Logic for Process Automation, 41^st Intl. Conference on Logic Programming (ICLP-25).

J. Patil, R. Knuszka, A. Chapman, J. Chapman, P. Shakarian, Reasoning about Medical Triage Optimization with Logic Programming, 41^st Intl. Conference on Logic Programming (ICLP-25).

D. Bavikadi, N. Lee, P. Shakarian, C. Parvis, Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories, 24^thIntl. Conf. on Autonomous Agents and Multiagent Systems (AAMAS-2025).

2024

D. Bavikadi, D. Aditya, D. Parkar, P. Shakarian, G. Mueller, C. Parvis, G. Simari, Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing, 40^th Intl. Conference on Logic Programming (ICLP-24).

K. Mukherji, D. Parkar, L. Pokala, D. Aditya, P. Shakarian, C. Dorman. Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning,  18^th IEEE International Conference on Semantic Computing (IEEE ICSC), 2024.

2023

D. Aditya, K. Mukherji, S. Balasubramanian, A. Chaudhary, P. Shakarian, PyReason: Software for Open World Temporal Logic, AAAI Spring Symposium (AAAI-MAKE) (Mar. 2023).

2022

P. Shakarian, G.I. Simari, Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture, IEEE TransAI, 2022.