4 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…