yusuke1997/dblp-id-title huggingface dataset:
Interactive Relational Reinforcement Learning of Concept Semantics (Extended Abstract)
Lower Bounding Klondike Solitaire with Monte-Carlo Planning
Single- and Dual-Arm Motion Planning with Heuristic Search
A Planner for Exploratory Data Analysis
Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning
Fast Plan Adaptation through Planning Graphs: Local and Systematic Search Techniques
Planning for Dynamic Configuration of Component-based Architectures
A Tree-Based Algorithm for Construction Robots
Incremental Maximum Flows for Fast Envelope Computation
Optimising Bounds in Simple Temporal Networks with Uncertainty under Dynamic Controllability Constraints
Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization
Landmark-Enhanced Heuristics for Goal Recognition in Incomplete Domain Models
A constraint-based approach to construction planning of multi-storey buildings
Towards Next Generation Touring: Personalized Group Tours
A Proof System for Unsolvable Planning Tasks
On-line Planning Simulation
Planning to Perceive: Exploiting Mobility for Robust Object Detection
HiPPo: Hierarchical POMDPs for Planning Information Processing and Sensing Actions on a Robot
Planning Via Random Walk-Driven Local Search
Towards Strong Cyclic Planning under Partial Observability
Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters
A rule based planning and scheduling system for manufacturing industries
Hierarchical Graph Traversal for Aggregate k Nearest Neighbors Search in Road Networks
Autonomous Building of Structures in Unstructured Environments via AI Planning
Heuristic Search on Graphs with Existence Priors for Expensive-to-Evaluate Edges
Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection, and Beyond
Convex Hull Monte-Carlo Tree-Search
A Loosely-Coupled Approach for Multi-Robot Coordination, Motion Planning and Control
A PDDL+ Benchmark Problem: The Batch Chemical Plant
Deep Reinforcement Learning Approach to Solve Dynamic Vehicle Routing Problem with Stochastic Customers
Stochastic Planning with First Order Decision Diagrams
Evaluating Plan-Property Dependencies: A Web-Based Platform and User Study
Explaining Path Plan Optimality: Fast Explanation Methods for Navigation Meshes Using Full and Incremental Inverse Optimization
Flexible FOND Planning with Explicit Fairness Assumptions
Compiling Conformant Probabilistic Planning Problems into Classical Planning
Reusing and Building a Policy Library
A Heuristic Estimator for Means-Ends Analysis in Planning
Oversubscription Planning as Classical Planning with Multiple Cost Functions
The Clustered Dial-a-Ride Problem
A Probabilistic Planner for the Combat Power Management Problem
Improving Determinization in Hindsight for On-line Probabilistic Planning
The Limits of Strong Privacy Preserving Multi-Agent Planning
Approximating the Value of Collaborative Team Actions for Efficient Multiagent Navigation in Uncertain Graphs
Improving MPGAA* for Extended Visibility Ranges
Reinforcement Learning for Zone Based Multiagent Pathfinding under Uncertainty
Counterexample-Guided Cartesian Abstraction Refinement
A Modular Structured Approach to Conditional Decision-Theoretic Planning
A New Perspective on Algorithms for Optimizing Policies under Uncertainty
Spatially Distributed Multiagent Path Planning
The Power of Reformulation: From Validation to Planning in PDDL+
Automated Planning and Control for High-Density Parking Lots
On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs
An Empirical Analysis of Some Heuristic Features for Local Search in LPG
Toward a Plan Steering Agent: Experiments with Schedule Maintenance
Making Forward Chaining Relevant
Task Phasing: Automated Curriculum Learning from Demonstrations
A Multi-Agent Framework to Solve Energy-Aware Unrelated Parallel Machine Scheduling Problems with Machine-Dependent Energy Consumption and Sequence-Dependent Setup Time
Optimal Control as a Graphical Model Inference Problem
Automatic Metamorphic Test Oracles for Action-Policy Testing
Discriminatively Reranking Abductive Proofs for Plan Recognition
Conditional Effects in Graphplan
Searching for Good Solutions in Goal-Dense Search Spaces
Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators
Pattern Database Heuristics for Fully Observable Nondeterministic Planning
Planning for Risk-Aversion and Expected Value in MDPs
Memory-Efficient Symbolic Heuristic Search
Predicting the Effectiveness of Bidirectional Heuristic Search
Planning with Respect to an Existing Schedule of Events
Potential Heuristics for Multi-Agent Planning
Dispatchable Execution of Schedules Involving Consumable Resources
Optimising the Stability in Plan Repair via Compilation
Least-Commitment Action Selection
A decision support system for timetable construction: Automated lesson planning using a special scheduling algorithm
Property Directed Reachability for Automated Planning
From Automated Verification to Automated Design
Exact Dynamic Programming for Decentralized POMDPs with Lossless Policy Compression
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends
Just-In-Time Scheduling with Constraint Programming
On the Tractability of Restricted Disjunctive Temporal Problems
Dynamic State-Space Partitioning in External-Memory Graph Search
Expert system for process planning int the cold forging of steel
Operations research and artificial intelligence cooperation to solve scheduling problems: the OPAL and OSCAR systems
Extended Goals for Composing Services
Maximizing Availability: A Commitment Heuristic for Oversubscribed Scheduling Problems
Exploiting a Graphplan Framework in Temporal Planning
Efficient Multi-Query Bi-Objective Search via Contraction Hierarchies
Through the Lens of Sequence Submodularity
An Optimal Constraint Programming Approach to the Open-Shop Problem
Critical-Path Dead-End Detection versus NoGoods: Offline Equivalence and Online Learning
Subset-Saturated Transition Cost Partitioning
Mixed Integer Linear Programming for Exact Finite-Horizon Planning in Decentralized Pomdps
Symbolic and Explicit Search Hybrid through Perfect Hash Functions - A Case Study in Connect Four
Expressive Planning and Explicit Knowledge
Plan-Based Policy-Learning for Autonomous Feature Tracking
Local Search Techniques for Temporal Planning in LPG
Admissible Landmark Heuristic for Multi-Agent Planning
An Empirical Study of Multi-Point Constructive Search for Constraint-Based Scheduling
Towards Finding Robust Execution Strategies for RCPSP/max with Durational Uncertainty
GRAND-VISION: An Intelligent System for Optimized Deployment Scheduling of Law Enforcement Agents
Learning Rules for Adaptive Planning
Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations
Multi Agent Path Finding under Obstacle Uncertainty
Temporal Planning as Refinement-Based Model Checking
Decision-theoretic Control of Failure Recovery
On the Use of UML.P for Modeling a Real Application as a Planning Problem
Improving Time-Dependent Contraction Hierarchies
An AI-assisted geographical planner
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks
Planning for the manufacturing domain: Long-term and reactive scheduling
Landmark Progression in Heuristic Search
Approximate Bi-Criteria Search by Efficient Representation of Subsets of the Pareto-Optimal Frontier
E2Coop: Energy Efficient and Cooperative Obstacle Detection and Avoidance for UAV Swarms
A Generic Technique for Synthesizing Bounded Finite-State Controllers
Merge and Shrink Abstractions for Temporal Planning
Fault Tolerant Planning: Complexity and Compilation
On-line Scheduling via Sampling
Improving AlphaZero Using Monte-Carlo Graph Search
Proof Planning
Automated Production Scheduling for Artificial Teeth Manufacturing
Goal Achievement in Partially Known, Partially Observable Domains
Learning Interpretable Models Expressed in Linear Temporal Logic
Combining Clinical and Spatial Constraints into Temporal Planning to Personalize Physical Rehabilitation
An Incremental Temporal Partial-Order Planner
Branching Continuous Time and the Semantics of Continuous Action
Contingent versus Deterministic Plans in Multi-Modal Journey Planning
Representing parts hierarchies for expert systems in engineering project management
Fast Incremental Policy Compilation from Plans in Hybrid Probabilistic Domains
Smart Urban Signal Networks: Initial Application of the SURTRAC Adaptive Traffic Signal Control System
EfficientIDC: A Faster Incremental Dynamic Controllability Algorithm
Revisiting Bounded-Suboptimal Safe Interval Path Planning
An Approximate Bayesian Reinforcement Learning Approach Using Robust Control Policy and Tree Search
Recommendation as a Stochastic Sequential Decision Problem
Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware
CircuitTSAT: A Solver for Large Instances of the Disjunctive Temporal Problem
On Modeling the Tactical Planning of Oil Pipeline Networks
P3C: A New Algorithm for the Simple Temporal Problem
A Planning Based Framework for Controlling Hybrid Systems
Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations
Jump Point Search with Temporal Obstacles
On Planning with Qualitative State-Trajectory Constraints in PDDL3 by Compiling them Away
Replanning for Situated Robots
Beam-Stack Search: Integrating Backtracking with Beam Search
Hierarchical Width-Based Planning and Learning
Exploiting Geometric Constraints in Multi-Agent Pathfinding
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus
Domain Model Acquisition in Domains with Action Costs
Active Coordination of Distributed Human Planners
Embedding a Scheduler in Execution for a Planetary Rover
An Investigation of Actions, Change and Space
Automated Web Service Composition by On-the-Fly Belief Space Search
Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation
Sequencing Operator Counts with State-Space Search
Timeline: An HTN Planner that can Reason about Time
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016
Is Policy Learning Overrated?: Width-Based Planning and Active Learning for Atari
Iterative Depth-First Search for FOND Planning
A Framework for Planning with Extended Goals under Partial Observability
PlanERS-1: An expert planning system for generating spacecraft mission plane
Solving Complex Planning Tasks Through Extraction of Subproblems
Integrated Motion Planning and Coordination for Industrial Vehicles
Potential Search: A Bounded-Cost Search Algorithm
AsbruView: Visualization of Time-Oriented, Skeletal Plans
Visual Programming of Plan Dynamics Using Constraints and Landmarks
Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search
Using Classical Planners to Solve Nondeterministic Planning Problems
Price Prediction Strategies for Market-Based Scheduling
Multiagent Planning Under Uncertainty with Stochastic Communication Delays
The "Limit" Domain
Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network
Mixed-Initiative Resource Management: The AMC Barrel Allocator
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines
Generalized Linear Integer Numeric Planning
Cost-Sharing Approximations for h+
A planning approach in building a computer aided design system
Heuristic Search for Generalized Stochastic Shortest Path MDPs
Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater
Total Completion Time Minimization for Scheduling with Incompatibility Cliques
Placement of Loading Stations for Electric Vehicles: Allowing Small Detours
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling
Towards Automating Crime Prevention through Environmental Design (CPTED) Analysis to Predict Burglary
Multi-Objective Evolutionary Algorithms for Scheduling the James Webb Space Telescope
Durative Planning in HTNs
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018
Solving Over-constrained Disjunctive Temporal Problems with Preferences
Learning to Estimate Search Progress Using Sequence of States
Generating Parallel Execution Plans with a Partial-order Planner
Concurrent Plan Recognition and Execution for Human-Robot Teams
Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning
Symbolic Pattern Databases in Heuristic Search Planning
Vehicle Routing and Job Shop Scheduling: What's the Difference?
Decision support systems for planners of water supply systems
Path Planning with Compressed All-Pairs Shortest Paths Data
Constraint knowledge for construction scheduling
Generating Plans To Succeed in Uncertain Environments
Incremental ARA*: An Incremental Anytime Search Algorithm for Moving-Target Search
Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods
Value Driven Landmarks for Oversubscription Planning
An AI-Based Planning Framework for HAPS in a Time-Varying Environment
Planning meets Data Cleansing
A Novel Priority Rule Heuristic: Learning from Justification
Abstraction Heuristics, Cost Partitioning and Network Flows
A Theoretical and Algorithmic Analysis of Configurable MDPs
Trial-Based Heuristic Tree Search for Finite Horizon MDPs
Algorithms for Solving Distributed Constraint Satisfaction Problems (DCSPs)
Dynamic Controllability of Temporally-flexible Reactive Programs
Automated Planning for Multi-Objective Machine Tool Calibration: Optimising Makespan and Measurement Uncertainty
The Windy Domain - A Challenging Real-World Application of Integrated Planning and Scheduling
A Planning Approach to Repair Domains with Incomplete Action Effects
Accelerating SAT Based Planning with Incremental SAT Solving
Probabilistic Plan Recognition in Multiagent Systems
Challenges and Methods in Testing the Remote Agent Planner
Learning Probabilistic Relational Planning Rules
Satellite Data Download Management with Uncertainty about the Generated Volumes
Static and Completion Analysis for Planning Knowledge Base Development and Verification
Enhancing the Context-Enhanced Additive Heuristic with Precedence Constraints
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners
Synthesis of Hierarchical Finite-State Controllers for POMDPs
Fully Automated Cyclic Planning for Large-Scale Manufacturing Domains
Gradient-Based Relational Reinforcement Learning of Temporally Extended Policies
Useless Actions Are Useful
Estimated-Regression Planning for Interactions with Web Services
Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty
Extending the Exploitation of Symmetries in Planning
Abstraction Heuristics Extended with Counting Abstractions
A Planning-Based Architecture for a Reconfigurable Manufacturing System
An Efficient Hybrid Genetic Algorithm for the Quadratic Traveling Salesman Problem
We Mind Your Well-Being: Preventing Depression in Uncertain Social Networks by Sequential Interventions
Distributed Algorithms for Incrementally Maintaining Multiagent Simple Temporal Networks
Task-Guided Inverse Reinforcement Learning under Partial Information
Admissible Heuristics for Optimal Planning
A Polynomial Planning Algorithm that Beats LAMA and FF
A Plan-Based Personalized Cognitive Orthotic
Handling Durative Actions in a Continuous Planning Framework
Generative Planning for Hybrid Systems Based on Flow Tubes
Planning in Action Language BC while Learning Action Costs for Mobile Robots
An Innovative Product for Space Mission Planning: An A Posteriori Evaluation
Leap Before You Look: Information Gathering in the PUCCINI Planner
Solving Factored MDPs with Exponential-Family Transition Models
Iterative Learning of Weighted Rule Sets for Greedy Search
On the Expressive Power of Non-Linear Merge-and-Shrink Representations
An evaluation function to compare alternative commitments during manufacturing planning and scheduling
Planning for Mining Operations with Time and Resource Constraints
Discovering Relational Domain Features for Probabilistic Planning
Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011
Symmetry Breaking: Satisficing Planning and Landmark Heuristics
On Stubborn Sets and Planning with Resources
Planning Under Uncertainty Using Reduced Models: Revisiting Determinization
Composition of Partially Observable Services Exporting their Behaviour
Temporal Landmarks: What Must Happen, and When
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA
More Shuttles, Less Cost: Energy Efficient Planning for Scalable High-Density Warehouse Environments
Integrated Operations (Re-)Scheduling from Mine to Ship
On the Compilation of Plan Constraints and Preferences
Decision-theoretic Refinement Planning Using Inheritance Abstraction
Motion Economy and Planning
Learning to Do HTN Planning
A Deep Ensemble Method for Multi-Agent Reinforcement Learning: A Case Study on Air Traffic Control
Solving Planning-Graph by Compiling It into CSP
Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement
A Polynomial Time Algorithm for Constructing k-Maintainable Policies
Conflict-Directed Diverse Planning for Logic-Geometric Programming
Minimal Landmarks for Optimal Delete-Free Planning
Executive decision support systems business goal seeking
Tractable Optimal Competitive Scheduling
What Makes Planners Predictable?
Towards a Heuristic for Scheduling the James Webb Space Telescope
Assignment and Prioritization of Tasks with Uncertain Durations for Satisfying Makespans in Decentralized Execution
Goal Recognition as a Deep Learning Task: The GRNet Approach
Planning for Marketing Campaigns
Encoding Temporal Planning as CSP
Compiling Optimal Numeric Planning to Mixed Integer Linear Programming
Domain-Specific Preferences for Causal Reasoning and Planning
Automated Verification of Social Law Robustness in STRIPS
Safe MDP Planning by Learning Temporal Patterns of Undesirable Trajectories and Averting Negative Side Effects
Online Stochastic Optimization Without Distributions
Local Search Topology in Planning Benchmarks: A Theoretical Analysis
Expert planning system for copper smelter
Domain Predictive Control Under Uncertain Numerical State Information
Multi-Agent Path Finding with Kinematic Constraints
Sequencing Operator Counts
Planning-Based Control of Software Agents
Efficient Heuristic Search for Optimal Environment Redesign
Symmetry Reduction for SAT Representations of Transition Systems
Resolving conflicting objectives in factory scheduling
Cost-Optimal Factored Planning: Promises and Pitfalls
Automated Planning for Liner Shipping Fleet Repositioning
Flexible Abstraction Heuristics for Optimal Sequential Planning
An Interactive Method for Inducing Operator Descriptions
A Constraint Programming Solution to the Guillotine Rectangular Cutting Problem
On Compiling Away PDDL3 Soft Trajectory Constraints without Using Automata
The Scanalyzer Domain: Greenhouse Logistics as a Planning Problem
Sensitivity Analysis for Dynamic Control of PSTNs with Skewed Distributions
Searching for Plans with Carefully Designed Probes
Priority-Based Search for the Virtual Network Embedding Problem
Handling Model Uncertainty and Multiplicity in Explanations via Model Reconciliation
Learning Sequences of Approximations for Hierarchical Motion Planning
An Affectively Driven Planner for Synthetic Characters
Provable Indefinite-Horizon Real-Time Planning for Repetitive Tasks
Joint Pricing and Matching for City-Scale Ride-Pooling
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019
Algorithm Selection in Optimization and Application to Angry Birds
Fast Probabilistic Planning through Weighted Model Counting
Planning Experiments: Resolving Interactions between Two Planning Spaces
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014
Predicted Composite Signed-Distance Fields for Real-Time Motion Planning in Dynamic Environments
Generating and Exploiting Cost Predictions in Heuristic State-Space Planning
Exact Methods for Extended Rotating Workforce Scheduling Problems
Conflict-Based Increasing Cost Search
Constructing Conflict-Free Schedules in Space and Time
What's in It for My BDD? On Causal Graphs and Variable Orders in Planning
Can They Come Together? A Computational Complexity Analysis of Conjunctive Possible Effects of Compound HTN Planning Tasks
Distributed Control of Situated Assistance in Large Domains with Many Tasks
Additive-Disjunctive Heuristics for Optimal Planning
Multi-service digital access network planning with the expert system RAMSES
A Reminder about the Importance of Computing and Exploiting Invariants in Planning
A Multi-Parameter Complexity Analysis of Cost-Optimal and Net-Benefit Planning
Robust Operations Management on Mars
Improving Zero-Shot Coordination Performance Based on Policy Similarity
Training Deep Reactive Policies for Probabilistic Planning Problems
A Column Generation Approach to Correlated Simple Temporal Networks
Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement
Probabilistic Planning with Nonlinear Utility Functions
One Step on the Left, One Step on the Right, and Back to the Middle: Exploring Temporal Domains in a POP Fashion
Computing Close to Optimal Weighted Shortest Paths in Practice
Optimal Rectangle Packing: A Meta-CSP Approach
Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications
Dynamic Weight Setting for Personnel Scheduling with Many Objectives
A structure for an interactive project management system
Schedule-Driven Coordination for Real-Time Traffic Network Control
Improved Local Search for Job Shop Scheduling with uncertain Durations
Looking for Shortcuts: Infeasible Search Analysis for Oversubscribed Scheduling Problems
Finite LTL Synthesis as Planning
Solving the Multi-Choice Two Dimensional Shelf Strip Packing Problem with Time Windows
Probabilistic Planning with Information Gathering and Contingent Execution
A Semantics for HTN Methods
Learning Domain-Specific Control Knowledge from Random Walks
Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases
Computing Solutions in Infinite-Horizon Discounted Adversarial Patrolling Games
Deadline-Aware Multi-Agent Tour Planning
When Perfect Is Not Good Enough: On the Search Behaviour of Symbolic Heuristic Search
On the Expressive Power of Planning Formalisms in Conjunction with LTL
Flaw Selection Strategies for Value-Directed Planning
Computing Domain Abstractions for Optimal Classical Planning with Counterexample-Guided Abstraction Refinement
On Computational Complexity of Automorphism Groups in Classical Planning
Search Portfolio with Sharing
Pruning Methods for Optimal Delete-Free Planning
Learning Neural Search Policies for Classical Planning
Statistical Goal Parameter Recognition
Dual Formulations for Optimizing Dec-POMDP Controllers
An Investigation of Phase Transitions in Single-Machine Scheduling Problems
Goal Recognition Design
Automated Design of fMRI Paradigms
How to Solve It Automatically: Selection Among Problem Solving Methods
Temporal Planning with Problems Requiring Concurrency through Action Graphs and Local Search
Faster than Weighted A*: An Optimistic Approach to Bounded Suboptimal Search
Automatic Extraction of Axioms for Planning
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems