9 citations · 11 across the 5 of their papers we have counts for
4 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…
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…
Multi-Agent Only-Knowing Revisited
Vaishak Belle, Gerhard Lakemeyer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavior…