| Situation calculus for controller synthesis in manufacturing systems with first-order state representation | 0 | 0.34 | 2022 |
| Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) | 0 | 0.34 | 2022 |
| Expecting the unexpected: Goal recognition for rational and irrational agents | 0 | 0.34 | 2021 |
| Goal Recognition Using Off-The-Shelf Process Mining Techniques | 0 | 0.34 | 2020 |
| Multi-Tier Automated Planning for Adaptive Behavior. | 0 | 0.34 | 2020 |
| Optimising Partial-Order Plans Via Action Reinstantiation | 0 | 0.34 | 2020 |
| Compositional Supervisory Control via Reactive Synthesis and Automated Planning | 0 | 0.34 | 2020 |
| Pacman Capture the Flag in AI Courses | 0 | 0.34 | 2019 |
| Goal Recognition for Rational and Irrational Agents | 0 | 0.34 | 2019 |
| HTN-like solutions for classical planning problems: An application to BDI agent systems. | 0 | 0.34 | 2019 |
| Cost-based goal recognition in navigational domains | 0 | 0.34 | 2019 |
| Cost-Based Goal Recognition for the Path-Planning Domain. | 0 | 0.34 | 2018 |
| Plan Relaxation via Action Debinding and Deordering. | 0 | 0.34 | 2018 |
| Situation Calculus for Synthesis of Manufacturing Controllers. | 0 | 0.34 | 2018 |
| Supporting adaptiveness of cyber-physical processes through action-based formalisms. | 4 | 0.39 | 2018 |
| Phase transition in the knapsack problem. | 0 | 0.34 | 2018 |
| On the Progression of Situation Calculus Universal Theories with Constants. | 0 | 0.34 | 2018 |
| Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis. | 2 | 0.40 | 2018 |
| Service Composition in Stochastic Settings. | 0 | 0.34 | 2017 |
| Handling non-local dead-ends in Agent Planning Programs. | 0 | 0.34 | 2017 |
| Intelligent Process Adaptation in the SmartPM System. | 17 | 0.62 | 2017 |
| Addendum to: Summary Information for Reasoning About Hierarchical Plans. | 0 | 0.34 | 2017 |
| Agent Design Consistency Checking via Planning. | 1 | 0.35 | 2017 |
| Norm Enforcement As Supervisory Control | 0 | 0.34 | 2017 |
| Cost-Based Goal Recognition for Path-Planning. | 4 | 0.42 | 2017 |
| Deceptive Path-Planning. | 0 | 0.34 | 2017 |
| An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. | 0 | 0.34 | 2016 |
| Computing Trace Alignment against Declarative Process Models through Planning. | 7 | 0.54 | 2016 |
| Agent planning programs | 4 | 0.47 | 2016 |
| Parallel Behavior Composition for Manufacturing. | 2 | 0.47 | 2016 |
| Incomplete Causal Laws in the Situation Calculus Using Free Fluents. | 0 | 0.34 | 2016 |
| Summary Information for Reasoning About Hierarchical Plans. | 2 | 0.38 | 2016 |
| Supervisory Control for Behavior Composition | 0 | 0.34 | 2016 |
| Verifying ConGolog Programs on Bounded Situation Calculus Theories. | 6 | 0.51 | 2016 |
| Pruning and preprocessing methods for inventory-aware pathfinding. | 0 | 0.34 | 2016 |
| Special Issue on: Knowledge-intensive Business Processes. | 0 | 0.34 | 2015 |
| Automated Process Adaptation in Cyber-Physical Domains with the SmartPM System (Short Paper). | 2 | 0.36 | 2015 |
| Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. | 2 | 0.40 | 2015 |
| Path planning with Inventory-driven Jump-Point-Search. | 1 | 0.40 | 2015 |
| A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. | 0 | 0.34 | 2015 |
| SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains. | 0 | 0.34 | 2015 |
| Improving domain-independent intention selection in BDI systems | 2 | 0.36 | 2015 |
| SmartPM: Automated Adaptation of Dynamic Processes. | 0 | 0.34 | 2014 |
| Evaluating coverage based intention selection | 5 | 0.46 | 2014 |
| SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. | 18 | 1.34 | 2014 |
| Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains. | 1 | 0.37 | 2014 |
| Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. | 1 | 0.36 | 2014 |
| Supremal realizability of behaviors with uncontrollable exogenous events | 6 | 0.52 | 2013 |
| Using strategic logics to reason about agent programs | 0 | 0.34 | 2013 |
| Behavior Composition as Fully Observable Non-Deterministic Planning. | 8 | 0.49 | 2013 |
