The following pages link to (Q5313998):
Displayed 24 items.
- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming (Q3601793) (← links)
- Towards Real-World HTN Planning Agents (Q3627842) (← links)
- Modeling robotic operations controlled by natural language (Q4574759) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- Logic Programming for Multiagent Planning with Negotiation (Q4649727) (← links)
- Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming (Q5019605) (← links)
- Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning (Q5026253) (← links)
- On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier (Q5079776) (← links)
- Planning with Critical Section Macros: Theory and Practice (Q5094030) (← links)
- A Comprehensive Framework for Learning Declarative Action Models (Q5094057) (← links)
- Qualitative Numeric Planning: Reductions and Complexity (Q5139597) (← links)
- Analyzing Heuristic-based Randomized Search Strategies for the Quantum Circuit Compilation Problem (Q5140145) (← links)
- Learning-driven goal generation (Q5145430) (← links)
- Cost-optimal Planning, Delete Relaxation, Approximability, and Heuristics (Q5145837) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Łukasiewicz Games (Q5277898) (← links)
- Randomized Shortest-Path Problems: Two Related Models (Q5323768) (← links)
- Benchmark and Survey of Automated Machine Learning Frameworks (Q5856462) (← links)
- Scrutable robot actions using a hierarchical ontological model (Q6045081) (← links)
- Complexity of qualitative timeline-based planning (Q6060102) (← links)
- Fast and accurate data-driven goal recognition using process mining techniques (Q6080644) (← links)
- A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms (Q6120385) (← links)
- Finite-trace and generalized-reactivity specifications in temporal synthesis (Q6151754) (← links)