1 citations · 1 across the 7 of their papers we have counts for
3 papers · 1 filter
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…