30 citations · 49 across the 16 of their papers we have counts for
19 papers
LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction
Er Jin, Qihui Feng, Yongli Mou +4
Logical image understanding involves interpreting and reasoning about the relationships and consistency within an image's visual content. This capability is essential in applicatio…
A ROS~2-based Navigation and Simulation Stack for the Robotino
Saurabh Borse, Tarik Viehmann, Alexander Ferrein +1
The Robotino, developed by Festo Didactic, serves as a versatile platform in education and research for mobile robotics tasks. However, there currently is no ROS2 integration for t…
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
Till Hofmann, Stefan Schupp, Gerhard Lakemeyer
Representing time is crucial for cyber-physical systems and has been studied extensively in the situation calculus. The most commonly used approach represents time by adding a real…
Extracting Rules from Event Data for Study Planning
Majid Rafiei, Duygu Bayrak, Mahsa Pourbafrani +4
In this study, we examine how event data from campus management systems can be used to analyze the study paths of higher education students. The main goal is to offer valuable guid…
Multi-Valued Partial Order Plans in Numeric Planning
Hayyan Helal, Gerhard Lakemeyer
Many planning formalisms allow for mixing numeric with Boolean effects. However, most of these formalisms are undecidable. In this paper, we will analyze possible causes for this u…
Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab
Mohamed Behery, Gerhard Lakemeyer
The World Wide Lab (WWL) connects the Digital Shadows (DSs) of processes, products, companies, and other entities allowing the exchange of information across company boundaries. Si…