Name Venue Year citations
First-Order Representation Languages for Goal-Conditioned RL. AAAI 2026 0
Learning Lifted Action Models from Traces of Incomplete Actions and States. KR 2025 0
Learning General Policies from Examples. KR 2025 0
Learning More Expressive General Policies for Classical Planning Domains. AAAI 2025 0
Sketch Decompositions for Classical Planning via Deep Reinforcement Learning. IJCAI 2025 0
Symmetries and Expressive Requirements for Learning General Policies. KR 2024 6
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies. ICAPS 2024 2
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches. JAIR 2024 5
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains. IJCAI 2024 3
Learning to Ground Existentially Quantified Goals. KR 2024 1
Combined Task and Motion Planning via Sketch Decompositions. ICAPS 2024 0
General Policies, Subgoal Structure, and Planning Width. JAIR 2024 0
Learning General Policies with Policy Gradient Methods. KR 2023 29
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules. KR 2023 11
Learning Generalized Policies without Supervision Using GNNs. KR 2022 37
Target Languages (vs. Inductive Biases) for Learning to Act and Plan. AAAI 2022 0
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits. ICAPS 2022 0
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width. ICAPS 2022 0
Flexible FOND Planning with Explicit Fairness Assumptions. JAIR 2022 0
General Policies, Representations, and Planning Width. AAAI 2021 27
Flexible FOND Planning with Explicit Fairness Assumptions. ICAPS 2021 12
Learning General Planning Policies from Small Examples Without Supervision. AAAI 2021 44
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches. KR 2021 0
Learning First-Order Representations for Planning from Black Box States: New Results. KR 2021 0
High-level Programming via Generalized Planning and LTL Synthesis. KR 2020 12
Learning First-Order Symbolic Representations for Planning from the Structure of the State Space. ECAI 2020 0
Qualitative Numeric Planning: Reductions and Complexity. JAIR 2020 0
Learning Features and Abstract Actions for Computing Generalized Plans. AAAI 2019 0
Features, Projections, and Representation Change for Generalized Planning. IJCAI 2018 56
Planning With Pixels in (Almost) Real Time. AAAI 2018 22
Model-free, Model-based, and General Intelligence. IJCAI 2018 63
Compact Policies for Fully Observable Non-Deterministic Planning as SAT. ICAPS 2018 33
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators. IJCAI 2017 52
A Polynomial Planning Algorithm that Beats LAMA and FF. ICAPS 2017 36
Multiagent Online Planning with Nested Beliefs and Dialogue. ICAPS 2017 23
Improving Plan Quality through Heuristics for Guiding and Pruning the Search: A Study Using LAMA. SOCS 2017 3
Best-First Width Search: Exploration and Exploitation in Classical Planning. AAAI 2017 122
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. IJCAI 2017 41
Factored Probabilistic Belief Tracking. IJCAI 2016 6
Effective Planning with More Expressive Languages. IJCAI 2016 7
Traps, Invariants, and Dead-Ends. ICAPS 2016 34
∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction. IJCAI 2016 11
Classical Planning with Simulators: Results on the Atari Video Games. IJCAI 2015 86
Modeling and Computation in Planning: Better Heuristics from More Expressive Languages. ICAPS 2015 39
Policies that Generalize: Solving Many Planning Problems with the Same Policy. IJCAI 2015 24
Beliefs In Multiagent Planning: From One Agent to Many. ICAPS 2015 103
Width-Based Planning for General Video-Game Playing. AIIDE 2015 0
Width-based Algorithms for Classical Planning: New Results. ECAI 2014 24
Non-classical Planning with a Classical Planner: The Power of Transformations. JELIA 2014 5
Belief Tracking for Planning with Sensing: Width, Complexity and Approximations. JAIR 2014 51
Flexible and Scalable Partially Observable Planning with Linear Translations. AAAI 2014 19
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation. IJCAI 2013 8
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners. IJCAI 2013 0
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning. AAAI 2012 12
Action Selection for MDPs: Anytime AO* Versus UCT. AAAI 2012 51
Width and Serialization of Classical Planning Problems. ECAI 2012 151
Heuristic Search for Generalized Stochastic Shortest Path MDPs. ICAPS 2011 93
Qualitative Numeric Planning. AAAI 2011 52
Computing Infinite Plans for LTL Goals Using a Classical Planner. IJCAI 2011 50
Effective Heuristics and Belief Tracking for Planning with Incomplete Information. ICAPS 2011 28
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent. IJCAI 2011 158
Planning under Partial Observability by Classical Replanning: Theory and Experiments. IJCAI 2011 87
Searching for Plans with Carefully Designed Probes. ICAPS 2011 74
Inference and Learning in Planning. ILP 2011 0
The Model-Based Approach to Autonomous Behavior: A Personal View. AAAI 2010 14
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners. AAAI 2010 369
Compiling Uncertainty Away in Non-Deterministic Conformant Planning. ECAI 2010 24
Automatic Derivation of Finite-State Machines for Behavior Control. AAAI 2010 36
Plan Recognition as Planning. IJCAI 2009 345
Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics. IJCAI 2009 20
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width. JAIR 2009 176
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners. ICAPS 2009 119
A Translation-Based Approach to Contingent Planning. IJCAI 2009 148
Inference and Decomposition in Planning Using Causal Consistent Chains. ICAPS 2009 17
Soft Goals Can Be Compiled Away. JAIR 2009 114
Solving POMDPs: RTDP-Bel vs. Point-based Algorithms. IJCAI 2009 121
Unifying the Causal Graph and Additive Heuristics. ICAPS 2008 126
Heuristics for Planning with Action Costs Revisited. ECAI 2008 113
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits. Artificial Intelligence 2008 15
From Conformant into Classical Planning: Efficient Translations that May Be Complete Too. ICAPS 2007 66
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. CP 2007 33
Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs. ICAPS 2006 89
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. KR 2006 26
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes). AAAI 2006 56
Branching and pruning: An optimal temporal POCL planner based on constraint programming. Artificial Intelligence 2006 0
Solving Simple Planning Problems with More Inference and No Search. CP 2005 30
An Algorithm Better than AO*? AAAI 2005 32
New Admissible Heuristics for Domain-Independent Planning. AAAI 2005 170
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. ICAPS 2005 67
mGPT: A Probabilistic Planner Based on Heuristic Search. JAIR 2005 110
Search and Inference in AI Planning. CP 2005 2
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming. AAAI 2004 260
Planning Graphs and Knowledge Compilation. ICAPS 2004 16
Planning Graphs and Knowledge Compilation. KR 2004 0
Branching Matters: Alternative Branching in Graphplan. ICAPS 2003 12
Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming. ICAPS 2003 385
PDDL 2.1: Representation vs. Computation. JAIR 2003 14
Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback. IJCAI 2003 128
Planning as heuristic search. Artificial Intelligence 2001 1233
Learning Generalized Policies in Planning Using Concept Languages. KR 2000 76
Independence in qualitative uncertainty frameworks. KR 2000 23
Learning Sorting and Decision Trees with POMDPs. ICML 1998 24
Modeling Action, Knowledge and Control. ECAI 1998 34
Causality, Constraints and Indirect Effects. IJCAI 1997 6
Arguing for Decisions: A Qualitative Model of Decision Making. UAI 1996 106
Sound and Efficient Non-monotonic Inference. IJCAI 1995 0
Causal Default Reasoning: Principles and Algorithms. AAAI 1994 8
Conditional Entailment: Bridging two Approaches to Default Reasoning. Artificial Intelligence 1992 230
Beyond Negation as Failure. KR 1991 21
Causal Theories for Nonmonotonic Reasoning. AAAI 1990 67
Default Reasoning, Minimality and Coherence. KR 1989 8
On the Logic of Defaults. AAAI 1988 31
An Improved Constraint-Propagation Algorithm for Diagnosis. IJCAI 1987 57
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ