research
∙
07/27/2023
Multi-Valued Partial Order Plans in Numeric Planning
Many planning formalisms allow for mixing numeric with Boolean effects. ...
share
research
∙
04/04/2023
Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab
The World Wide Lab (WWL) connects the Digital Shadows (DSs) of processes...
research
∙
03/09/2023
Assistive Robot Teleoperation Using Behavior Trees
Robotic assistance in robot arm teleoperation tasks has recently gained ...
research
∙
11/22/2022
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 r...
research
∙
07/20/2022
Predictive Object-Centric Process Monitoring
The automation and digitalization of business processes has resulted in ...
research
∙
06/20/2022
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
Reasoning and planning for mobile robots is a challenging problem, as th...
research
∙
04/26/2022
On the Verification of Belief Programs
In a recent paper, Belle and Levesque proposed a framework for a type of...
research
∙
07/20/2021
Ontology-Assisted Generalisation of Robot Action Execution Knowledge
When an autonomous robot learns how to execute actions, it is of interes...
research
∙
05/20/2021
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models
When faced with an execution failure, an intelligent robot should be abl...
research
∙
02/19/2021
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
Executing a Golog program on an actual robot typically requires addition...
research
∙
11/12/2017
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 pro...
research
∙
01/22/2013
A Rational and Efficient Algorithm for View Revision in Databases
The dynamics of belief and knowledge is one of the major components of a...
research
∙
09/10/2010
Multi-Agent Only-Knowing Revisited
Levesque introduced the notion of only-knowing to precisely capture the ...
research
∙
03/08/2000
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
High-level robot controllers in realistic domains typically deal with pr...
research
∙
01/19/2000