yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007
A Multi-Start Very Large Neighbourhood Search Approach with Local Search Methods for Examination Timetabling
Preferred Operators and Deferred Evaluation in Satisficing Planning
Context-Aware Logistic Routing and Scheduling
Knowledge based decision support system for the selection of industrial robots
Fully Observable Nondeterministic HTN Planning - Formalisation and Complexity Results
Actor-Focused Interactive Visualization for AI Planning
Towards a Unified View of AI Planning and Reactive Synthesis
Integrating Planning and Control for Efficient Path Planning in the Presence of Environmental Disturbances
Abstraction-Guided Policy Recovery from Expert Demonstrations
Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation
Planning with Multiple Action-Cost Estimates
Compiling Probabilistic Model Checking into Probabilistic Planning
Planning for Concurrent Action Executions Under Action Duration Uncertainty Using Dynamically Generated Bayesian Networks
Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times
On Partial Satisfaction Planning with Total-Order HTNs
Conflict-Based Search for the Virtual Network Embedding Problem
Moving Target Search with Compressed Path Databases
Knowledge Compilation for Nondeterministic Action Languages
A Comparison of Algorithms for Solving the Multiagent Simple Temporal Problem
De-Cycling Cyclic Scheduling Problems
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
A Formal Analysis of Required Cooperation in Multi-Agent Planning
Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation
Realizing Multiple Autonomous Agents through Scheduling of Shared Devices
Reinforcement Learning Based Querying in Camera Networks for Efficient Target Tracking
An Exact Algorithm for the Linear Tape Scheduling Problem
Contingent Planning via Heuristic Forward Search witn Implicit Belief States
Effective Footstep Planning for Humanoids Using Homotopy-Class Guidance
Privacy Leakage of Search-Based Multi-Agent Planning Algorithms
Beyond Value: CheckList for Testing Inferences in Planning-Based RL
Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks
Advanced Factoring Strategies for Decoupled Search Using Linear Programming
Minimizing Breaks in Sport Scheduling with Local Search
Multi-Agent Path Finding with Mutex Propagation
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments
Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU
Planning Robust Manual Tasks in Hierarchical Belief Spaces
Modal logics for AI planning
Learning Scheduling Models from Event Data
Pattern Databases for Goal-Probability Maximization in Probabilistic Planning
Deduction-Based Refinement Planning
Imitation Improvement Learning for Large-Scale Capacitated Vehicle Routing Problems
A Generalized Framework for Lifelong Planning A* Search
Size Independent Neural Transfer for RDDL Planning
Planning with Reduced Operator Sets
Verifying Plans and Scripts for Robotics Tasks Using Performance Level Profiles
Bringing Users and Planning Technology Together. Experiences in SIADEX
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, Pittsburgh, Pennsylvania, USA, 1998
A New Probabilistic Plan Recognition Algorithm Based on String Rewriting
Planning over Integers: Compilations and Undecidability
An Online Replanning Approach for Crop Fields Mapping with Autonomous UAVs
Towards Robust Task Execution for Domestic Service Robots
Ground and Onboard Decision-Making on Satellite Data Downloads
Planning Graph-based Heuristics for Cost-sensitive Temporal Planning
Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning
Structure and Complexity in Planning with Unary Operators
Learning Inadmissible Heuristics During Search
Learning Heuristic Functions from Relaxed Plans
The FAR-OFF System: A Heuristic Search Case-Based Planning
Effective Information Value Calculation for Interruption Management in Multi-Agent Scheduling
Solution Approaches for an Automotive Paint Shop Scheduling Problem
Approximate Solution Techniques for Factored First-Order MDPs
Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State
Plan Execution Motivation in Multi-agent Systems
PDDL+ Planning with Events and Linear Processes
Utilizing Automatically Inferred Invariants in Graph Construction and Search
Genetic Programming of Control Knowledge for Planning
An Optimal Temporally Expressive Planner: Initial Results and Application to P2P Network Optimization
Mixed Integer Programming versus Evolutionary Computation for Optimizing a Hard Real-World Staff Assignment Problem
Compiling HTN Plan Verification Problems into HTN Planning Problems
ASP-Based Time-Bounded Planning for Logistics Robots
Iterative-deepening Bidirectional Heuristic Search with Restricted Memory
Event-Based Decompositions for Reasoning about External Change in Planners
Local Search for Flowshops with Setup Times and Blocking Constraints
In-silico Behavior Discovery System: An Application of Planning in Ethology
Online Macro Generation for Privacy Preserving Planning
Clothoidal Local Path Template for Intention Estimation by Assistive Mobile Robots
Segmenting Reactions to Improve the Behavior of a Planning/Reacting Agent
Planning with Diversified Models for Fault-Tolerant Robots
Analyzing the Impact of Partial States on Duplicate Detection and Collision of Frontiers
A Hybrid Genetic Algorithm for Parallel Machine Scheduling at Semiconductor Back-End Production
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata
Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI
A Hybrid Genetic Algorithm for the Vehicle Routing Problem with Roaming Delivery Locations
Width-Based Backward Search
Choosing Path Replanning Strategies for Unmanned Aircraft Systems
On the Hardness of Planning Problems with Simple Causal Graphs
Heuristics for Planning with SAT and Expressive Action Definitions
ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications
Using AI Planning Techniques to Automatically Generate Image Processing Procedures
Scheduling with Contingent Resources and Tasks
The Factored Shortest Path Problem and Its Applications in Robotics
Domain Model Acquisition in the Presence of Static Relations in the LOP System
Temporal Planning while the Clock Ticks
Compressed Path Databases with Ordered Wildcard Substitutions
Journal Track Paper Abstracts
The Use of Optimistic and Pessimistic Resource Profiles to Inform Search in an Activity Based Planner
Falsification of Cyber-Physical Systems Using PDDL+ Planning
Generalizing Action Justification and Causal Links to Policies
TRAINS-95: Towards a Mixed-Initiative Planning Assistant
A Comparison of Knowledge-Based GBFS Enhancements and Knowledge-Free Exploration
Strong Stubborn Sets for Efficient Goal Recognition Design
Using AI Planning to Enhance E-Learning Processes
Admissible Heuristics for Multi-Objective Planning
Mott's business-management expert planning system
Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods
Transformational Planning for Everyday Activity
Euclidean Distance-Optimal Post-processing of Grid-Based Paths
Multi-Agent Tree Search with Dynamic Reward Shaping
Path Planning for Dexterous Mobility
Contingent Planning as AND/OR Forward Search with Disjunctive Representation
Refining Process Descriptions from Execution Data in Hybrid Planning Domain Models
How to Relax a Bisimulation?
A Hierarchical Task-Network Planner based on Symbolic Model Checking
Planning for Attacker Entrapment in Adversarial Settings
Have I Been Here Before? State Memoization in Temporal Planning
Hierarchical Freespace Planning for Navigation in Unfamiliar Worlds
Real-time Planning by Interleaving Real-time Search with Subgoaling
Managing Personal Tasks with Time Constraints and Preferences
A Human-Aware Robot Task Planner
Planning-Based Social Partners for Children with Autism
Neural Network Action Policy Verification via Predicate Abstraction
Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems
Optimal Additive Composition of Abstraction-based Admissible Heuristics
Expressive Equivalence of Formalisms for Planning with Sensing
An On-Line Planner for POMDPs with Large Discrete Action Space: A Quantile-Based Approach
A Decentralised Strategy for Heterogeneous AUV Missions via Goal Distribution and Temporal Planning
Using Backwards Generated Goals for Heuristic Planning
Case Adaptation in a Case-based Process Planning System
Efficient Reasoning about Infeasible One Machine Sequencing
Satisfiability Planning with Constraints on the Number of Actions
A Discipline for Reactive Rescheduling
Cutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols
Finding Ways to Get the Job Done: An Affordance-Based Approach
Timeline-Based Space Operations Scheduling with External Constraints
CaMeL: Learning Method Preconditions for HTN Planning
Controlling Deliberation with the Success Probability in a Dynamic Environment
Automatic Derivation of World Update Schemes
Minimizing Movement to Establish the Connectivity of Randomly Deployed Robots
Simple Temporal Networks for Improvisational Teamwork
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring
Sampling Strategies for Conformant Planning
Best-First Width Search for Lifted Classical Planning
Under-Approximation Refinement for Classical Planning
The Use of Supervenience in Dynamic-world Planning
Propagating Piecewise-Linear Weights in Temporal Networks
Runahead A*: Speculative Parallelism for A* with Slow Expansions
Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009
Computing Global Strategies for Multi-Market Commodity Trading
A Unifying Formalism for Shortest Path Problems with Expensive Edge Evaluations via Lazy Best-First Search over Paths with Edge Selectors
Focused Topological Value Iteration
Numeric Planning with Disjunctive Global Constraints via SMT
Revisiting Risk-Sensitive MDPs: New Algorithms and Results
A Planner with Quality Goal and Its Speed-up Learning for Optimization Problem
Error-Tolerant Anytime Approach to Plan Recognition Using a Particle Filter
Act Local, Think Global: Width Notions for Tractable Planning
Online Computation of Euclidean Shortest Paths in Two Dimensions
Encoding Lifted Classical Planning in Propositional Logic
Any-Angle Pathfinding for Multiple Agents Based on SIPP Algorithm
Plan Relaxation via Action Debinding and Deordering
Individual Planning in Agent Populations: Exploiting Anonymity and Frame-Action Hypergraphs
Forward Constraint-Based Algorithms for Anytime Planning
Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain
Automated Planning to Prioritise Digital Forensics Investigation Cases Containing Indecent Images of Children
vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems
Personalized Medication and Activity Planning in PDDL+
A Temporal Planning System for Level 3 Durative Actions of PDDL+
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing
Retaining Flexibility to Maximize Quality: When the Scheduler Has the Right to Decide Activity Durations
In Search of the Tractability Boundary of Planning Problems
Planning with Multi-Agent Belief Using Justified Perspectives
Automaton-Guided Curriculum Generation for Reinforcement Learning Agents
Scheduling Ocean Color Observations for a GEO-Stationary Satellite
Augmenting Decisions of Taxi Drivers through Reinforcement Learning for Improving Revenues
Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition
Planning Graphs and Knowledge Compilation
Hybrid Queueing Theory and Scheduling Models for Dynamic Environments with Sequence-Dependent Setup Times
Online Traffic Signal Control through Sample-Based Constrained Optimization
Policy Evaluation with Temporal Differences: A Survey and Comparison (Extended Abstract)
Planning for Manipulation among Movable Objects: Deciding Which Objects Go Where, in What Order, and How
Thompson Sampling Based Monte-Carlo Planning in POMDPs
Partially Informed Depth-First Search for the Job Shop Problem
From Discrete Mission Schedule to Continuous Implicit Trajectory using Optimal Time Warping
Concurrent Probabilistic Planning in the Graphplan Framework
A Compilation Based Approach to Conformant Probabilistic Planning with Stochastic Actions
On Control Knowledge Acquisition by Exploiting Human-Computer Interaction
Profile-Based Algorithms to Solve Multiple Capacitated Metric Scheduling Problems
Constructing Simplified Plans Via Truth Criteria Approximation
Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming
Time-Dependent Simple Temporal Networks: Properties and Algorithms
Bounded-Parameter Partially Observable Markov Decision Processes
Lifted Stackelberg Planning
ReDS: A planning and scheduling environment for manufacturing
Occupation Measure Heuristics for Probabilistic Planning
Subset-Saturated Cost Partitioning for Optimal Classical Planning
Optimality Certificates for Classical Planning
Planning under LTL Environment Specifications
Embedded Planning
- D3WA+ - A Case Study of XAIP in a Model Acquisition Task for Dialogue Planning
A Procedural Knowledge Approach to Task-Level Control
Meta Reinforcement Learning for Heuristic Planing
Explicit Conjunctions without Compilation: Computing h FF (Pi C ) in Polynomial Time
Challenges for Temporal Planning with Uncertain Durations
Plan Stability: Replanning versus Plan Repair
Fast Dynamic Scheduling of Disjunctive Temporal Constraint Networks through Incremental Compilation
The use of decision support systems in manufacturing management
A New Approach to Tractable Planning
Integrating Vehicle Routing and Motion Planning
Model Recognition as Planning
A New Local-Search Algorithm for Forward-Chaining Planning
Best-First Width Search for Multi Agent Privacy-Preserving Planning
Safe, Strong, and Tractable Relevance Analysis for Planning
Sample-Based Planning for Continuous Action Markov Decision Processes
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006
Route Planning with Breaks and Truck Driving Bans Using Time-Dependent Contraction Hierarchies
Stubborn Sets for Fully Observable Nondeterministic Planning
History-Based Controller Design and Optimization for Partially Observable MDPs
New Valid Inequalities in Branch-and-Cut-and-Price for Multi-Agent Path Finding
Vision-Servoed Localization and Behavior-Based Planning for an Autonomous Quadruped Legged Robot
Forward-Chaining Partial-Order Planning
Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining
Optimization Model and Heuristic Approach for Blocks Retrieval Processes in Warehouses
Multi-Tier Automated Planning for Adaptive Behavior
Online Planning for Constrained POMDPs with Continuous Spaces through Dual Ascent
Delete-Relaxation Heuristics for Lifted Classical Planning
Framer: Planning Models from Natural Language Action Descriptions
An Approach for Efficient Planning of Robotic Manipulation Tasks
A Complete Algorithm for Generating Landmarks
Bandit-Based Planning and Learning in Continuous-Action Markov Decision Processes
Exploiting State Constraints in Heuristic State-Space Planning
Optimal Resource Allocation and Policy Formulation in Loosely-Coupled Markov Decision Processes
Long-Run Stability in Dynamic Scheduling
Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments
A Complete Bidirectional Planner
Multi-Modal Journey Planning in the Presence of Uncertainty
Strict Theta*: Shorter Motion Path Planning Using Taut Paths
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008
Schedule Generation Schemes and Genetic Algorithm for the Scheduling Problem with Skilled Operators and Arbitrary Precedence Relations
Planning for Distributed Execution through Use of Probabilistic Opponent Models
The Integrated Last-Mile Transportation Problem (ILMTP)
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches
Filtering for a Continuous Multi-Resources cumulative Constraint with Resource Consumption and Production
A Decision-Theoretic Approach to Dynamic Sensor Selection in Camera Networks
Simulated Penetration Testing: From "Dijkstra" to "Turing Test++"
Online Hedge Reservation for Diverse Plans and Competitive Analysis
Fast Temporal Planning in a Graphplan Framework
Managing Dynamic Temporal Constraint Networks
Lazy Receding Horizon A* for Efficient Path Planning in Graphs with Expensive-to-Evaluate Edges
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains
Modularity Issues in Reactive Planning
Dantzig-Wolfe Decomposition for Cost Partitioning
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017
Decentralized Online Scheduling of Combination-Appointments in Hospitals
Planning for Modular Printers: Beyond Productivity
DPPlan: An Algorithm for Fast Solutions Extraction from a Planning Graph
Backward Sequence Analysis for Single-Armed Cluster Tools
Temporal Constraints and the "Physics versus Advice" Issue from a Practical Perspective
New Refinement Strategies for Cartesian Abstractions
On the Identification and Use of Hierarchical Resources in Planning and Scheduling
Optimizing Parameters for Uncertain Execution and Rescheduling Robustness
A Novel Iterative Approach to Top-k Planning
Task Swapping for Schedule Improvement: A Broader Analysis
Convexity Hierarchies in Grid Networks
Planning Solar Array Operations on the International Space Station
Open-World Reasoning for Service Robots
Planning with Abstract Markov Decision Processes
Distributed Fleet Management in Noisy Environments via Model-Predictive Control
Improving Temporal Flexibility of Position Constrained Metric Temporal Plans
A Constraint-Based Approach for Proactive, Context-Aware Human Support
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width
Two-Oracle Optimal Path Planning on Grid Maps
Linkability: Examining Causal Link Commitments in Partial-order Planning
Navigation Planning in Probabilistic Roadmaps with Uncertainty
Exploiting Fully Observable and Deterministic Structures in Goal POMDPs
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects
An approach to production flow analysis using concepts from information theory
RePReL: Integrating Relational Planning and Reinforcement Learning for Effective Abstraction
Extending the Use of Inference in Temporal Planning as Forwards Search
Predicting Optimal Solution Cost with Bidirectional Stratified Sampling
Beliefs In Multiagent Planning: From One Agent to Many
The Relative Pruning Power of Strong Stubborn Sets and Expansion Core
Behavior Composition as Fully Observable Non-Deterministic Planning
Symmetry-Based Task Reduction for Relaxed Reachability Analysis
Improving Robot Plans During Their Execution
Robust Execution of Plans for Human-Robot Teams
Object Transition Sequences: A New Form of Abstraction for HTN Planners
ITOMP: Incremental Trajectory Optimization for Real-Time Replanning in Dynamic Environments
It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems
Generating Explanations for Temporal Logic Planner Decisions
Using AI Planning Technology for Army Small Unit Operations
Reinforcement Learning Approach to Solve Dynamic Bi-objective Police Patrol Dispatching and Rescheduling Problem
Anxiety-Sensitive Planning: From Formal Foundations to Algorithms and Applications
Analyzing and Avoiding Pathological Behavior in Parallel Best-First Search
Sequential Monte Carlo in Probabilistic Planning Reachability Heuristics
A Heuristic Approach to Planning with Incomplete STRIPS Action Models
Efficient Robot Planning for Achieving Multiple Independent Partially Observable Tasks That Evolve over Time
From Conformant into Classical Planning: Efficient Translations that May Be Complete Too
Coming Up With Good Excuses: What to do When no Plan Can be Found
Goal-Based Action Priors
Computing Applicability Conditions for Plans with Loops
Planning Time to Think: Metareasoning for On-Line Planning with Durative Actions
Shopper: A System for Executing and Simulating Expressive Plans
Analytic Decision Analysis via Symbolic Dynamic Programming for Parameterized Hybrid MDPs
Evaluating Diversity in Classical Planning
How to Make Probabilistic Planners Risk-sensitive (Without Altering Anything)
Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis
An Online Learning Method for Improving Over-Subscription Planning
Towards Time-Optimal Any-Angle Path Planning With Dynamic Obstacles
On the Use of Temporal Landmarks for Planning with Deadlines
Markov Decision Processes with Ordinal Rewards: Reference Point-Based Preferences
On Some Tractable Cases of Logical Filtering
Planning Personalised Museum Visits
Building a Planner for Information Gathering: A Report from the Trenches
LPRPG-P: Relaxed Plan Heuristics for Planning with Preferences
Planning While Learning Operators
Fast Feature Selection for Linear Value Function Approximation
Solving the Longest Simple Path Problem with Heuristic Search
Temporal Flexibility Revisited: Maximizing Flexibility by Computing Bipartite Matchings
Task and Motion Policy Synthesis as Liveness Games
Global Heuristics for Distributed Cooperative Multi-Agent Planning
An Efficient Memetic Algorithm for the Flexible Job Shop with Setup Times
Resource-Constrained Planning: A Monte Carlo Random Walk Approach
Scalability of Route Planning Techniques
Heuristic Search-Based Replanning
Learning Model Parameters for Decentralized Schedule-Driven Traffic Control
Representing Plans as a Set of Constraints - the <I-N-OVA> Model
Scheduling an Aircraft Repair Shop
On the Relation between Star-Topology Decoupling and Petri Net Unfolding
Learning and Exploiting Shaped Reward Models for Large Scale Multiagent RL
A Stochastic Dual Dynamic Integer Programming for the Uncapacitated Lot-Sizing Problem with Uncertain Demand and Costs
Scheduling Stochastic Jobs - Complexity and Approximation Algorithms
FF + FPG: Guiding a Policy-Gradient Planner
Eliminating Redundant Actions in Partially Ordered Plans - A Complexity Analysis
Enabling Fast Flexible Planning through Incremental Temporal Reasoning with Conflict Extraction
RBD - Rule based job dispatching software for implementing production plans
Learning Domain-Independent Planning Heuristics with Hypergraph Networks
Privacy-Preserving Algorithm for Decoupling of Multi-Agent Plans with Uncertainty
Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search
Flexible FOND HTN Planning: A Complexity Analysis
Fast Subgoaling for Pathfinding via Real-Time Search
Automated Agent Decomposition for Classical Planning
On Adversarial Search Spaces and Sampling-Based Planning
Explainable Goal Recognition: A Framework Based on Weight of Evidence
Planning with Thematic Actions
Route Planning for Bicycles - Exact Constrained Shortest Paths Made Practical via Contraction Hierarchy
Modeling Planning Tasks
Exploiting Cyclic Dependencies in Landmark Heuristics
Stronger Privacy Preserving Projections for Multi-Agent Planning
Towards Stable Symbol Grounding with Zero-Suppressed State AutoEncoder
Knowledge based master production scheduler
A Multi-Label A* Algorithm for Multi-Agent Pathfinding