research
∙
09/15/2023
Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques
A transhumeral prosthesis restores missing anatomical segments below the...
share
research
∙
03/15/2021
Flexible FOND Planning with Explicit Fairness Assumptions
We consider the problem of reaching a propositional goal condition in fu...
research
∙
02/27/2020
Multi-tier Automated Planning for Adaptive Behavior (Extended Version)
A planning domain, as any model, is never complete and inevitably makes ...
research
∙
07/12/2018
Situation Calculus for Synthesis of Manufacturing Controllers
Manufacturing is transitioning from a mass production model to a manufac...
research
∙
06/26/2018
Phase transition in the knapsack problem
We examine the phase transition phenomenon for the Knapsack problem from...
research
∙
08/09/2017
Addendum to: Summary Information for Reasoning About Hierarchical Plans
Hierarchically structured agent plans are important for efficient planni...
research
∙
07/04/2016
Path planning with Inventory-driven Jump-Point-Search
In many navigational domains the traversability of cells is conditioned ...
research
∙
07/17/2012
Reasoning about Agent Programs using ATL-like Logics
We propose a variant of Alternating-time Temporal Logic (ATL) grounded i...
research
∙
07/17/2012