2 papers
cs.LO2025
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Kaustuv Mukherji, Jaikrishna Manojkumar Patil, Dyuman Aditya +5
We introduce Lattice Annotated Temporal (LAT) Logic, an extension of Generalized Annotated Logic Programs (GAPs) that incorporates temporal reasoning and supports open-world semant…
cs.LG2023
Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning
Kaustuv Mukherji, Devendra Parkar, Lahari Pokala +3
Recent advances in reinforcement learning (RL) have shown much promise across a variety of applications. However, issues such as scalability, explainability, and Markovian assumpti…