Showing cs.LOShow all
2 papers · 1 filter
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.LO2025
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…