2 citations · 2 across the 6 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…
Machine Learning Model Integration with Open World Temporal Logic for Process Automation
Dyuman Aditya, Colton Payne, Mario Leiva +1
Recent advances in Machine Learning (ML) have produced models that extract structured information from complex data. However, a significant challenge lies in translating these perc…
Robust Localization, Mapping, and Navigation for Quadruped Robots
Dyuman Aditya, Junning Huang, Nico Bohlinger +5
Quadruped robots are currently a widespread platform for robotics research, thanks to powerful Reinforcement Learning controllers and the availability of cheap and robust commercia…