Search Results for author:
Found 10 papers, 2 papers with code
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
The most commonly used approach represents time by adding a real-valued fluent $\mathit{time}(a)$ that attaches a time point to each action and consequently to each situation.
Extracting Rules from Event Data for Study Planning
In this study, we examine how event data from campus management systems can be used to analyze the study paths of higher education students.
Multi-Valued Partial Order Plans in Numeric Planning
Many planning formalisms allow for mixing numeric with Boolean effects.
A Combined Approach of Process Mining and Rule-based AI for Study Planning and Monitoring in Higher Education
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 management system data and study program models.
Predictive Object-Centric Process Monitoring
Objects in OCEL can have attributes that are useful in predicting the next event and timestamp, such as a priority class attribute for an object type package indicating slower or faster processing.
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
One technique to tackle this problem is goal reasoning, where the agent not only reasons about its actions, but also about which goals to pursue.
On the Verification of Belief Programs
In this paper, we propose a formalism for belief programs based on a modal logic of actions and beliefs.
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
We show that for programs over finite domains and with fully known initial state, the problem of synthesizing a controller that satisfies the constraints while preserving the effects of the original program can be reduced to MTL synthesis.
KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation
We present Knowledge Enhanced Multimodal BART (KM-BART), which is a Transformer-based sequence-to-sequence model capable of reasoning about commonsense knowledge from multimodal inputs of images and texts.
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories
In manufacturing, the increasing involvement of autonomous robots in production processes poses new challenges on the production management.
