30 citations · 49 across the 16 of their papers we have counts for
11 papers · 1 filter
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…
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…
A Combined Approach of Process Mining and Rule-based AI for Study Planning and Monitoring in Higher Education
Miriam Wagner, Hayyan Helal, Rene Roepke +7
This paper presents an approach of using methods of process mining and rule-based artificial intelligence to analyze and understand study paths of students based on campus manageme…
Predictive Object-Centric Process Monitoring
Timo Rohrer, Anahita Farhang Ghahfarokhi, Mohamed Behery +2
The automation and digitalization of business processes has resulted in large amounts of data captured in information systems, which can aid businesses in understanding their proce…
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
Daniel Swoboda, Till Hofmann, Tarik Viehmann +1
Reasoning and planning for mobile robots is a challenging problem, as the world evolves over time and thus the robot's goals may change. One technique to tackle this problem is goa…
On the Verification of Belief Programs
Daxin Liu, Gerhard Lakemeyer
In a recent paper, Belle and Levesque proposed a framework for a type of program called belief programs, a probabilistic extension of GOLOG programs where every action and sensing…