1 citations · 1 across the 7 of their papers we have counts for
7 papers
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…
Open, Reproducible Calculation of Assembly Indices
Devansh Vimal, Garrett Parzych, Olivia M. Smith +4
We present assembly-theory, a Rust package for computing assembly indices of covalently bonded molecular structures. This is a key complexity measure of assembly theory, a recent t…
Unsupervised Learning of Local Updates for Maximum Independent Set in Dynamic Graphs
Devendra Parkar, Anya Chaturvedi, Joshua J. Daymude
We present the first unsupervised learning model for Maximum-Independent-Set (MaxIS) in dynamic graphs where edges change over time. Our method combines structural learning from gr…
Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing
Divyagna Bavikadi, Dyuman Aditya, Devendra Parkar +4
The ability to generate artificial human movement patterns while meeting location and time constraints is an important problem in the security community, particularly as it enables…
Evolving Collective Behavior in Self-Organizing Particle Systems
Devendra Parkar, Kirtus G. Leyba, Raylene A. Faerber +1
Local interactions drive emergent collective behavior, which pervades biological and social complex systems. But uncovering the interactions that produce a desired behavior remains…
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…
Distributed Online Rollout for Multivehicle Routing in Unmapped Environments
Jamison W. Weber, Dhanush R. Giriyan, Devendra R. Parkar +2
In this work we consider a generalization of the well-known multivehicle routing problem: given a network, a set of agents occupying a subset of its nodes, and a set of tasks, we s…