bibliography.bib

@string{JAIR = {{J. Artif. Intell. Res.(JAIR)}}}

@string{JMLR = {{J. Mach. Learn. Res.(JMLR)}}}

@string{IJRR = {{Int. J. Robot. Res.(IJRR)}}}

@string{AIJ = {{Artificial Intelligence}}}

@string{IEEE = {{Proc. of the IEEE}}}

@string{ECAI = {{Proc. of European Conference on Artificial Intelligence}}}

@string{IJCAI = {{Proc. of International Joint Conference on Artificial Intelligence (IJCAI)}}}

@string{KEPS = {{Proc. of the ICAPS Workshop on Knowledge Engineering for Planning and Scheduling(KEPS)}}}

@string{SPARK = {{Proc. of the ICAPS Workshop on Scheduling and Planning Applications (SPARK)}}}

@string{PRL = {{Proc. of the ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL)}}}

@string{HSDIP = {{Proc. of the ICAPS Workshop on Heuristics and Search for Domain-independent Planning (HSDIP)}}}

@string{ICAPS = {{Proc. of the International Conference on Automated Planning and Scheduling (ICAPS)}}}

@string{IPC = {{Proc. of the International Planning Competition}}}

@string{ECP = {{Proc. of European Conference on Planning}}}

@string{AIPS = {{Proc. of the International Conference on Artificial Intelligence Planning and Scheduling}}}

@string{SOCS = {{Proc. of Annual Symposium on Combinatorial Search}}}

@string{SARA = {{Proc. of Symposium on Abstraction, Reformulation, and Approximation}}}

@string{AAAI = {{Proc. of AAAI Conference on Artificial Intelligence}}}

@string{CP = {{Proc. of International Conference on Principles and Practice of Constraint Programming}}}

@string{IAAI = {{Proc. of the Innovative Applications of Artificial Intelligence Conference}}}

@string{ICRA = {{Proc. of IEEE International Conference on Robotics and Automaton (ICRA)}}}

@string{IROS = {{Proc. of IEEE International Workshop on Intelligent Robots and Systems (IROS)}}}

@string{AAMAS = {{Proc. of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)}}}

@string{UAI = {{Proc. of the International Conference on Uncertainty in Artificial Intelligence (UAI)}}}

@string{NIPS = {{Proc. of the Advances in Neural Information Processing Systems (Neurips)}}}

@string{ICML = {{Proc. of the International Conference on Machine Learning (ICML)}}}

@string{ICLR = {{Proc. of the International Conference on Learning Representations (ICLR)}}}

@string{CVPR = {{Proc. of IEEE Conference on Computer Vision and Pattern Recognition (CVPR)}}}

@string{ICASSP = {{Proc. of IEEE Conference on Acoustics, Speech and Signal Processing (ICASSP)}}}

@string{IJCCI = {{Proc. of International Joint Conference on Computational Intelligence (IJCCI)}}}

@string{ILP = {{Proc. of International Conference on Inductive Logic Programming ({ILP})}}}

@string{SIGMOD = {{Proc. of the International Conference on Management of Data (SIGMOD)}}}

@string{SIGKDD = {{Proc. of ACM International Conference on Knowledge Discovery and Data Mining (SIGKDD)}}}

@string{ECCV = {{Proc. of the European Conference on Computer Vision (ECCV)}}}

@string{ICPR = {{Proc. of the International Conference on Pattern Recognition (ICPR)}}}

@string{TPAMI = {{IEEE Transactions on Pattern Analysis and Machine Intelligence}}}

@string{ACL = {{Proc. of the Annual Meeting of the Association for Computational Linguistics (ACL)}}}

@string{COLING = {{Proc. of the International Conference on Computational Linguistics (COLING)}}}

@string{COMPINT = {Computational Intelligence}}

@string{ECML = {{Proc. of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases}}}

@string{AMAI = {{Annals of Mathematics and Artificial Intelligence}}}

@string{AISTATS = {Proc. of the International Conference on Artificial Intelligence and Statistics (AISTATS)}}

@string{ICCV = {Proc. of the IEEE International Conference on Computer Vision (ICCV)}}

@string{CADE = {{Proc. of the International Conference on Automated Deduction (CADE)}}}

@string{COLT = {{Proc. of the Conference on Learning Theory (COLT)}}}

@string{PLDI = {{Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation}}}

@string{ECMLKDD = {{Proc. of Joint European Conference on Machine Learning and Knowledge Discovery in Databases}}}

@article{folbre1997future,
	author = {Folbre, Nancy},
	journal = {Population and Development Review},
	number = {3},
	pages = {647--654},
	publisher = {JSTOR},
	title = {{The Future of the Elephant-Bird}},
	volume = {23},
	year = {1997}
}

@book{seuss1968horton,
	author = {Seuss},
	publisher = {Random House Books for Young Readers},
	title = {{Horton Hatches the Egg}},
	volume = {1},
	year = {1968}
}

@book{kipling1983elephant,
	author = {Kipling, Rudyard},
	publisher = {Houghton Mifflin Harcourt},
	title = {{The Elephant's Child}},
	year = {1983}
}

@article{cooper2001complete,
	author = {Cooper, Alan and Lalueza-Fox, Carles and Anderson, Simon and Rambaut, Andrew and Austin, Jeremy and Ward, Ryk},
	journal = {Nature},
	number = {6821},
	pages = {704--707},
	publisher = {Nature Publishing Group},
	title = {{Complete Mitochondrial Genome Sequences of Two Extinct Moas Clarify Ratite Evolution}},
	volume = {409},
	year = {2001}
}

@article{carlqvist2003theory,
	author = {Carlqvist, Per and Gahm, GF and Kristen, H},
	journal = {Astronomy \& Astrophysics},
	number = {2},
	pages = {399--412},
	publisher = {EDP Sciences},
	title = {{Theory of twisted trunks}},
	volume = {403},
	year = {2003}
}

@inproceedings{xie15understanding,
	author = {Xie, Fan and M{\"u}ller, Martin and Holte, Robert C.},
	booktitle = ICAPS,
	pages = {244--248},
	title = {{Understanding and Improving Local Exploration for {GBFS}}},
	year = {2015}
}

@inproceedings{xie14gbfsle,
	author = {Xie, Fan and M{\"u}ller, Martin and Holte, Robert C.},
	booktitle = AAAI,
	pages = {2388--2394},
	title = {{Adding Local Exploration to Greedy Best-First Search in Satisficing Planning}},
	year = {2014}
}

@inproceedings{hubaracseb16binarized,
	author = {Hubara, Itay and Courbariaux, Matthieu and Soudry, Daniel and El{-}Yaniv, Ran and Bengio, Yoshua},
	booktitle = NIPS,
	pages = {4107--4115},
	title = {{Binarized Neural Networks}},
	year = {2016}
}

@inproceedings{vinyals15pointer,
	author = {Vinyals, Oriol and Fortunato, Meire and Jaitly, Navdeep},
	booktitle = NIPS,
	pages = {2692--2700},
	title = {{Pointer Networks}},
	year = {2015}
}

@inproceedings{Asai2018,
	author = {Asai, Masataro and Fukunaga, Alex},
	booktitle = AAAI,
	editor = {McIlraith, Sheila A. and Weinberger, Kilian Q.},
	pages = {6094--6101},
	publisher = {{AAAI} Press},
	title = {{Classical Planning in Deep Latent Space: Bridging the Subsymbolic-Symbolic Boundary}},
	year = {2018}
}

@inproceedings{ioffe2015batch,
	author = {Ioffe, Sergey and Szegedy, Christian},
	booktitle = ICML,
	editor = {Bach, Francis R. and Blei, David M.},
	pages = {448--456},
	publisher = {JMLR.org},
	series = {{JMLR} Workshop and Conference Proceedings},
	title = {{Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift}},
	volume = {37},
	year = {2015}
}

@inproceedings{TuckerMMLS17,
	author = {Tucker, George and Mnih, Andriy and Maddison, Chris J. and Lawson, John and Sohl{-}Dickstein, Jascha},
	booktitle = NIPS,
	pages = {2624--2633},
	title = {{{REBAR:} Low-variance, Unbiased Gradient Estimates for Discrete Latent Variable Models}},
	year = {2017}
}

@inproceedings{ChrpaVM15,
	author = {Chrpa, Luk{\'a}{\v s} and Vallati, Mauro and McCluskey, Thomas Leo},
	booktitle = IJCAI,
	title = {{On the Online Generation of Effective Macro-Operators}},
	year = {2015}
}

@inproceedings{areces2014optimizing,
	author = {Areces, Carlos and Bustos, Facundo and Dominguez, Mart{\'\i}n Ariel and Hoffmann, J{\"o}rg},
	booktitle = ICAPS,
	title = {{Optimizing Planning Domains by Automatic Action Schema Splitting}},
	volume = {24},
	year = {2014}
}

@inproceedings{Garcia-DuranFB06,
	address = {Santiago de Compostela, Spain},
	author = {Garc{\'\i}a{-}Dur{\'a}n, Roc{\'\i}o and Fern{\'a}ndez, Fernando and Borrajo, Daniel},
	booktitle = ILP,
	doi = {10.1007/978-3-540-73847-3_25},
	month = {August 24-27},
	title = {{Combining Macro-operators with Control Knowledge}},
	year = {2006}
}

@inproceedings{xie14type,
	author = {Xie, Fan and M{\"u}ller, Martin and Holte, Robert C. and Imai, Tatsuya},
	booktitle = AAAI,
	title = {{Type-Based Exploration with Multiple Search Queues for Satisficing Planning}},
	year = {2014}
}

@inproceedings{stern2010look,
	author = {Stern, Roni and Kulberis, Tamar and Felner, Ariel and Holte, Robert C.},
	booktitle = AAAI,
	number = {1},
	title = {{Using Lookaheads with Optimal Best-First Search}},
	volume = {24},
	year = {2010}
}

@inproceedings{valenzano10,
	author = {Valenzano, Richard Anthony and Sturtevant, Nathan R. and Schaeffer, Jonathan and Buro, Karen and Kishimoto, Akihiro},
	booktitle = ICAPS,
	title = {{Simultaneously Searching with Multiple Settings: An Alternative to Parameter Tuning for Suboptimal Single-Agent Search Algorithms}},
	year = {2010}
}

@inproceedings{imai2011novel,
	author = {Imai, Tatsuya and Kishimoto, Akihiro},
	booktitle = AAAI,
	title = {{A Novel Technique for Avoiding Plateaus of Greedy Best-First Search in Satisficing Planning}},
	year = {2011}
}

@inproceedings{lipovetzky2011searching,
	author = {Lipovetzky, Nir and Geffner, H{\'e}ctor},
	booktitle = ICAPS,
	title = {{Searching for Plans with Carefully Designed Probes}},
	year = 2011
}

@inproceedings{LipovetzkyG09,
	author = {Lipovetzky, Nir and Geffner, H{\'e}ctor},
	booktitle = ICAPS,
	title = {{Inference and Decomposition in Planning using Causal Consistent Chains}},
	year = 2009
}

@inproceedings{NakhostM10,
	author = {Nakhost, Hootan and M{\"u}ller, Martin},
	booktitle = ICAPS,
	title = {{Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement}},
	year = {2010}
}

@inproceedings{BarrettW93,
	author = {Barrett, Anthony and Weld, Daniel S.},
	booktitle = IJCAI,
	title = {{Characterizing Subgoal Interactions for Planning}},
	year = 1993
}

@inproceedings{nakhost2009monte,
	author = {Nakhost, Hootan and M{\"u}ller, Martin},
	booktitle = IJCAI,
	title = {{Monte-Carlo Exploration for Deterministic Planning}},
	year = {2009}
}

@inproceedings{xie2012planning,
	author = {Xie, Fan and Nakhost, Hootan and M{\"u}ller, Martin},
	booktitle = ICAPS,
	title = {{Planning Via Random Walk-Driven Local Search}},
	year = {2012}
}

@inproceedings{Asai2016,
	address = {Arizona, USA},
	author = {Asai, Masataro and Fukunaga, Alex},
	booktitle = AAAI,
	month = {February},
	title = {{Tiebreaking Strategies for Classical Planning Using $A^*$ Search}},
	year = {2016}
}

@inproceedings{chrpa2015exploiting,
	author = {Chrpa, Luk{\'a}{\v s} and Siddiqui, Fazlul Hasan},
	booktitle = IJCAI,
	title = {{Exploiting Block Deordering for Improving Planners Efficiency}},
	year = {2015}
}

@inproceedings{vallati2015effective,
	author = {Vallati, Mauro and Hutter, Frank and Chrpa, Luk{\'a}{\v s} and McCluskey, Thomas Leo},
	booktitle = IJCAI,
	title = {{On the Effective Configuration of Planning Domain Models}},
	year = {2015}
}

@inproceedings{Kautz92,
	author = {Selman, Bart and Levesque, Hector J and Mitchell, David G and others},
	booktitle = AAAI,
	title = {{A New Method for Solving Hard Satisfiability Problems}},
	year = {1992}
}

@inproceedings{burns2012implementing,
	author = {Burns, Ethan Andrew and Hatem, Matthew and Leighton, Michael J and Ruml, Wheeler},
	booktitle = SOCS,
	title = {{Implementing Fast Heuristic Search Code}},
	year = {2012}
}

@inproceedings{smith2004choosing,
	author = {Smith, David E},
	booktitle = ICAPS,
	title = {{Choosing Objectives in Over-Subscription Planning}},
	year = {2004}
}

@inproceedings{benton2005over,
	author = {Benton, J and Do, Minh Binh and Kambhampati, Subbarao},
	booktitle = IJCAI,
	title = {{Over-Subscription Planning with Numeric Goals}},
	year = {2005}
}

@inproceedings{Asai2015,
	address = {Jerusalem, Israel},
	author = {Asai, Masataro and Fukunaga, Alex},
	booktitle = ICAPS,
	month = {June},
	title = {{Solving Large-Scale Planning Problems by Decomposition and Macro Generation}},
	year = {2015}
}

@inproceedings{burfoot2006rrt,
	author = {Burfoot, Daniel and Pineau, Joelle and Dudek, Gregory},
	booktitle = ICAPS,
	title = {{RRT-Plan: A Randomized Algorithm for STRIPS Planning}},
	year = {2006}
}

@inproceedings{hall2013faster,
	author = {Hall, David Leo Wright and Cohen, Alon and Burkett, David and Klein, Dan},
	booktitle = ICAPS,
	title = {{Faster Optimal Planning with Partial-Order Pruning}},
	year = {2013}
}

@inproceedings{bernardini2013planning,
	author = {Bernardini, Sara and Porayska-Pomsta, Kaska},
	booktitle = ICAPS,
	title = {{Planning-Based Social Partners for Children with Autism}},
	year = {2013}
}

@inproceedings{valenzano2014comparison,
	author = {Valenzano, Richard Anthony and Schaeffer, Jonathan and Sturtevant, Nathan R. and Xie, Fan},
	booktitle = ICAPS,
	title = {{A Comparison of Knowledge-Based GBFS Enhancements and Knowledge-Free Exploration}},
	year = {2014}
}

@inproceedings{atramentov2002efficient,
	author = {Atramentov, Anna and LaValle, Steven M},
	booktitle = IRCA,
	title = {{Efficient Nearest Neighbor Searching for Motion Planning}},
	year = {2002}
}

@inproceedings{beckmann1990r,
	author = {Beckmann, Norbert and Kriegel, Hans-Peter and Schneider, Ralf and Seeger, Bernhard},
	booktitle = SIGMOD,
	number = {2},
	title = {{The R*-Tree: An Efficient and Robust Access Method for Points and Rectangles}},
	volume = {19},
	year = {1990}
}

@inproceedings{roussopoulos1995nearest,
	author = {Roussopoulos, Nick and Kelley, Stephen and Vincent, Fr{\'e}d{\'e}ric},
	booktitle = SIGMOD,
	number = {2},
	title = {{Nearest Neighbor Queries}},
	volume = {24},
	year = {1995}
}

@inproceedings{alcazar2011adapting,
	author = {Alc{\'a}zar, Vidal and Veloso, Manuela M. and Borrajo, Daniel},
	booktitle = SOCS,
	title = {{Adapting a Rapidly-Exploring Random Tree for Automated Planning}},
	year = {2011}
}

@inproceedings{kishimoto2009scalable,
	author = {Kishimoto, Akihiro and Fukunaga, Alex and Botea, Adi},
	booktitle = ICAPS,
	title = {{Scalable, Parallel Best-First Search for Optimal Sequential Planning}},
	year = {2009}
}

@inproceedings{holte2010common,
	author = {Holte, Robert C.},
	booktitle = SOCS,
	title = {{Common Misconceptions Concerning Heuristic Search}},
	year = {2010}
}

@inproceedings{bry2011rapidly,
	author = {Bry, Adam and Roy, Nicholas},
	booktitle = IRCA,
	title = {{Rapidly-Exploring Random Belief Trees for Motion Planning Under Uncertainty}},
	year = {2011}
}

@inproceedings{kumar2014tree,
	author = {Kumar, TS and Jung, Sangmook and Koenig, Sven},
	booktitle = ICAPS,
	title = {{A Tree-Based Algorithm for Construction Robots}},
	year = {2014}
}

@inproceedings{erdem2005genome,
	author = {Erdem, Esra and Tillier, Elisabeth},
	booktitle = AAAI,
	title = {{Genome Rearrangement and Planning}},
	year = {2005}
}

@inproceedings{boddy2005course,
	author = {Boddy, Mark S and Gohde, Johnathan and Haigh, Thomas and Harp, Steven A},
	booktitle = ICAPS,
	title = {{Course of Action Generation for Cyber Security Using Classical Planning}},
	year = {2005}
}

@inproceedings{do2008line,
	author = {Do, Minh Binh and Ruml, Wheeler and Zhou, Rong},
	booktitle = AAAI,
	title = {{On-line Planning and Scheduling: An Application to Controlling Modular Printers}},
	year = {2008}
}

@inproceedings{fang2014chance,
	author = {Fang, Cheng and Yu, Peng and Williams, Brian C.},
	booktitle = AAAI,
	title = {{Chance-Constrained Probabilistic Simple Temporal Problems}},
	year = {2014}
}

@inproceedings{gerevini2009automatically,
	author = {Gerevini, Alfonso Emilio and Saetti, Alessandro and Vallati, Mauro},
	booktitle = ICAPS,
	title = {{An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP}},
	year = {2009}
}

@inproceedings{coles2011popf2,
	author = {Coles, Amanda and Coles, Andrew and Fox, Maria and Long, Derek},
	booktitle = IPC,
	title = {{POPF2: a Forward-Chaining Partial Order Planner}},
	year = {2011}
}

@inproceedings{srivastava2007domain,
	author = {Srivastava, Biplav and Nguyen, Tuan Anh and Gerevini, Alfonso Emilio and Kambhampati, Subbarao and Do, Minh Binh and Serina, Ivan},
	booktitle = IJCAI,
	title = {{Domain Independent Approaches for Finding Diverse Plans}},
	year = {2007}
}

@inproceedings{goldman2015measuring,
	author = {Goldman, Robert P and Kuter, Ugur},
	booktitle = AAAI,
	title = {{Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric}},
	year = {2015}
}

@inproceedings{coman2011generating,
	author = {Coman, Alexandra and Mu{\~n}oz-Avila, H{\'e}ctor},
	booktitle = AAAI,
	title = {{Generating Diverse Plans Using Quantitative and Qualitative Plan Distance Metrics}},
	year = {2011}
}

@inproceedings{alhossaini2013instance,
	author = {Alhossaini, Maher A and Beck, J Christopher},
	booktitle = SARA,
	title = {{Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators}},
	year = {2013}
}

@inproceedings{fabre2010cost,
	author = {Fabre, Eric and Jezequel, Lo{\"\i}g and Haslum, Patrik and Thi{\'e}baux, Sylvie},
	booktitle = ICAPS,
	title = {{Cost-Optimal Factored Planning: Promises and Pitfalls}},
	year = {2010}
}

@inproceedings{Asai2014,
	address = {Portsmouth, NH},
	author = {Asai, Masataro and Fukunaga, Alex},
	booktitle = ICAPS,
	month = {June},
	title = {{Fully Automated Cyclic Planning for Large-Scale Manufacturing Domains}},
	year = {2014}
}

@inproceedings{Amdahl1967,
	author = {Amdahl, Gene M},
	booktitle = {Spring Joint Computer Conference},
	title = {{Validity of the Single Processor Approach to Achieving Large Scale Computing Capabilities}},
	year = {1967}
}

@inproceedings{Bacchus2000,
	author = {Bacchus, Fahiem},
	booktitle = IPC,
	title = {{Subset of {PDDL} for the {AIPS2000} Planning Competition}},
	year = {2000}
}

@inproceedings{baier2007exploiting,
	author = {Baier, Jorge A and Fritz, Christian and McIlraith, Sheila A},
	booktitle = ICAPS,
	pages = {26--33},
	title = {{Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners}},
	year = {2007}
}

@inproceedings{BoteaMS04,
	author = {Botea, Adi and M{\"u}ller, Martin and Schaeffer, Jonathan},
	booktitle = ICAPS,
	title = {{Using Component Abstraction for Automatic Generation of Macro-Actions}},
	year = {2004}
}

@inproceedings{Chrpa2008,
	author = {Chrpa, Luk{\'a}{\v s} and Bart{\'a}k, Roman},
	booktitle = FLAIRS,
	title = {{Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies}},
	year = {2008}
}

@inproceedings{chrpa2014mum,
	author = {Chrpa, Luk{\'a}{\v s} and Vallati, Mauro and McCluskey, Thomas Leo},
	booktitle = ICAPS,
	title = {{MUM: A Technique for Maximising the Utility of Macro-operators by Constrained Generation and Use}},
	year = {2014}
}

@inproceedings{Chrpa2012,
	author = {Chrpa, Luk{\'a}{\v s} and McCluskey, Thomas Leo and Osborne, Hugh},
	booktitle = ICAPS,
	title = {{Optimizing Plans through Analysis of Action Dependencies and Independencies}},
	year = {2012}
}

@inproceedings{CushingKTWM2007,
	author = {Cushing, William and Kambhampati, Subbarao and Talamadupula, Kartik and Weld, Daniel S. and Mausam},
	booktitle = ICAPS,
	title = {{Evaluating Temporal Planning Domains}},
	year = {2007}
}

@inproceedings{Dreo2011,
	author = {Dr{\'e}o, Johann and Sav{\'e}ant, Pierre and Schoenauer, Marc and Vidal, Vincent},
	booktitle = IPC,
	title = {{Divide-and-Evolve: The Marriage of Descartes and Darwin}},
	year = {2011}
}

@inproceedings{DraperJCJ1999,
	author = {Draper, D. and Jonsson, Anders and Clements, D. and Joslin, D.},
	booktitle = IJCAI,
	title = {{Cyclic Scheduling}},
	year = {1999}
}

@inproceedings{erol1994,
	author = {Erol, Kutluhan and Hendler, James and Nau, Dana S.},
	booktitle = AAAI,
	title = {{HTN Planning: Complexity and Expressivity}},
	year = {1994}
}

@inproceedings{fern2004learning,
	author = {Fern, Alan and Yoon, Sung Wook and Givan, Robert},
	booktitle = ICAPS,
	title = {{Learning Domain-Specific Control Knowledge from Random Walks}},
	year = {2004}
}

@inproceedings{GereviniS98,
	author = {Gerevini, Alfonso Emilio and Schubert, Lenhart K.},
	booktitle = AAAI,
	title = {{Inferring State Constraints for Domain-Independent Planning}},
	year = {1998}
}

@inproceedings{Helmert2009,
	author = {Helmert, Malte and Domshlak, Carmel},
	booktitle = ICAPS,
	title = {{Landmarks, Critical Paths and Abstractions: What's the Difference Anyway?}},
	year = {2009}
}

@inproceedings{likhachev2008r,
	author = {Likhachev, Maxim and Stentz, Anthony},
	booktitle = {{Lab Papers (GRASP)}},
	title = {{R* Search}},
	year = {2008}
}

@inproceedings{lipovetzky2014planning,
	author = {Lipovetzky, Nir},
	booktitle = ICAPS,
	title = {{Planning for Mining Operations with Time and Resource Constraints}},
	year = {2014}
}

@inproceedings{nissim2012tunneling,
	author = {Nissim, Raz and Apsel, Udi and Brafman, Ronen I.},
	booktitle = ECAI,
	title = {{Tunneling and Decomposition-Based State Reduction for Optimal Planning}},
	year = {2012}
}

@inproceedings{Ochi2013,
	author = {Ochi, Kimitomo and Fukunaga, Alex and Kondo, Chikako and Maeda, Munehiko and Hasegawa, Fumio and Kawano, Yukihiro},
	booktitle = SPARK,
	title = {{A Steady-State Model for Automated Sequence Generation in a Robotic Assembly System}},
	year = {2013}
}

@inproceedings{parkinson2012application,
	author = {Parkinson, Simon},
	booktitle = ICAPS,
	title = {{The Application of Automated Planning to Machine Tool Calibration}},
	year = {2012}
}

@inproceedings{rintanen2004phase,
	author = {Rintanen, Jussi and others},
	booktitle = ICAPS,
	title = {{Phase Transitions in Classical Planning: An Experimental Study}},
	year = {2004}
}

@inproceedings{Smith1993,
	author = {Smith, Stephen F and Cheng, Cheng-Chung},
	booktitle = AAAI,
	title = {{Slack-Based Heuristics for Constraint Satisfaction Scheduling}},
	year = {1993}
}

@inproceedings{Vidal2011,
	author = {Vidal, Vincent},
	booktitle = IPC,
	editor = {{Angel Garc{\i}a-Olaya}, SJ and L{\'o}pez, CL eds.},
	title = {{{CPT4}: An Optimal Temporal Planner Lost in a Planning Competition without Optimal Temporal Track}},
	year = {2011}
}

@inproceedings{Vidal2011a,
	author = {Vidal, Vincent},
	booktitle = IPC,
	editor = {{Angel Garc{\i}a-Olaya}, SJ and L{\'o}pez, CL eds.},
	title = {{{YAHSP2}: Keep it Simple, Stupid}},
	year = {2011}
}

@inproceedings{Vidal2014,
	author = {Vidal, Vincent},
	booktitle = IPC,
	editor = {Vallati, Mauro and Chrpa, Luk{\'a}{\v s} and McCluskey, Thomas L.},
	title = {{YAHSP3 and YAHSP3-MT in the 8th International Planning Competition}},
	year = {2014}
}

@inproceedings{Vidal2004,
	author = {Vidal, Vincent and others},
	booktitle = ICAPS,
	title = {{A Lookahead Strategy for Heuristic Search Planning}},
	year = {2004}
}

@inproceedings{valenzano2012arvandherd,
	author = {Valenzano, Richard Anthony and Nakhost, Hootan and M{\"u}ller, Martin and Schaeffer, Jonathan and Sturtevant, Nathan R.},
	booktitle = ECAI,
	title = {{ArvandHerd: Parallel Planning with a Portfolio}},
	year = {2012}
}

@inproceedings{cenamor2014ibacop,
	author = {Cenamor, Isabel and de la Rosa, Tom{\'a}s and Fern{\'a}ndez, Fernando},
	booktitle = IPC,
	title = {{IBACOP and IBACOP2 planner}},
	year = {2014}
}

@inproceedings{kelareva2007factored,
	author = {Kelareva, Elena and Buffet, Olivier and Huang, Jinbo and Thi{\'e}baux, Sylvie},
	booktitle = IJCAI,
	title = {{Factored Planning Using Decomposition Trees}},
	year = {2007}
}

@inproceedings{robinson2013query,
	author = {Robinson, Nathan and McIlraith, Sheila A and Toman, David},
	booktitle = SPARK,
	title = {{Query Optimization Revisited: An AI Planning Perspective}},
	year = 2013
}

@inproceedings{Asai2014b,
	address = {Portsmouth, NH},
	author = {Asai, Masataro and Fukunaga, Alex},
	booktitle = KEPS,
	month = {June},
	title = {{Applying Problem Decomposition to Extremely Large Planning Domains}},
	year = {2014}
}

@inproceedings{Vidal2006,
	author = {Vidal, Vincent and Tabary, S{\'e}bastien},
	booktitle = ICAPS,
	title = {{The New Version of {CPT}, an Optimal Temporal {POCL} Planner Based on Constraint Programming}},
	year = {2006}
}

@inproceedings{fukunaga2012iterative,
	author = {Fukunaga, Alex and Kishimoto, Akihiro and Botea, Adi},
	booktitle = AAAI,
	title = {{Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters}},
	year = {2012}
}

@inproceedings{PommereningRHB14,
	author = {Pommerening, Florian and R{\"o}ger, Gabriele and Helmert, Malte and Bonet, Blai},
	booktitle = ICAPS,
	title = {{LP-Based Heuristics for Cost-Optimal Planning}},
	year = {2014}
}

@inproceedings{ImaiF14,
	author = {Imai, Tatsuya and Fukunaga, Alex},
	booktitle = ECAI,
	doi = {10.3233/978-1-61499-419-0-459},
	title = {{A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal Planning}},
	year = {2014}
}

@inproceedings{TolpinBSFK13,
	author = {Tolpin, David and Beja, Tal and Shimony, Solomon Eyal and Felner, Ariel and Karpas, Erez},
	booktitle = IJCAI,
	title = {{Toward Rational Deployment of Multiple Heuristics in {A}}},
	year = {2013}
}

@inproceedings{RogerH10,
	author = {R{\"o}ger, Gabriele and Helmert, Malte},
	booktitle = ICAPS,
	title = {{The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning}},
	year = {2010}
}

@inproceedings{benton2010g,
	author = {Benton, J and Talamadupula, Kartik and Eyerich, Patrick and Mattm{\"u}ller, Robert and Kambhampati, Subbarao},
	booktitle = ICAPS,
	title = {{G-Value Plateaus: A Challenge for Planning}},
	year = {2010}
}

@inproceedings{cushing2010cost,
	author = {Cushing, William and Benton, J and Kambhampati, Subbarao},
	booktitle = SOCS,
	title = {{Cost Based Search Considered Harmful}},
	year = {2010}
}

@inproceedings{wilt2011cost,
	author = {Wilt, Christopher Makoto and Ruml, Wheeler},
	booktitle = SOCS,
	title = {{Cost-Based Heuristic Search is Sensitive to the Ratio of Operator Costs}},
	year = {2011}
}

@inproceedings{helmert2008unifying,
	author = {Helmert, Malte and Geffner, H{\'e}ctor},
	booktitle = ICAPS,
	pages = {140--147},
	title = {{Unifying the Causal Graph and Additive Heuristics}},
	year = {2008}
}

@inproceedings{edelkamp2001planning,
	author = {Edelkamp, Stefan},
	booktitle = ECP,
	title = {{Planning with Pattern Databases}},
	year = {2001}
}

@inproceedings{haslum2000admissible,
	author = {Haslum, Patrik and Geffner, H{\'e}ctor},
	booktitle = AIPS,
	title = {{Admissible Heuristics for Optimal Planning}},
	year = {2000}
}

@inproceedings{kuffner2000rrt,
	author = {Kuffner, James J and LaValle, Steven M},
	booktitle = IRCA,
	title = {{RRT-Connect: An Efficient Approach to Single-Query Path Planning}},
	year = {2000}
}

@inproceedings{jaillet2011eg,
	author = {Jaillet, L{\'e}onard and Hoffman, Judy and {Van den Berg}, Jur and Abbeel, Pieter and Porta, Josep M and Goldberg, Ken},
	booktitle = IROS,
	title = {{EG-RRT: Environment-Guided Random Trees for Kinodynamic Motion Planning with Uncertainty and Obstacles}},
	year = {2011}
}

@inproceedings{urmson2003approaches,
	author = {Urmson, Chris and Simmons, Reid G},
	booktitle = IROS,
	title = {{Approaches for Heuristically Biasing RRT Growth}},
	year = {2003}
}

@inproceedings{yang1994,
	author = {Yang, Qiang and Bai, Shuo and Qiu, Guiyou},
	booktitle = AIPS,
	title = {{A Framework for Automatic Problem Decomposition in Planning}},
	year = {1994}
}

@inproceedings{NewtonLFL2007,
	author = {Newton, M. H. and Levine, J. and Fox, Maria and Long, Derek},
	booktitle = ICAPS,
	title = {{Learning Macro-Actions for Arbitrary Planners and Domains}},
	year = 2007
}

@inproceedings{kautz1998blackbox,
	author = {Kautz, Henry A. and Selman, Bart},
	booktitle = {AIPS},
	title = {{BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving}},
	year = {1998}
}

@inproceedings{roberts2014evaluating,
	author = {Roberts, Mark and Howe, A and Ray, Indrajit},
	booktitle = ICAPS,
	title = {{Evaluating Diversity in Classical Planning}},
	year = {2014}
}

@inproceedings{domshlak2013symmetry,
	author = {Domshlak, Carmel and Katz, Michael and Shleyfman, Alexander},
	booktitle = ICAPS,
	title = {{Symmetry Breaking: Satisficing Planning and Landmark Heuristics}},
	year = {2013}
}

@inproceedings{pochter2011exploiting,
	author = {Pochter, Nir and Zohar, Aviv and Rosenschein, Jeffrey S},
	booktitle = AAAI,
	title = {{Exploiting Problem Symmetries in State-Based Planners}},
	year = {2011}
}

@inproceedings{helmert2008good,
	author = {Helmert, Malte and R{\"o}ger, Gabriele},
	booktitle = AAAI,
	title = {{How Good is Almost Perfect?}},
	year = {2008}
}

@inproceedings{helmert2006new,
	author = {Helmert, Malte},
	booktitle = ICAPS,
	title = {{New Complexity Results for Classical Planning Benchmarks}},
	year = {2006}
}

@inproceedings{helmert2006approximation,
	author = {Helmert, Malte and Mattm{\"u}ller, Robert and R{\"o}ger, Gabriele},
	booktitle = ECAI,
	title = {{Approximation Properties of Planning Benchmarks}},
	year = {2006}
}

@inproceedings{hogg2008htn,
	author = {Hogg, Chad and Mu{\~n}oz-Avila, H{\'e}ctor and Kuter, Ugur},
	booktitle = AAAI,
	title = {{HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required}},
	year = {2008}
}

@inproceedings{nejati2006learning,
	author = {Nejati, Negin and Langley, Pat and Konik, Tolga},
	booktitle = ICML,
	title = {{Learning Hierarchical Task Networks by Observation}},
	year = {2006}
}

@inproceedings{minton1985selectively,
	author = {Minton, Steven},
	booktitle = IJCAI,
	title = {{Selectively Generalizing Plans for Problem-Solving}},
	year = {1985}
}

@inproceedings{chen2009stratified,
	author = {Chen, Yixin and Xu, You and Yao, Guohui},
	booktitle = IJCAI,
	title = {{Stratified Planning}},
	year = {2009}
}

@inproceedings{brafman2006factored,
	author = {Brafman, Ronen I. and Domshlak, Carmel},
	booktitle = AAAI,
	title = {{Factored Planning: How, When, and When Not}},
	year = {2006}
}

@inproceedings{amir2003factored,
	author = {Amir, Eyal and Engelhardt, Barbara},
	booktitle = IJCAI,
	title = {{Factored Planning}},
	year = {2003}
}

@inproceedings{jonsson2007role,
	author = {Jonsson, Anders},
	booktitle = IJCAI,
	title = {{The Role of Macros in Tractable Planning over Causal Graphs}},
	year = {2007}
}

@inproceedings{wang2014tburton,
	author = {Wang, David and Williams, Brian C.},
	booktitle = IPC,
	title = {{tBurton: A Divide and Conquer Temporal Planner}},
	year = {2014}
}

@inproceedings{haslum2011gnome,
	author = {Haslum, Patrik},
	booktitle = SPARK,
	title = {{Computing Genome Edit Distances using Domain-Independent Planning}},
	year = {2011}
}

@inproceedings{karpas2012optimal,
	author = {Karpas, Erez and Domshlak, Carmel},
	booktitle = ICAPS,
	title = {{Optimal Search with Inadmissible Heuristics}},
	year = {2012}
}

@inproceedings{Coles04,
	author = {Coles, Andrew and Smith, Amanda},
	booktitle = IPC,
	note = {http://www.tzi.de/~edelkamp/ipc-4/IPC-4.pdf},
	title = {{Marvin: Macro Actions from Reduced Versions of the Instance}},
	year = {2004}
}

@inproceedings{FoxL99,
	author = {Fox, Maria and Long, Derek},
	booktitle = IJCAI,
	title = {{The Detection and Exploitation of Symmetry in Planning Problems}},
	year = 1999
}

@inproceedings{MarkovitchR92,
	author = {Markovitch, Shaul and Rosdeutscher, Irit},
	booktitle = {{Proceedings of the Workshop on Knowledge Compilation and Speedup Learning}},
	note = {Aberdeen, Scotland},
	title = {{Systematic Experimentation with Deductive Learning: Satisficing vs. Optimizing Search}},
	year = 1992
}

@inproceedings{FrancisR93,
	author = {{Anthony G. Francis}, Jr. and Ram, Ashwin},
	booktitle = {{Proceedings of the Workshop on Knowledge Compilation and Speedup Learning}},
	title = {{Computational Models of the Utility Problem and their Application to a Utility Analysis of Case-Based Reasoning}},
	year = 1993
}

@inproceedings{barker2015limitations,
	author = {Barker, Joseph K and Korf, Richard E.},
	booktitle = AAAI,
	title = {{Limitations of Front-to-End Bidirectional Heuristic Search}},
	year = {2015}
}

@inproceedings{chrpa2009reformulating,
	author = {Chrpa, Luk{\'a}{\v s} and Bart{\'a}k, Roman},
	booktitle = SARA,
	title = {{Reformulating Planning Problems by Eliminating Unpromising Actions}},
	year = {2009}
}

@inproceedings{alcazar2013revisiting,
	author = {Alc{\'a}zar, Vidal and Borrajo, Daniel and Fern{\'a}ndez, Susana and Fuentetaja, Raquel},
	booktitle = IJCAI,
	title = {{Revisiting Regression in Planning}},
	year = {2013}
}

@inproceedings{schulte2014balancing,
	author = {Schulte, Tim and Keller, Thomas},
	booktitle = SOCS,
	title = {{Balancing Exploration and Exploitation in Classical Planning}},
	year = {2014}
}

@inproceedings{richter2008landmarks,
	author = {Richter, Silvia and Helmert, Malte and Westphal, Matthias},
	booktitle = AAAI,
	title = {{Landmarks Revisited}},
	year = {2008}
}

@inproceedings{Valenzano2016,
	author = {Valenzano, Richard Anthony and Xie, Fan},
	booktitle = AAAI,
	title = {{On the Completeness of Best‐First Search Variants that Use Random Exploration}},
	year = {2016}
}

@inproceedings{wehrle2013relative,
	author = {Wehrle, Martin and Helmert, Malte and Alkhazraji, Yusra and Mattm{\"u}ller, Robert},
	booktitle = ICAPS,
	title = {{The Relative Pruning Power of Strong Stubborn Sets and Expansion Core}},
	year = {2013}
}

@inproceedings{wehrle2014efficient,
	author = {Wehrle, Martin and Helmert, Malte},
	booktitle = ICAPS,
	title = {{Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies}},
	year = {2014}
}

@inproceedings{pohl1973avoidance,
	author = {Pohl, Ira},
	booktitle = IJCAI,
	title = {{The Avoidance of (Relative) Catastrophe, Heuristic Competence, Genuine Dynamic Weighting and Computational Issues in Heuristic Problem Solving}},
	year = {1973}
}

@inproceedings{thayer2009using,
	author = {Thayer, Jordan Tyler and Ruml, Wheeler},
	booktitle = ICAPS,
	title = {{Using Distance Estimates in Heuristic Search}},
	year = {2009}
}

@inproceedings{thayer2011bounded,
	author = {Thayer, Jordan Tyler and Ruml, Wheeler},
	booktitle = IJCAI,
	title = {{Bounded Suboptimal Search: A Direct Approach using Inadmissible Estimates}},
	year = {2011}
}

@inproceedings{eyerich2009using,
	author = {Eyerich, Patrick and Mattm{\"u}ller, Robert and R{\"o}ger, Gabriele},
	booktitle = ICAPS,
	title = {{Using the Context-Enhanced Additive Heuristic for Temporal and Numeric Planning}},
	year = {2009}
}

@inproceedings{korf1999divide,
	author = {Korf, Richard E.},
	booktitle = IJCAI,
	title = {{Divide-and-Conquer Bidirectional Search: First Results}},
	year = {1999}
}

@inproceedings{korf2000divide,
	author = {Korf, Richard E. and Zhang, Weixiong},
	booktitle = AAAI,
	title = {{Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment}},
	year = {2000}
}

@inproceedings{gerevini2006preferences,
	author = {Gerevini, Alfonso Emilio and Long, Derek},
	booktitle = {{ICAPS Workshop on Planning with Preferences and Soft Constraints}},
	pages = {46--53},
	title = {{Preferences and Soft Constraints in PDDL3}},
	year = {2006}
}

@inproceedings{wray2015multi,
	author = {Wray, Kyle Hollins and Zilberstein, Shlomo and Mouaddib, Abdel-Illah},
	booktitle = AAAI,
	pages = {3418--3424},
	title = {{Multi-Objective MDPs with Conditional Lexicographic Reward Preferences}},
	year = {2015}
}

@inproceedings{aghighi2015,
	author = {Aghighi, Meysam and B{\"a}ckstr{\"o}m, Christer},
	booktitle = IJCAI,
	title = {{Cost-Optimal and Net-Benefit Planning--A Parameterised Complexity View}},
	year = {2015}
}

@inproceedings{aghighi2016,
	author = {Aghighi, Meysam and B{\"a}ckstr{\"o}m, Christer},
	booktitle = ICAPS,
	title = {{A Multi-Parameter Complexity Analysis of Cost-Optimal and Net-Benefit Planning}},
	year = {2016}
}

@inproceedings{kautz1992planning,
	author = {Kautz, Henry A. and Selman, Bart},
	booktitle = ECAI,
	pages = {359--363},
	title = {{Planning as Satisfiability.}},
	volume = {92},
	year = {1992}
}

@inproceedings{richter2011lama,
	author = {Richter, Silvia and Westphal, Matthias and Helmert, Malte},
	booktitle = IPC,
	pages = {117--124},
	title = {{LAMA 2008 and 2011}},
	year = {2011}
}

@unpublished{ip-CC,
	author = {Monnerot-Dumaine, Alexis},
	month = {September},
	title = {{\url{https://commons.wikimedia.org/wiki/File:Amas\_de\_percolation.png} {(CC BY-SA 3.0)}}},
	year = {2006}
}

@inproceedings{kocsis2006bandit,
	author = {Kocsis, Levente and Szepesv{\'a}ri, Csaba},
	booktitle = ECML,
	organization = {Springer},
	pages = {282--293},
	title = {{Bandit Based Monte-Carlo Planning}},
	year = {2006}
}

@inproceedings{kingma2014semi,
	author = {Kingma, Diederik P. and Mohamed, Shakir and Rezende, Danilo Jimenez and Welling, Max},
	booktitle = NIPS,
	pages = {3581--3589},
	title = {{Semi-Supervised Learning with Deep Generative Models}},
	year = {2014}
}

@inproceedings{MouraoZPS12,
	author = {Mour{\~a}o, Kira and Zettlemoyer, Luke S. and Petrick, Ronald P. A. and Steedman, Mark},
	booktitle = UAI,
	pages = {614--623},
	title = {{Learning {STRIPS} Operators from Noisy and Incomplete Observations}},
	year = {2012}
}

@inproceedings{KonidarisKL14,
	author = {Konidaris, George and Kaelbling, Leslie Pack and Lozano{-}P{\'e}rez, Tom{\'a}s},
	booktitle = AAAI,
	pages = {1932--1938},
	title = {{Constructing Symbolic Representations for High-Level Planning}},
	year = {2014}
}

@inproceedings{KonidarisKL15,
	author = {Konidaris, George and Kaelbling, Leslie Pack and Lozano{-}P{\'e}rez, Tom{\'a}s},
	booktitle = IJCAI,
	pages = {3619--3627},
	title = {{Symbol Acquisition for Probabilistic High-Level Planning}},
	year = {2015}
}

@inproceedings{bieszczad2015neurosolver,
	author = {Bieszczad, Andrzej and Kuchar, Skyler},
	booktitle = IJCCI,
	organization = {IEEE},
	pages = {28--38},
	title = {{Neurosolver Learning to Solve Towers of Hanoi Puzzles}},
	volume = {3},
	year = {2015}
}

@inproceedings{Asai2017b,
	address = {Pittsburgh, USA},
	author = {Asai, Masataro and Fukunaga, Alex},
	booktitle = ICAPS,
	month = {June},
	title = {{Exploration Among and Within Plateaus in Greedy Best-First Search}},
	year = {2017}
}

@inproceedings{vincent2008extracting,
	author = {Vincent, Pascal and Larochelle, Hugo and Bengio, Yoshua and Manzagol, Pierre-Antoine},
	booktitle = ICML,
	organization = {ACM},
	pages = {1096--1103},
	title = {{Extracting and Composing Robust Features with Denoising Autoencoders}},
	year = {2008}
}

@inproceedings{Reinefeld93,
	author = {Reinefeld, Alexander},
	booktitle = IJCAI,
	pages = {248--253},
	title = {{Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in {IDA*}}},
	year = {1993}
}

@inproceedings{BarbuNS10,
	author = {Barbu, Andrei and Narayanaswamy, Siddharth and Siskind, Jeffrey Mark},
	booktitle = ICRA,
	doi = {10.1109/ROBOT.2010.5509925},
	pages = {1879--1886},
	title = {{Learning Physically-Instantiated Game Play through Visual Observation}},
	year = {2010}
}

@inproceedings{Kaiser12,
	author = {Kaiser, {\L}ukasz},
	booktitle = AAAI,
	title = {{Learning Games from Videos Guided by Descriptive Complexity}},
	year = {2012}
}

@inproceedings{luck2014latent,
	author = {Luck, Kevin Sebastian and Neumann, Gerhard and Berger, Erik and Peters, Jan and Amor, Heni Ben},
	booktitle = IROS,
	organization = {IEEE},
	pages = {1434--1440},
	title = {{Latent Space Policy Search for Robotics}},
	year = {2014}
}

@inproceedings{sievers2012efficient,
	author = {Sievers, Silvan and Ortlieb, Manuela and Helmert, Malte},
	booktitle = SOCS,
	title = {{Efficient Implementation of Pattern Database Heuristics for Classical Planning.}},
	year = {2012}
}

@inproceedings{konidaris2009efficient,
	author = {Konidaris, George and Barto, Andrew G},
	booktitle = IJCAI,
	pages = {1107--1112},
	title = {{Efficient Skill Learning using Abstraction Selection.}},
	volume = {9},
	year = {2009}
}

@inproceedings{konidaris2009skill,
	author = {Konidaris, George and Barto, Andrew G},
	booktitle = NIPS,
	pages = {1015--1023},
	title = {{Skill Discovery in Continuous Reinforcement Learning Domains using Skill Chaining}},
	year = {2009}
}

@inproceedings{phillips2014pa,
	author = {Phillips, Mike and Likhachev, Maxim and Koenig, Sven},
	booktitle = ICAPS,
	title = {{{PA* SE}: Parallel {A*} for Slow Expansions.}},
	year = {2014}
}

@inproceedings{botea2013multi,
	author = {Botea, Adi and Nikolova, Evdokia and Berlingerio, Michele},
	booktitle = ICAPS,
	title = {{Multi-Modal Journey Planning in the Presence of Uncertainty.}},
	year = {2013}
}

@inproceedings{kishimoto2016combining,
	author = {Kishimoto, Akihiro and Botea, Adi and Daly, Elizabeth},
	booktitle = ECAI,
	organization = {IOS Press},
	pages = {295},
	title = {{Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty}},
	volume = {285},
	year = {2016}
}

@inproceedings{haslum2001heuristic,
	author = {Haslum, Patrik and Geffner, H{\'e}ctor},
	booktitle = ECP,
	title = {{Heuristic Planning with Time and Resources}},
	year = {2001}
}

@inproceedings{yoshizumi2000partial,
	author = {Yoshizumi, Takayuki and Miura, Teruhisa and Ishida, Toru},
	booktitle = AAAI,
	pages = {923--929},
	title = {{A* with Partial Expansion for Large Branching Factor Problems.}},
	year = {2000}
}

@inproceedings{BoteaB2015,
	author = {Botea, Adi and Braghin, S.},
	booktitle = ICAPS,
	pages = {268--272},
	title = {{Contingent versus Deterministic Plans in Multi-Modal Journey Planning}},
	year = 2015
}

@inproceedings{KishimotoN2016,
	author = {Kishimoto, Akihiro and Nagano, K.},
	booktitle = ICAPS,
	pages = {495--503},
	title = {{Evaluation of Auction-Based Multi-Robot Routing by Parallel Simulation}},
	year = 2016
}

@inproceedings{KishimotoS2008,
	author = {Kishimoto, Akihiro and Sturtevant, Nathan R.},
	booktitle = AAMAS,
	pages = {1585--1588},
	title = {{Optimized Algorithms for Multi-Agent Routing}},
	year = 2008
}

@inproceedings{lake2013one,
	author = {Lake, Brenden M and Salakhutdinov, Ruslan and Tenenbaum, Joshua B.},
	booktitle = NIPS,
	pages = {2526--2534},
	title = {{One-shot Learning by Inverting a Compositional Causal Process}},
	year = {2013}
}

@inproceedings{bonet2013admissible,
	author = {Bonet, Blai},
	booktitle = IJCAI,
	title = {{An Admissible Heuristic for SAS+ Planning Obtained from the State Equation.}},
	year = {2013}
}

@inproceedings{RichterH2009,
	author = {Richter, Silvia and Helmert, Malte},
	booktitle = ICAPS,
	pages = {273--280},
	title = {{Preferred Operators and Deferred Evaluation in Satisficing Planning}},
	year = 2009
}

@inproceedings{SturtevantTTUKS15,
	author = {Sturtevant, Nathan R. and Traish, Jason M. and Tulip, James R. and Uras, Tansel and Koenig, Sven and Strasser, Ben and Botea, Adi and Harabor, Daniel and Rabin, Steve},
	booktitle = SOCS,
	pages = {241--251},
	title = {{The Grid-Based Path Planning Competition: 2014 Entries and Results}},
	year = 2015
}

@inproceedings{helmert2007flexible,
	author = {Helmert, Malte and Haslum, Patrik and Hoffmann, J{\"o}rg},
	booktitle = ICAPS,
	pages = {176--183},
	title = {{Flexible Abstraction Heuristics for Optimal Sequential Planning}},
	year = {2007}
}

@inproceedings{xie14ipc,
	author = {Xie, Fan and M{\"u}ller, Martin and Holte, Robert C.},
	booktitle = IPC,
	pages = {39--42},
	title = {{Jasper: The Art of Exploration in Greedy Best-First Search}},
	year = 2014
}

@inproceedings{rieffel2014parametrized,
	author = {Rieffel, Eleanor G and Venturelli, Davide and Do, Minh Binh and Hen, Itay and Frank, Jeremy},
	booktitle = AAAI,
	pages = {2337--2343},
	title = {{Parametrized Families of Hard Planning Problems from Phase Transitions.}},
	year = {2014}
}

@inproceedings{lipovetzky2012width,
	author = {Lipovetzky, Nir and Geffner, H{\'e}ctor},
	booktitle = ECAI,
	pages = {20th},
	title = {{Width and Serialization of Classical Planning Problems}},
	volume = {2012},
	year = {2012}
}

@inproceedings{CresswellG11,
	author = {Cresswell, Stephen and Gregory, Peter J},
	booktitle = ICAPS,
	title = {{Generalised Domain Model Acquisition from Action Traces}},
	year = 2011
}

@inproceedings{GregoryC15,
	author = {Gregory, Peter J and Cresswell, Stephen},
	booktitle = ICAPS,
	pages = {97--105},
	title = {{Domain Model Acquisition in the Presence of Static Relations in the {LOP} System}},
	year = 2015
}

@inproceedings{salimans2016improved,
	author = {Salimans, Tim and Goodfellow, Ian J. and Zaremba, Wojciech and Cheung, Vicki and Radford, Alec and Chen, Xi},
	booktitle = NIPS,
	pages = {2226--2234},
	title = {{Improved Techniques for Training Gans}},
	year = {2016}
}

@inproceedings{yuen2011survey,
	author = {Yuen, Man-Ching and King, Irwin and Leung, Kwong-Sak},
	booktitle = {{Privacy, Security, Risk and Trust (PASSAT) and 2011 IEEE Third Inernational Conference on Social Computing (SocialCom), 2011 IEEE Third International Conference on}},
	organization = {IEEE},
	pages = {766--773},
	title = {{A Survey of Crowdsourcing Systems}},
	year = {2011}
}

@inproceedings{maddison2014sampling,
	author = {Maddison, Chris J. and Tarlow, Daniel and Minka, Thomas P},
	booktitle = NIPS,
	pages = {3086--3094},
	title = {{A* sampling}},
	year = {2014}
}

@inproceedings{Helmert04,
	author = {Helmert, Malte},
	booktitle = ICAPS,
	pages = {161--170},
	title = {{A Planning Heuristic Based on Causal Graph Analysis}},
	year = {2004}
}

@inproceedings{robinson2014query,
	author = {Robinson, Nathan and McIlraith, Sheila A and Toman, David},
	booktitle = AAAI,
	title = {{Cost-Based Query Optimization via AI Planning}},
	year = {2014}
}

@inproceedings{coles2007new,
	author = {Coles, Andrew and Fox, Maria and Smith, Amanda},
	booktitle = ICAPS,
	pages = {89--96},
	title = {{A New Local-Search Algorithm for Forward-Chaining Planning.}},
	year = {2007}
}

@inproceedings{cohen2017problem,
	author = {Cohen, Eldan and Beck, J Christopher},
	booktitle = AAAI,
	title = {{Problem Difficulty and the Phase Transition in Heuristic Search}},
	year = {2017}
}

@inproceedings{velloso2008percolation,
	author = {Velloso, Bruno Panerai and Roisemberg, Mauro},
	booktitle = {{Proceedings of the ACM Symposium on Applied Computing}},
	organization = {ACM},
	pages = {1861--1865},
	title = {{Percolation Analyses in a Swarm Based Algorithm for Shortest-Path Finding}},
	year = {2008}
}

@inproceedings{lindsay2017framer,
	author = {Lindsay, Alan and Read, Jonathon and Ferreira, Joao F and Hayton, Thomas and Porteous, Julie and Gregory, Peter J},
	booktitle = ICAPS,
	title = {{Framer: Planning Models from Natural Language Action Descriptions}},
	year = {2017}
}

@inproceedings{elkan2008learning,
	author = {Elkan, Charles and Noto, Keith},
	booktitle = SIGKDD,
	organization = {ACM},
	pages = {213--220},
	title = {{Learning Classifiers from Only Positive and Unlabeled Data}},
	year = {2008}
}

@inproceedings{frances2017purely,
	author = {Frances, Guillem and Ram{\'\i}rez, Miquel and Lipovetzky, Nir and Geffner, H{\'e}ctor},
	booktitle = IJCAI,
	pages = {4294--4301},
	title = {{Purely Declarative Action Representations are Overrated: Classical Planning with Simulators}},
	year = {2017}
}

@inproceedings{minato1993zero,
	author = {Minato, Shin-ichi},
	booktitle = {{Proceedings of the 30th International Design Automation Conference}},
	organization = {ACM},
	pages = {272--277},
	title = {{Zero-suppressed BDDs for Set Manipulation in Combinatorial Problems}},
	year = {1993}
}

@inproceedings{haslum2007reducing,
	author = {Haslum, Patrik},
	booktitle = IJCAI,
	pages = {1898--1903},
	title = {{Reducing Accidental Complexity in Planning Problems.}},
	year = {2007}
}

@unpublished{lightsout,
	author = {{Wikipedia}},
	note = {\url{https://en.wikipedia.org/w/index.php?title=Lights\_Out\_(game)\&oldid=843196564}},
	title = {{Lights Out (game)}},
	year = {2018}
}

@inproceedings{johnson2017clevr,
	author = {Johnson, Justin and Hariharan, Bharath and van der Maaten, Laurens and Fei-Fei, Li and Zitnick, C Lawrence and Girshick, Ross},
	booktitle = CVPR,
	organization = {IEEE},
	pages = {1988--1997},
	title = {{CLEVR: A Diagnostic Dataset for Compositional Language and Elementary Visual Reasoning}},
	year = {2017}
}

@inproceedings{le1989handwritten,
	author = {LeCun, Yann and Boser, Bernhard and Denker, John S and Henderson, Donnie and Howard, Richard E and Hubbard, Wayne and Jackel, Lawrence D},
	booktitle = NIPS,
	organization = {MIT Press},
	pages = {396--404},
	title = {{Handwritten Digit Recognition with a Back-Propagation Network}},
	year = {1989}
}

@inproceedings{szegedy2015going,
	author = {Szegedy, Christian and Liu, Wei and Jia, Yangqing and Sermanet, Pierre and Reed, Scott and Anguelov, Dragomir and Erhan, Dumitru and Vanhoucke, Vincent and Rabinovich, Andrew},
	booktitle = CVPR,
	pages = {1--9},
	title = {{Going Deeper with Convolutions}},
	year = {2015}
}

@inproceedings{he2016deep,
	author = {He, Kaiming and Zhang, Xiangyu and Ren, Shaoqing and Sun, Jian},
	booktitle = CVPR,
	pages = {770--778},
	title = {{Deep Residual Learning for Image Recognition}},
	year = {2016}
}

@inproceedings{li2015hierarchical,
	author = {Li, Jiwei and Luong, Minh-Thang and Jurafsky, Dan},
	booktitle = ACL,
	title = {{A Hierarchical Neural Autoencoder for Paragraphs and Documents}},
	year = {2015}
}

@inproceedings{deng2010binary,
	author = {Deng, Li and Seltzer, Michael L and Yu, Dong and Acero, Alex and Mohamed, Abdel-rahman and Hinton, Geoffrey E.},
	booktitle = {{Interspeech}},
	organization = {Citeseer},
	pages = {1692--1695},
	title = {{Binary Coding of Speech Spectrograms using a Deep Auto-Encoder}},
	year = {2010}
}

@inproceedings{deng2009imagenet,
	author = {Deng, Jia and Dong, Wei and Socher, Richard and Li, Li-Jia and Li, Kai and Fei-Fei, Li},
	booktitle = CVPR,
	organization = {IEEE},
	pages = {248--255},
	title = {{ImageNet: A Large-Scale Hierarchical Image Database}},
	year = {2009}
}

@inproceedings{ren2015faster,
	author = {Ren, Shaoqing and He, Kaiming and Girshick, Ross and Sun, Jian},
	booktitle = NIPS,
	pages = {91--99},
	title = {{Faster R-CNN: Towards Real-time Object Detection with Region Proposal Networks}},
	year = {2015}
}

@inproceedings{deng2013new,
	author = {Deng, Li and Hinton, Geoffrey E. and Kingsbury, Brian},
	booktitle = ICASSP,
	organization = {IEEE},
	pages = {8599--8603},
	title = {{New Types of Deep Neural Network Learning for Speech Recognition and Related Applications: An Overview}},
	year = {2013}
}

@article{kingma2014adam,
	author = {Kingma, Diederik P. and Ba, Jimmy},
	journal = {CoRR},
	title = {{Adam: A Method for Stochastic Optimization}},
	volume = {abs/1412.6980},
	year = {2014}
}

@inproceedings{kingma2013auto,
	author = {Kingma, Diederik P. and Welling, Max},
	booktitle = ICLR,
	title = {{Auto-Encoding Variational Bayes}},
	year = {2013}
}

@inproceedings{goodfellow2014generative,
	author = {Goodfellow, Ian J. and Pouget-Abadie, Jean and Mirza, Mehdi and Xu, Bing and Warde-Farley, David and Ozair, Sherjil and Courville, Aaron C. and Bengio, Yoshua},
	booktitle = NIPS,
	pages = {2672--2680},
	title = {{Generative Adversarial Nets}},
	year = {2014}
}

@inproceedings{makhzani2015adversarial,
	author = {Makhzani, Alireza and Shlens, Jonathon and Jaitly, Navdeep and Goodfellow, Ian J. and Frey, Brendan},
	booktitle = ICLR,
	title = {{Adversarial Autoencoders}},
	year = {2016}
}

@inproceedings{jang2017categorical,
	author = {Jang, Eric and Gu, Shixiang and Poole, Ben},
	booktitle = ICLR,
	title = {{Categorical Reparameterization with Gumbel-Softmax}},
	year = {2017}
}

@inproceedings{MaddisonMT17,
	author = {Maddison, Chris J. and Mnih, Andriy and Teh, Yee Whye},
	booktitle = ICLR,
	title = {{The Concrete Distribution: A Continuous Relaxation of Discrete Random Variables}},
	year = {2017}
}

@inproceedings{srivastava2015unsupervised,
	author = {Srivastava, Nitish and Mansimov, Elman and Salakhutdinov, Ruslan},
	booktitle = ICML,
	pages = {843--852},
	title = {{Unsupervised Learning of Video Representations using LSTMs}},
	year = {2015}
}

@inproceedings{redmon2016you,
	author = {Redmon, Joseph and Divvala, Santosh and Girshick, Ross and Farhadi, Ali},
	booktitle = CVPR,
	pages = {779--788},
	title = {{You Only Look Once: Unified, Real-Time Object Detection}},
	year = {2016}
}

@inproceedings{bahdanau2017neural,
	author = {Bahdanau, Dzmitry and Cho, KyungHyun and Bengio, Yoshua},
	booktitle = ICLR,
	title = {{Neural Machine Translation by Jointly Learning to Align and Translate}},
	year = {2015}
}

@inproceedings{mnih2014recurrent,
	author = {Mnih, Volodymyr and Heess, Nicolas and Graves, Alex},
	booktitle = NIPS,
	pages = {2204--2212},
	title = {{Recurrent Models of Visual Attention}},
	year = {2014}
}

@inproceedings{xu2015show,
	author = {Xu, Kelvin and Ba, Jimmy and Kiros, Ryan and Cho, KyungHyun and Courville, Aaron C. and Salakhutdinov, Ruslan and Zemel, Richard S and Bengio, Yoshua},
	booktitle = ICML,
	pages = {2048--2057},
	title = {{Show, Attend and Tell: Neural Image Caption Generation with Visual Attention}},
	year = {2015}
}

@inproceedings{hudson2018compositional,
	author = {Hudson, Drew A and Manning, Christopher D.},
	booktitle = ICLR,
	title = {{Compositional Attention Networks for Machine Reasoning}},
	year = {2018}
}

@inproceedings{rastegari2016xnor,
	author = {Rastegari, Mohammad and Ordonez, Vicente and Redmon, Joseph and Farhadi, Ali},
	booktitle = ECCV,
	organization = {Springer},
	pages = {525--542},
	title = {{XNOR-net: Imagenet Classification using Binary Convolutional Neural Networks}},
	year = {2016}
}

@inproceedings{courbariaux2015binaryconnect,
	author = {Courbariaux, Matthieu and Bengio, Yoshua and David, Jean-Pierre},
	booktitle = NIPS,
	pages = {3123--3131},
	title = {{Binaryconnect: Training deep neural networks with binary weights during propagations}},
	year = {2015}
}

@inproceedings{sutskever2009using,
	author = {Sutskever, Ilya and Hinton, Geoffrey E.},
	booktitle = NIPS,
	pages = {1593--1600},
	title = {{Using Matrices to Model Symbolic Relationship}},
	year = {2009}
}

@inproceedings{zambaldi2018relational,
	author = {Zambaldi, Vinicius and Raposo, David and Santoro, Adam and Bapst, Victor and Li, Yujia and Babuschkin, Igor and Tuyls, Karl and Reichert, David and Lillicrap, Timothy P. and Lockhart, Edward and others},
	booktitle = ICLR,
	title = {{Deep Reinforcement Learning with Relational Inductive Biases}},
	year = {2019}
}

@article{battaglia2018relational,
	author = {Battaglia, Peter W and Hamrick, Jessica B and Bapst, Victor and Sanchez-Gonzalez, Alvaro and Zambaldi, Vinicius and Malinowski, Mateusz and Tacchetti, Andrea and Raposo, David and Santoro, Adam and Faulkner, Ryan and others},
	journal = {CoRR},
	title = {{Relational inductive biases, deep learning, and graph networks}},
	volume = {abs/1806.01261},
	year = {2018}
}

@inproceedings{van2018relational,
	author = {van Steenkiste, Sjoerd and Chang, Michael and Greff, Klaus and Schmidhuber, J{\"u}rgen},
	booktitle = ICLR,
	title = {{Relational Neural Expectation Maximization: Unsupervised Discovery of Objects and their Interactions}},
	year = {2018}
}

@inproceedings{santoro2017simple,
	author = {Santoro, Adam and Raposo, David and Barrett, David G and Malinowski, Mateusz and Pascanu, Razvan and Battaglia, Peter W and Lillicrap, Timothy P.},
	booktitle = NIPS,
	pages = {4967--4976},
	title = {{A Simple Neural Network Module for Relational Reasoning}},
	year = {2017}
}

@article{guttenberg2016permutation,
	author = {Guttenberg, Nicholas and Virgo, Nathaniel and Witkowski, Olaf and Aoki, Hidetoshi and Kanai, Ryota},
	journal = {CoRR},
	title = {{Permutation-Equivariant Neural Networks Applied to Dynamics Prediction}},
	volume = {abs/1612.04530},
	year = {2016}
}

@article{ravanbakhsh2016deep,
	author = {Ravanbakhsh, Siamak and Schneider, Jeff and Poczos, Barnabas},
	journal = {CoRR},
	title = {{Deep Learning with Sets and Point Clouds}},
	volume = {abs/1611.04500},
	year = {2016}
}

@inproceedings{zaheer2017deep,
	author = {Zaheer, Manzil and Kottur, Satwik and Ravanbakhsh, Siamak and Poczos, Barnabas and Salakhutdinov, Ruslan and Smola, Alexander J},
	booktitle = NIPS,
	pages = {3391--3401},
	title = {{Deep Sets}},
	year = {2017}
}

@article{probst2018set,
	author = {Probst, Malte},
	note = {A rejected submission to ICLR2018.},
	title = {{The Set Autoencoder: Unsupervised Representation Learning for Sets}},
	year = {2018}
}

@article{adams2011ranking,
	author = {Adams, Ryan Prescott and Zemel, Richard S},
	journal = {CoRR},
	title = {{Ranking via Sinkhorn Propagation}},
	volume = {abs/1106.1925},
	year = {2011}
}

@inproceedings{santa2017deeppermnet,
	author = {{Santa Cruz}, Rodrigo and Fernando, Basura and Cherian, Anoop and Gould, Stephen},
	booktitle = CVPR,
	organization = {IEEE},
	pages = {6044--6052},
	title = {{DeepPermNet: Visual Permutation Learning}},
	year = {2017}
}

@inproceedings{mena2018learning,
	author = {Mena, Gonzalo and Belanger, David and Linderman, Scott and Snoek, Jasper},
	booktitle = ICLR,
	title = {{Learning Latent Permutations with Gumbel-Sinkhorn Networks}},
	year = {2018}
}

@inproceedings{dubuisson1994modified,
	author = {Dubuisson, M-P and Jain, Anil K},
	booktitle = ICPR,
	organization = {IEEE},
	pages = {566--568},
	title = {{A Modified Hausdorff Distance for Object Matching}},
	year = {1994}
}

@inproceedings{piramuthu1999hausdorff,
	author = {Piramuthu, Selwyn},
	booktitle = {{Systems Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on}},
	organization = {IEEE},
	pages = {6--pp},
	title = {{The Hausdorff Distance Measure for Feature Selection in Learning Applications}},
	year = {1999}
}

@inproceedings{mao2017s2jsd,
	author = {Mao, Xianling and Feng, Bo-Si and Hao, Yi-Jing and Nie, Liqiang and Huang, Heyan and Wen, Guihua},
	booktitle = AAAI,
	pages = {3244--3251},
	title = {{S2JSD-LSH: A Locality-Sensitive Hashing Schema for Probability Distributions.}},
	year = {2017}
}

@inproceedings{bouchard2015approximate,
	author = {Bouchard, Guillaume and Singh, Sameer and Trouillon, Theo},
	booktitle = {AAAI Spring Syposium on Knowledge Representation and Reasoning (KRR): Integrating Symbolic and Neural Approaches},
	title = {{On Approximate Reasoning Capabilities of Low-Rank Vector Spaces}},
	year = {2015}
}

@techreport{shapenet2015,
	author = {Chang, Angel X. and Funkhouser, Thomas and Guibas, Leonidas J and Hanrahan, Pat and Huang, Qixing and Li, Zimo and Savarese, Silvio and Savva, Manolis and Song, Shuran and Su, Hao and Xiao, Jianxiong and Yi, Li and Yu, Fisher},
	institution = {Stanford University --- Princeton University --- Toyota Technological Institute at Chicago},
	number = {arXiv:1512.03012 [cs.GR]},
	title = {{ShapeNet: An Information-Rich 3D Model Repository}},
	year = {2015}
}

@inproceedings{indyk1998approximate,
	author = {Indyk, Piotr and Motwani, Rajeev},
	booktitle = {{Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing}},
	organization = {ACM},
	pages = {604--613},
	title = {{Approximate Nearest Neighbors: Towards Removing the Curse of Dimensionality}},
	year = {1998}
}

@inproceedings{vinyals2016order,
	author = {Vinyals, Oriol and Bengio, Samy and Kudlur, Manjunath},
	booktitle = ICLR,
	title = {{Order Matters: Sequence to Sequence for Sets}},
	year = {2016}
}

@inproceedings{manhaeve2018deepproblog,
	author = {Manhaeve, Robin and Duman{\v c}i{\'c}, Sebastijan and Kimmig, Angelika and Demeester, Thomas and {De Raedt}, Luc},
	booktitle = NIPS,
	title = {{DeepProbLog: Neural Probabilistic Logic Programming}},
	year = {2018}
}

@article{campero2018logical,
	author = {Campero, Andres and Pareja, Aldo and Klinger, Tim and Tenenbaum, Joshua B. and Riedel, Sebastian},
	journal = {CoRR},
	title = {{Logical Rule Induction and Theory Learning Using Neural Theorem Proving}},
	volume = {abs/1809.02193},
	year = {2018}
}

@inproceedings{rocktaschel2017end,
	author = {Rockt{\"a}schel, Tim and Riedel, Sebastian},
	booktitle = NIPS,
	editor = {Guyon, I. and Luxburg, U. V. and Bengio, S. and Wallach, H. and Fergus, R. and Vishwanathan, S. and Garnett, R.},
	pages = {3788--3800},
	publisher = {Curran Associates, Inc.},
	title = {{End-to-end Differentiable Proving}},
	year = {2017}
}

@inproceedings{keller2013trial,
	author = {Keller, Thomas and Helmert, Malte},
	booktitle = ICAPS,
	title = {{Trial-Based Heuristic Tree Search for Finite Horizon MDPs.}},
	year = {2013}
}

@inproceedings{lelis2013stratified,
	author = {Lelis, Levi HS and Zilles, Sandra and Holte, Robert C.},
	booktitle = AAMAS,
	organization = {International Foundation for Autonomous Agents and Multiagent Systems},
	pages = {555--562},
	title = {{Stratified Tree Search: A Novel Suboptimal Heuristic Search Algorithm}},
	year = {2013}
}

@inproceedings{lipovetzky2017bwfs,
	author = {Lipovetzky, Nir and Geffner, H{\'e}ctor},
	booktitle = AAAI,
	title = {{Best-First Width Search: Exploration and Exploitation in Classical Planning }},
	year = {2017}
}

@article{garnelo2016towards,
	author = {Garnelo, Marta and Arulkumaran, Kai and Shanahan, Murray},
	journal = {CoRR},
	title = {{Towards Deep Symbolic Reinforcement Learning}},
	volume = {abs/1609.05518},
	year = {2016}
}

@article{minton1990quantitative,
	author = {Minton, Steven},
	journal = AIJ,
	number = {2},
	pages = {363--391},
	publisher = {Elsevier},
	title = {{Quantitative Results Concerning the Utility of Explanation-Based Learning}},
	volume = {42},
	year = {1990}
}

@article{sacerdoti1974planning,
	author = {Sacerdoti, Earl D},
	journal = AIJ,
	number = {2},
	pages = {115--135},
	publisher = {Elsevier},
	title = {{Planning in a Hierarchy of Abstraction Spaces}},
	volume = {5},
	year = {1974}
}

@article{rintanen2012planning,
	author = {Rintanen, Jussi},
	journal = AIJ,
	pages = {45--86},
	publisher = {Elsevier},
	title = {{Planning as Satisfiability: Heuristics}},
	volume = {193},
	year = {2012}
}

@article{vitter1985random,
	author = {Vitter, Jeffrey S},
	journal = {ACM Transactions on Mathematical Software (TOMS)},
	number = {1},
	pages = {37--57},
	publisher = {ACM},
	title = {{Random Sampling with a Reservoir}},
	volume = {11},
	year = {1985}
}

@incollection{siddiqui2012block,
	author = {Siddiqui, Fazlul Hasan and Haslum, Patrik},
	booktitle = {{AI 2012: Advances in Artificial Intelligence}},
	pages = {803--814},
	publisher = {Springer},
	title = {{Block-Structured Plan Deordering}},
	year = {2012}
}

@article{FikesHN72,
	author = {Fikes, Richard E and Hart, Peter E. and Nilsson, Nils J.},
	doi = {10.1016/0004-3702(72)90051-3},
	journal = AIJ,
	number = {1-3},
	pages = {251--288},
	title = {{Learning and Executing Generalized Robot Plans}},
	volume = {3},
	year = {1972}
}

@article{hansen2007anytime,
	author = {Hansen, Eric A and Zhou, Rong},
	journal = JAIR,
	pages = {267--297},
	title = {{Anytime Heuristic Search}},
	volume = {28},
	year = {2007}
}

@article{hart1968formal,
	author = {Hart, Peter E. and Nilsson, Nils J. and Raphael, Bertram},
	journal = {Systems Science and Cybernetics, IEEE Transactions on},
	number = {2},
	pages = {100--107},
	publisher = {IEEE},
	title = {{A Formal Basis for the Heuristic Determination of Minimum Cost Paths}},
	volume = {4},
	year = {1968}
}

@article{korf1993linear,
	author = {Korf, Richard E.},
	journal = AIJ,
	number = {1},
	pages = {41--78},
	publisher = {Elsevier},
	title = {{Linear-Space Best-First Search}},
	volume = {62},
	year = {1993}
}

@article{long2000aips,
	author = {Long, Derek and Kautz, Henry A. and Selman, Bart and Bonet, Blai and Geffner, H{\'e}ctor and Koehler, Jana and Brenner, Michael and Hoffmann, J{\"o}rg and Rittinger, Frank and Anderson, Corin R and others},
	journal = {AI Magazine},
	number = {2},
	pages = {13--13},
	title = {{The AIPS-98 Planning Competition}},
	volume = {21},
	year = {2000}
}

@article{coles2012survey,
	author = {Coles, Amanda and Coles, Andrew and Olaya, {\'A}ngel Garc{\'\i}a and Jim{\'e}nez, Sergio and L{\'o}pez, Carlos Linares and Sanner, Scott and Yoon, Sung Wook},
	journal = {AI Magazine},
	number = {1},
	pages = {83--88},
	title = {{A Survey of the Seventh International Planning Competition}},
	volume = {33},
	year = {2012}
}

@article{vallati20152014,
	author = {Vallati, Mauro and Chrpa, Lukas and Grze{\'s}, Marek and McCluskey, Thomas Leo and Roberts, Mark and Sanner, Scott and others},
	journal = {AI Magazine},
	number = {3},
	pages = {90--98},
	title = {{The 2014 International Planning Competition: Progress and Trends}},
	volume = {36},
	year = {2015}
}

@article{porteous2010applying,
	author = {Porteous, Julie and Cavazza, Marc and Charles, Fred},
	journal = {ACM Transactions on Intelligent Systems and Technology (TIST)},
	number = {2},
	pages = {10},
	publisher = {ACM},
	title = {{Applying Planning to Interactive Storytelling: Narrative Control using State Constraints}},
	volume = {1},
	year = {2010}
}

@article{felner2011inconsistent,
	author = {Felner, Ariel and Zahavi, Uzi and Holte, Robert C. and Schaeffer, Jonathan and Sturtevant, Nathan R. and Zhang, Zhifu},
	doi = {10.1016/j.artint.2011.02.001},
	journal = JAIR,
	number = {9-10},
	pages = {1570--1603},
	title = {{Inconsistent Heuristics in Theory and Practice}},
	volume = {175},
	year = {2011}
}

@article{petersen2011termes,
	author = {Petersen, Kirstin Hagelskjaer and Nagpal, Radhika and Werfel, Justin K},
	publisher = {MIT Press},
	title = {{TERMES: An Autonomous Robotic System for Three-Dimensional Collective Construction}},
	year = {2011}
}

@incollection{yu2013multi,
	author = {Yu, Jingjin and LaValle, Steven M},
	booktitle = {{Algorithmic Foundations of Robotics}},
	pages = {157--173},
	publisher = {Springer},
	title = {{Multi-Agent Path Planning and Network Flow}},
	year = {2013}
}

@article{hoffmann2012sap,
	author = {Hoffmann, J{\"o}rg and Weber, Ingo and Kraft, Frank Michael},
	journal = JAIR,
	pages = {587--632},
	title = {{SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management}},
	year = {2012}
}

@article{nicola1998rax,
	author = {Muscettola, Nicola and Nayak, P. Pandurang and Pell, Barney and Williams, Brian C.},
	doi = {10.1016/S0004-3702(98)00068-X},
	journal = AIJ,
	number = {1-2},
	pages = {5--47},
	publisher = {Elsevier},
	title = {{Remote Agent: To Boldly Go where No AI System Has Gone Before}},
	volume = {103},
	year = {1998}
}

@article{cormier1992review,
	author = {Cormier, Gilles and Gunn, Eldon A},
	journal = {European Journal of Operational Research},
	number = {1},
	pages = {3--13},
	publisher = {Elsevier},
	title = {{A Review of Warehouse Models}},
	volume = {58},
	year = {1992}
}

@article{nguyen2012generating,
	author = {Nguyen, Tuan Anh and Do, Minh Binh and Gerevini, Alfonso Emilio and Serina, Ivan and Srivastava, Biplav and Kambhampati, Subbarao},
	journal = AIJ,
	pages = {1--31},
	publisher = {Elsevier},
	title = {{Generating Diverse Plans to Handle Unknown and Partially Known User Preferences}},
	volume = {190},
	year = {2012}
}

@article{backstrom1995complexity,
	author = {B{\"a}ckstr{\"o}m, Christer and Nebel, Bernhard},
	journal = {Computational Intelligence},
	number = {4},
	pages = {625--655},
	publisher = {Wiley Online Library},
	title = {{Complexity Results for SAS+ Planning}},
	volume = {11},
	year = {1995}
}

@article{bacchus2000using,
	author = {Bacchus, Fahiem and Kabanza, Froduald},
	journal = AIJ,
	number = {1-2},
	pages = {123--191},
	publisher = {Elsevier},
	title = {{Using Temporal Logics to Express Search Control Knowledge for Planning}},
	volume = {116},
	year = {2000}
}

@article{blum1997fast,
	author = {Blum, Avrim L and Furst, Merrick L},
	journal = AIJ,
	number = {1},
	pages = {281--300},
	publisher = {Elsevier},
	title = {{Fast Planning Through Planning Graph Analysis}},
	volume = {90},
	year = {1997}
}

@article{bonet2001planning,
	author = {Bonet, Blai and Geffner, H{\'e}ctor},
	journal = AIJ,
	number = {1},
	pages = {5--33},
	publisher = {Elsevier},
	title = {{Planning as Heuristic Search}},
	volume = {129},
	year = {2001}
}

@article{Botea2005,
	author = {Botea, Adi and Enzenberger, Markus and M{\"u}ller, Martin and Schaeffer, Jonathan},
	journal = JAIR,
	pages = {581--621},
	title = {{Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators}},
	volume = {24},
	year = {2005}
}

@article{bylander1996,
	author = {Bylander, Tom},
	journal = AIJ,
	number = {1},
	pages = {241--271},
	publisher = {Elsevier},
	title = {{A Probabilistic Analysis of Prepositional {STRIPS} Planning}},
	volume = {81},
	year = {1996}
}

@article{Chrpa2010,
	author = {Chrpa, Luk{\'a}{\v s}},
	journal = {Knowledge Engineering Review},
	number = {3},
	pages = {281},
	publisher = {Cambridge University Press},
	title = {{Generation of Macro-Operators via Investigation of Action Dependencies in Plans}},
	volume = {25},
	year = {2010}
}

@article{dawande2005sequencing,
	author = {Dawande, Milind and Geismar, H Neil and Sethi, Suresh P and Sriskandarajah, Chelliah},
	journal = {Journal of Scheduling},
	number = {5},
	pages = {387--426},
	publisher = {Springer},
	title = {{Sequencing and Scheduling in Robotic Cells: Recent Developments}},
	volume = {8},
	year = {2005}
}

@article{fikes1972strips,
	author = {Fikes, Richard E and Nilsson, Nils J.},
	journal = AIJ,
	number = {3},
	pages = {189--208},
	publisher = {Elsevier},
	title = {{STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving}},
	volume = {2},
	year = {1972}
}

@article{Fox1998,
	author = {Fox, Maria and Long, Derek},
	journal = JAIR,
	pages = {367--421},
	title = {{The Automatic Inference of State Invariants in {TIM}}},
	year = {1998}
}

@article{gupta1992complexity,
	author = {Gupta, Naresh and Nau, Dana S.},
	journal = AIJ,
	number = {2},
	pages = {223--254},
	publisher = {Elsevier},
	title = {{On the Complexity of Blocks-World Planning}},
	volume = {56},
	year = {1992}
}

@article{helbing1998generalized,
	author = {Helbing, Dirk and Tilch, Benno},
	journal = {Physical Review E},
	number = {1},
	pages = {133},
	publisher = {APS},
	title = {{Generalized Force Model of Traffic Dynamics}},
	volume = {58},
	year = {1998}
}

@article{Helmert2006,
	author = {Helmert, Malte},
	journal = JAIR,
	pages = {191--246},
	title = {{The Fast Downward Planning System}},
	volume = {26},
	year = {2006}
}

@inproceedings{culberson1997sokoban,
	author = {Culberson, Joseph},
	booktitle = {Proceedings in Informatics 4, International Conference on Fun with Algorithms},
	month = {June},
	pages = {65--76},
	publisher = {Carleton Scientific},
	title = {{Sokoban is PSPACE-complete}},
	year = {1998}
}

@article{junghanns2001sokoban,
	author = {Junghanns, Andreas and Schaeffer, Jonathan},
	journal = AIJ,
	number = {1},
	pages = {219--251},
	publisher = {Elsevier},
	title = {{Sokoban: Enhancing General Single-Agent Search Methods using Domain Knowledge}},
	volume = {129},
	year = {2001}
}

@article{lavalle1998rapidly,
	author = {LaValle, Steven M},
	title = {{Rapidly-Exploring Random Trees: A New Tool for Path Planning}},
	year = {1998}
}

@article{nau2003shop2,
	author = {Nau, Dana S. and Au, Tsz Chiu and Ilghami, Okhtay and Kuter, Ugur and Murdock, J William and Wu, Dan and Yaman, Fusun},
	journal = JAIR,
	pages = {379--404},
	title = {{SHOP2: An HTN Planning System}},
	volume = {20},
	year = {2003}
}

@book{russell1995artificial,
	author = {Russell, Stuart Jonathan and Norvig, Peter and Canny, John F and Malik, Jitendra M and Edwards, Douglas D},
	publisher = {Prentice hall Englewood Cliffs},
	title = {{Artificial Intelligence: A Modern Approach}},
	volume = {2},
	year = {1995}
}

@article{Schoenauer2006,
	author = {Schoenauer, Marc and Sav{\'e}ant, Pierre and Vidal, Vincent},
	journal = {Evolutionary Computation in Combinatorial Optimization},
	pages = {247--260},
	publisher = {Springer},
	title = {{Divide-and-Evolve: A New Memetic Scheme for Domain-Independent Temporal Planning}},
	year = {2006}
}

@article{Vidal2006a,
	author = {Vidal, Vincent and Geffner, H{\'e}ctor},
	journal = AIJ,
	number = {3},
	pages = {298--335},
	publisher = {Elsevier},
	title = {{Branching and Pruning: An Optimal Temporal {POCL} Planner based on Constraint Programming}},
	volume = {170},
	year = {2006}
}

@article{lopez2015deterministic,
	author = {L{\'o}pez, Carlos Linares and Celorrio, Sergio Jim{\'e}nez and Olaya, {\'A}ngel Garc{\'\i}a},
	journal = AIJ,
	pages = {82--119},
	publisher = {Elsevier},
	title = {{The Deterministic Part of the Seventh International Planning Competition}},
	volume = {223},
	year = {2015}
}

@article{bylander1994,
	author = {Bylander, Tom},
	journal = AIJ,
	number = {1},
	pages = {165--204},
	publisher = {Elsevier},
	title = {{The Computational Complexity of Propositional {STRIPS} Planning}},
	volume = {69},
	year = {1994}
}

@article{HubermanLH97,
	author = {Huberman, Bernardo A. and Lukose, Rajan M. and Hogg, Tad},
	journal = {Science},
	month = {January 3},
	pages = {51--54},
	title = {{An Economics Approach to Hard Computational Problems}},
	volume = {275},
	year = {1997}
}

@article{GomesS01,
	author = {Gomes, Carla P. and Selman, Bart},
	doi = {10.1016/S0004-3702(00)00081-3},
	journal = AIJ,
	number = {1-2},
	pages = {43--62},
	title = {{Algorithm Portfolios}},
	volume = {126},
	year = {2001}
}

@article{Hoffmann11,
	author = {Hoffmann, J{\"o}rg},
	journal = JAIR,
	number = {2},
	pages = {155--229},
	title = {{Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and $h^+$}},
	volume = {41},
	year = {2011}
}

@article{Hoffmann05,
	author = {Hoffmann, J{\"o}rg},
	doi = {10.1613/jair.1747},
	journal = JAIR,
	pages = {685--758},
	title = {{Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks}},
	volume = {24},
	year = {2005}
}

@book{Nilsson71,
	author = {Nilsson, Nils J.},
	publisher = {McGraw-Hill},
	title = {{Problem Solving Methods in Artificial Intelligence}},
	year = 1971
}

@article{fink1999applications,
	author = {Fink, Andreas and Voss, Stefan},
	journal = {Computers \& Operations Research},
	number = {1},
	pages = {17--34},
	publisher = {Elsevier},
	title = {{Applications of Modern Heuristic Search Methods to Pattern Sequencing Problems}},
	volume = {26},
	year = {1999}
}

@article{HelmertHHN14,
	author = {Helmert, Malte and Haslum, Patrik and Hoffmann, J{\"o}rg and Nissim, Raz},
	doi = {10.1145/2559951},
	journal = {Journal of {ACM}},
	number = {3},
	pages = {16:1--16:63},
	title = {{Merge-and-Shrink Abstraction: {A} Method for Generating Lower Bounds in Factored State Spaces}},
	volume = {61},
	year = {2014}
}

@article{mero1984heuristic,
	author = {Mero, Laszlo},
	journal = AIJ,
	number = {1},
	pages = {13--27},
	publisher = {Elsevier},
	title = {{A Heuristic Search Algorithm with Modifiable Estimate}},
	volume = {23},
	year = {1984}
}

@article{dijkstra1959note,
	author = {Dijkstra, Edsger W},
	journal = {Numerische mathematik},
	number = {1},
	pages = {269--271},
	publisher = {Springer},
	title = {{A Note on Two Problems in Connexion with Graphs}},
	volume = {1},
	year = {1959}
}

@article{neisser1996intelligence,
	author = {Neisser, Ulric and Boodoo, Gwyneth and {Bouchard Jr}, Thomas J and Boykin, A Wade and Brody, Nathan and Ceci, Stephen J and Halpern, Diane F and Loehlin, John C and Perloff, Robert and Sternberg, Robert J and others},
	journal = {American Psychologist},
	number = {2},
	pages = {77},
	publisher = {American Psychological Association},
	title = {{Intelligence: Knowns and Unknowns}},
	volume = {51},
	year = {1996}
}

@book{pearl1984heuristics,
	author = {Pearl, Judea},
	publisher = {Addison-Wesley Pub. Co., Inc., Reading, MA},
	title = {{Heuristics: Intelligent Search Strategies for Computer Problem Solving}},
	year = {1984}
}

@article{lavalle2001randomized,
	author = {LaValle, Steven M and Kuffner, James J},
	journal = {IJRR},
	number = {5},
	pages = {378--400},
	publisher = {SAGE Publications},
	title = {{Randomized Kinodynamic Planning}},
	volume = {20},
	year = {2001}
}

@article{korf1985depth,
	author = {Korf, Richard E.},
	journal = AIJ,
	number = {1},
	pages = {97--109},
	publisher = {Elsevier},
	title = {{Depth-First Iterative-Deepening: An Optimal Admissible Tree Search}},
	volume = {27},
	year = {1985}
}

@article{richter2010lama,
	author = {Richter, Silvia and Westphal, Matthias},
	journal = JAIR,
	number = {1},
	pages = {127--177},
	title = {{The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks}},
	volume = {39},
	year = {2010}
}

@misc{val4.2,
	title = {VAL: The plan validation system.},
	url = {https://github.com/KCL-Planning/VAL}
}

@book{PegsolBook,
	author = {Co, Lubbers \& Bell Mfg.},
	note = {Clinton, Iowa},
	title = {{The Game {P}uzzle-{P}eg}},
	year = {1924}
}

@article{felner2003kbfs,
	author = {Felner, Ariel and Kraus, Sarit and Korf, Richard E.},
	journal = {AMAI},
	number = {1-2},
	pages = {19--39},
	publisher = {Springer},
	title = {{KBFS: K-Best-First Search}},
	volume = {39},
	year = {2003}
}

@article{levesque1987expressiveness,
	author = {Levesque, Hector J and Brachman, Ronald J},
	journal = {Computational Intelligence},
	number = {1},
	pages = {78--93},
	publisher = {Wiley Online Library},
	title = {{Expressiveness and Tractability in Knowledge Representation and Reasoning}},
	volume = {3},
	year = {1987}
}

@incollection{benzmuller1997omegamega,
	author = {Benzm{\"u}ller, Christoph and Cheikhrouhou, Lassaad and Fehrer, Detlef and Fiedler, Armin and Huang, Xiaorong and Kerber, Manfred and Kohlhase, Michael and Konrad, Karsten and Meier, Andreas and Melis, Erica and others},
	booktitle = CADE,
	pages = {252--255},
	publisher = {Springer},
	title = {{$\Omega$mega: Towards a Mathematical Assistant}},
	year = {1997}
}

@article{melis1999knowledge,
	author = {Melis, Erica and Siekmann, J{\"o}rg},
	journal = AIJ,
	number = {1},
	pages = {65--105},
	publisher = {Elsevier},
	title = {{Knowledge-Based Proof Planning}},
	volume = {115},
	year = {1999}
}

@article{hoffmann01,
	author = {Hoffmann, J{\"o}rg and Nebel, Bernhard},
	doi = {10.1613/jair.855},
	journal = JAIR,
	pages = {253--302},
	title = {{The FF Planning System: Fast Plan Generation through Heuristic Search}},
	volume = {14},
	year = {2001}
}

@incollection{edelkamp2000exhibiting,
	author = {Edelkamp, Stefan and Helmert, Malte},
	booktitle = {{Recent Advances in AI Planning}},
	pages = {135--147},
	publisher = {Springer},
	title = {{Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length}},
	year = {2000}
}

@article{Coles07,
	author = {Coles, Andrew and Smith, Amanda},
	ee = {http://dx.doi.org/10.1613/jair.2077},
	journal = JAIR,
	pages = {119--156},
	title = {{Marvin: A Heuristic Search Planner with Online Macro-Action Learning}},
	volume = {28},
	year = {2007}
}

@article{Korf87,
	author = {Korf, Richard E.},
	doi = {10.1016/0004-3702(87)90051-8},
	journal = AIJ,
	number = 1,
	pages = {65--88},
	title = {{Planning as Search: {A} Quantitative Approach}},
	volume = 33,
	year = 1987
}

@article{dejong1986explanation,
	author = {DeJong, Gerald and Mooney, Raymond},
	journal = {Machine Learning},
	number = {2},
	pages = {145--176},
	publisher = {Springer},
	title = {{Explanation-Based Learning: An Alternative View}},
	volume = {1},
	year = {1986}
}

@article{Korf85a,
	author = {Korf, Richard E.},
	doi = {10.1016/0004-3702(85)90012-8},
	journal = JAIR,
	number = {1},
	pages = {35--77},
	title = {{Macro-Operators: {A} Weak Method for Learning}},
	volume = {26},
	year = {1985}
}

@article{FinkelsteinM98,
	author = {Finkelstein, Lev and Markovitch, Shaul},
	doi = {10.1613/jair.484},
	journal = JAIR,
	pages = {223--263},
	title = {{A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle}},
	volume = {8},
	year = {1998}
}

@techreport{Markovitch99,
	author = {Markovitch, Shaul},
	institution = {Technion},
	number = {Technical Report CIS9907},
	title = {{Applications of Macro Learning to Path Planning}},
	year = 1999
}

@article{MarkovitchS93,
	author = {Markovitch, Shaul and Scott, Paul D.},
	doi = {10.1007/BF00993503},
	journal = {Machine Learning},
	pages = {113--151},
	title = {{Information Filtering: Selection Mechanisms in Learning Systems}},
	volume = {10},
	year = {1993}
}

@article{auer2002finite,
	author = {Auer, Peter and Cesa-Bianchi, Nicolo and Fischer, Paul},
	journal = {Machine Learning},
	number = {2-3},
	pages = {235--256},
	publisher = {Springer},
	title = {{Finite-Time Analysis of the Multiarmed Bandit Problem}},
	volume = {47},
	year = {2002}
}

@article{van2005optiplan,
	author = {van den Briel, Menkes and Kambhampati, Subbarao},
	journal = JAIR,
	pages = {919--931},
	title = {{Optiplan: Unifying IP-based and Graph-based Planning}},
	volume = {24},
	year = {2005}
}

@article{pearl1982studies,
	author = {Pearl, Judea and Kim, Jin H},
	journal = {TPAMI},
	number = {4},
	pages = {392--399},
	publisher = {IEEE},
	title = {{Studies in Semi-Admissible Heuristics}},
	year = {1982}
}

@article{wilkinson1983invasion,
	author = {Wilkinson, David and Willemsen, Jorge F},
	journal = {Journal of Physics A: Mathematical and General},
	number = {14},
	pages = {3365},
	publisher = {IOP Publishing},
	title = {{Invasion Percolation: A New Form of Percolation Theory}},
	volume = {16},
	year = {1983}
}

@article{barabasi1996invasion,
	author = {Barab{\'a}si, Albert-L{\'a}szl{\'o}},
	journal = {Physical Review Letters},
	number = {20},
	pages = {3750},
	publisher = {APS},
	title = {{Invasion Percolation and Global Optimization}},
	volume = {76},
	year = {1996}
}

@article{prim1957shortest,
	author = {Prim, Robert Clay},
	journal = {Bell System Technical Journal},
	number = {6},
	pages = {1389--1401},
	publisher = {Wiley Online Library},
	title = {{Shortest Connection Networks and Some Generalizations}},
	volume = {36},
	year = {1957}
}

@article{zobrist1970new,
	author = {Zobrist, Albert L},
	journal = {ICCA journal},
	number = {2},
	pages = {69--73},
	title = {{A New Hashing Method with Application for Game Playing}},
	volume = {13},
	year = {1970}
}

@article{edmonds1967optimum,
	author = {Edmonds, Jack},
	journal = {Journal of Research of the National Bureau of Standards B},
	number = {4},
	pages = {233--240},
	title = {{Optimum Branchings}},
	volume = {71},
	year = {1967}
}

@article{chu1965shortest,
	author = {Chu, Yoeng-Jin and Liu, Tseng-Hong},
	journal = {Scientia Sinica},
	number = {10},
	pages = {1396},
	publisher = {SCIENCE PRESS 16 DONGHUANGCHENGGEN NORTH ST, BEIJING 100717, PEOPLES R CHINA},
	title = {{On Shortest Arborescence of a Directed Graph}},
	volume = {14},
	year = {1965}
}

@article{tarjan1977finding,
	author = {Tarjan, Robert Endre},
	journal = {Networks},
	number = {1},
	pages = {25--35},
	publisher = {Wiley Online Library},
	title = {{Finding Optimum Branchings}},
	volume = {7},
	year = {1977}
}

@article{gabow1986efficient,
	author = {Gabow, Harold N and Galil, Zvi and Spencer, Thomas and Tarjan, Robert Endre},
	journal = {Combinatorica},
	number = {2},
	pages = {109--122},
	publisher = {Springer},
	title = {{Efficient Algorithms for Finding Minimum Spanning Trees in Undirected and Directed Graphs}},
	volume = {6},
	year = {1986}
}

@article{domshlak2015red,
	author = {Domshlak, Carmel and Hoffmann, J{\"o}rg and Katz, Michael},
	journal = AIJ,
	pages = {73--114},
	publisher = {Elsevier},
	title = {{Red-Black Planning: A New Systematic Approach to Partial Delete Relaxation}},
	volume = {221},
	year = {2015}
}

@article{KorfF02,
	author = {Korf, Richard E. and Felner, Ariel},
	doi = {10.1016/S0004-3702(01)00092-3},
	journal = AIJ,
	number = {1-2},
	pages = {9--22},
	title = {{Disjoint Pattern Database Heuristics}},
	volume = {134},
	year = {2002}
}

@article{McDermott00,
	author = {McDermott, Drew V.},
	journal = {{AI} Magazine},
	number = {2},
	pages = {35--55},
	title = {{The 1998 {AI} Planning Systems Competition}},
	volume = {21},
	year = {2000}
}

@article{dqn,
	author = {Mnih, Volodymyr and Kavukcuoglu, Koray and Silver, David and Rusu, Andrei A and Veness, Joel and Bellemare, Marc G. and Graves, Alex and Riedmiller, Martin and Fidjeland, Andreas K and Ostrovski, Georg and others},
	journal = {Nature},
	number = {7540},
	pages = {529--533},
	publisher = {Nature Research},
	title = {{Human-Level Control through Deep Reinforcement Learning}},
	volume = {518},
	year = {2015}
}

@article{neuraltm,
	author = {Graves, Alex and Wayne, Greg and Reynolds, Malcolm and Harley, Tim and Danihelka, Ivo and Grabska-Barwi{\'n}ska, Agnieszka and Colmenarejo, Sergio G{\'o}mez and Grefenstette, Edward and Ramalho, Tiago and Agapiou, John and others},
	journal = {Nature},
	number = {7626},
	pages = {471--476},
	publisher = {Nature Research},
	title = {{Hybrid Computing using a Neural Network with Dynamic External Memory}},
	volume = {538},
	year = {2016}
}

@article{alphago,
	author = {Silver, David and Huang, Aja and Maddison, Chris J. and Guez, Arthur and Sifre, Laurent and {Van Den Driessche}, George and Schrittwieser, Julian and Antonoglou, Ioannis and Panneershelvam, Veda and Lanctot, Marc and others},
	journal = {Nature},
	number = {7587},
	pages = {484--489},
	publisher = {Nature Publishing Group},
	title = {{Mastering the Game of Go with Deep Neural Networks and Tree Search}},
	volume = {529},
	year = {2016}
}

@article{alphazero,
	author = {Silver, David and Hubert, Thomas and Schrittwieser, Julian and Antonoglou, Ioannis and Lai, Matthew and Guez, Arthur and Lanctot, Marc and Sifre, Laurent and Kumaran, Dharshan and Graepel, Thore and Lillicrap, Timothy P. and Simonyan, Karen and Hassabis, Demis},
	journal = {CoRR},
	title = {{Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm}},
	volume = {abs/1712.01815},
	year = {2017}
}

@article{hopfield1985neural,
	author = {Hopfield, John J and Tank, David W},
	journal = {Biological Cybernetics},
	number = {3},
	pages = {141--152},
	publisher = {Springer},
	title = {{"Neural" Computation of Decisions in Optimization Problems}},
	volume = {52},
	year = {1985}
}

@article{bieszczad1998neurosolver,
	author = {Bieszczad, Andrzej and Pagurek, Bernard},
	journal = {Information Sciences},
	number = {1-4},
	pages = {239--277},
	publisher = {Elsevier},
	title = {{Neurosolver: Neuromorphic General Problem Solver}},
	volume = {105},
	year = {1998}
}

@article{srivastava2014dropout,
	author = {Srivastava, Nitish and Hinton, Geoffrey E. and Krizhevsky, Alex and Sutskever, Ilya and Salakhutdinov, Ruslan},
	journal = {JMLR},
	number = {1},
	pages = {1929--1958},
	title = {{Dropout: A Simple Way to Prevent Neural Networks from Overfitting.}},
	volume = {15},
	year = {2014}
}

@inproceedings{ArfaeeZH10,
	author = {Arfaee, Shahab Jabbari and Zilles, Sandra and Holte, Robert C.},
	booktitle = SOCS,
	editor = {Felner, Ariel and Sturtevant, Nathan R.},
	publisher = {{AAAI} Press},
	title = {Bootstrap Learning of Heuristic Functions},
	year = {2010}
}

@article{ArfaeeZH11,
	author = {Arfaee, Shahab Jabbari and Zilles, Sandra and Holte, Robert C.},
	doi = {10.1016/j.artint.2011.08.001},
	journal = AIJ,
	number = {16-17},
	pages = {2075--2098},
	title = {{Learning Heuristic Functions for Large State Spaces}},
	volume = {175},
	year = {2011}
}

@article{SatzgerK13,
	author = {Satzger, Benjamin and Kramer, Oliver},
	doi = {10.1007/s11047-012-9332-y},
	journal = {Natural Computing},
	number = {1},
	pages = {87--100},
	title = {{Goal Distance Estimation for Automated Planning using Neural Networks and Support Vector Machines}},
	volume = {12},
	year = {2013}
}

@article{lecun1998gradient,
	author = {LeCun, Yann and Bottou, L{\'e}on and Bengio, Yoshua and Haffner, Patrick},
	journal = IEEE,
	number = {11},
	pages = {2278--2324},
	publisher = {IEEE},
	title = {{Gradient-Based Learning Applied to Document Recognition}},
	volume = {86},
	year = {1998}
}

@article{YangWJ07,
	author = {Yang, Qiang and Wu, Kangheng and Jiang, Yunfei},
	doi = {10.1016/j.artint.2006.11.005},
	journal = AIJ,
	number = {2-3},
	pages = {107--143},
	title = {{Learning Action Models from Plan Examples using Weighted {MAX-SAT}}},
	volume = {171},
	year = {2007}
}

@inproceedings{pdb-tribute,
	author = {Edelkamp, Stefan},
	booktitle = {Festivus in the 22nd International Conference on Automated Planning and Scheduling(ICAPS)},
	title = {{PDB or not PDB? - that's the Question. A Tribute to Blind Search Planning}},
	year = {2012}
}

@article{CresswellMW13,
	author = {Cresswell, Stephen and McCluskey, Thomas Leo and West, Margaret Mary},
	doi = {10.1017/S0269888912000422},
	journal = {Knowledge Engineering Review},
	number = 2,
	pages = {195--213},
	title = {{Acquiring planning domain models using \emph{LOCM}}},
	volume = 28,
	year = 2013
}

@article{asai2017tie,
	author = {Asai, Masataro and Fukunaga, Alex},
	journal = JAIR,
	pages = {67--121},
	title = {{Tie-Breaking Strategies for Cost-Optimal Best First Search}},
	volume = {58},
	year = {2017}
}

@book{falconer2004fractal,
	author = {Falconer, Kenneth},
	publisher = {John Wiley \& Sons},
	title = {{Fractal Geometry: Mathematical Foundations and Applications}},
	year = {2004}
}

@book{stauffer1994introduction,
	author = {Stauffer, Dietrich and Aharony, Ammon},
	publisher = {CRC press},
	title = {{Introduction to Percolation Theory}},
	year = {1994}
}

@book{mandelbrot1977fractals,
	author = {Mandelbrot, Benoit B},
	publisher = {Wiley Online Library},
	title = {{Fractals}},
	year = {1977}
}

@article{bryant1986graph,
	author = {Bryant, Randal E},
	journal = {Computers, IEEE Transactions on},
	number = {8},
	pages = {677--691},
	publisher = {IEEE},
	title = {{Graph-Based Algorithms for Boolean Function Manipulation}},
	volume = {100},
	year = {1986}
}

@article{harnad1990symbol,
	author = {Harnad, Stevan},
	journal = {Physica D: Nonlinear Phenomena},
	number = {1-3},
	pages = {335--346},
	publisher = {Elsevier},
	title = {{The Symbol Grounding Problem}},
	volume = {42},
	year = {1990}
}

@article{cullen88,
	author = {Cullen, J and Bryman, A},
	journal = {Expert Systems},
	month = {August},
	number = {3},
	page = {216-225},
	title = {{The Knowledge Acquisition Bottleneck: Time for Reassessment?}},
	volume = {5},
	year = 1988
}

@article{taddeo2005solving,
	author = {Taddeo, Mariarosaria and Floridi, Luciano},
	journal = {Journal of Experimental \& Theoretical Artificial Intelligence},
	number = {4},
	pages = {419--445},
	publisher = {Taylor \& Francis},
	title = {{Solving the Symbol Grounding Problem: A Critical Review of Fifteen Years of Research}},
	volume = {17},
	year = {2005}
}

@misc{ng2011cs294a,
	author = {Ng, Andrew Y},
	title = {{CS294A lecture notes}},
	url = {https://web.stanford.edu/class/cs294a/sparseAutoencoder_2011new.pdf},
	year = {2011}
}

@article{nadeau2007survey,
	author = {Nadeau, David and Sekine, Satoshi},
	journal = {Lingvisticae Investigationes},
	number = {1},
	pages = {3--26},
	publisher = {John Benjamins publishing company},
	title = {{A Survey of Named Entity Recognition and Classification}},
	volume = {30},
	year = {2007}
}

@incollection{mohit2014named,
	author = {Mohit, Behrang},
	booktitle = {{Natural Language Processing of Semitic Languages}},
	pages = {221--245},
	publisher = {Springer},
	title = {{Named Entity Recognition}},
	year = {2014}
}

@article{evans2018learning,
	author = {Evans, Richard and Grefenstette, Edward},
	journal = JAIR,
	pages = {1--64},
	title = {{Learning Explanatory Rules from Noisy Data}},
	volume = {61},
	year = {2018}
}

@article{wang2016learning,
	author = {Wang, Jun and Liu, Wei and Kumar, Sanjiv and Chang, Shih-Fu},
	journal = {Proceedings of the IEEE},
	number = {1},
	pages = {34--57},
	publisher = {IEEE},
	title = {{Learning to Hash for Indexing Big Data---A Survey}},
	volume = {104},
	year = {2016}
}

@article{hochreiter1997long,
	author = {Hochreiter, Sepp and Schmidhuber, J{\"u}rgen},
	journal = {Neural Computation},
	number = {8},
	pages = {1735--1780},
	publisher = {MIT Press},
	title = {{Long Short-Term Memory}},
	volume = {9},
	year = {1997}
}

@article{lecun2015deep,
	author = {LeCun, Yann and Bengio, Yoshua and Hinton, Geoffrey E.},
	journal = {Nature},
	number = {7553},
	pages = {436},
	publisher = {Nature Publishing Group},
	title = {{Deep Learning}},
	volume = {521},
	year = {2015}
}

@article{sourek2018lifted,
	author = {Sourek, Gustav and Aschenbrenner, Vojtech and Zelezny, Filip and Schockaert, Steven and Kuzelka, Ondrej},
	journal = JAIR,
	pages = {69--100},
	title = {{Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures}},
	volume = {62},
	year = {2018}
}

@article{scarselli2009graph,
	author = {Scarselli, Franco and Gori, Marco and Tsoi, Ah Chung and Hagenbuchner, Markus and Monfardini, Gabriele},
	journal = {IEEE Transactions on Neural Networks},
	number = {1},
	pages = {61--80},
	publisher = {IEEE},
	title = {{The Graph Neural Network Model}},
	volume = {20},
	year = {2009}
}

@article{lz1978,
	author = {Ziv, J. and Lempel, A.},
	doi = {10.1109/TIT.1978.1055934},
	issn = {0018-9448},
	journal = {IEEE Transactions on Information Theory},
	keywords = {Source coding, Variable-rate coding},
	month = {September},
	number = {5},
	pages = {530--536},
	title = {{Compression of individual sequences via variable-rate coding}},
	volume = {24},
	year = {1978}
}

@misc{aaai-template,
	author = {Asai, Masataro},
	title = {{This paper was written using AAAI Template \url{github.com/guicho271828/aaai-template}}},
	year = {2019}
}

@book{deeplearningbook,
	author = {Goodfellow, Ian J. and Bengio, Yoshua and Courville, Aaron C.},
	isbn = {978-0-262-03561-3},
	publisher = {{MIT} Press},
	series = {Adaptive computation and machine learning},
	title = {{Deep Learning}},
	year = {2016}
}

@incollection{Steels2008,
	author = {Steels, Luc},
	booktitle = {{Symbols and Embodiment}},
	editor = {de Vega, Manuel and Glenberg, Arthur and Graesser, Arthur},
	publisher = {Oxford University Press},
	title = {{The Symbol Grounding Problem has been Solved. So What's Next?}},
	year = 2008
}

@article{witten1981diffusion,
	author = {{Witten Jr}, TA and Sander, Leonard M},
	journal = {Physical Review Letters},
	number = {19},
	pages = {1400},
	publisher = {APS},
	title = {{Diffusion-Limited Aggregation, a Kinetic Critical Phenomenon}},
	volume = {47},
	year = {1981}
}

@book{gumbel1954statistical,
	author = {Gumbel, Emil Julius and Lieblein, Julius},
	publisher = {US Government Printing Office},
	title = {{Statistical Theory of Extreme Values and Some Practical Applications: A Series of Lectures}},
	volume = {33},
	year = {1954}
}

@article{huttenlocher1993comparing,
	author = {Huttenlocher, Daniel P. and Klanderman, Gregory A. and Rucklidge, William J},
	journal = TPAMI,
	number = {9},
	pages = {850--863},
	publisher = {IEEE},
	title = {{Comparing Images using the Hausdorff Distance}},
	volume = {15},
	year = {1993}
}

@article{paccanaro2001learning,
	author = {Paccanaro, Alberto and Hinton, Geoffrey E.},
	journal = {IEEE Transactions on Knowledge and Data Engineering},
	number = {2},
	pages = {232--244},
	publisher = {IEEE},
	title = {{Learning Distributed Representations of Concepts using Linear Relational Embedding}},
	volume = {13},
	year = {2001}
}

@article{fujita2013metrics,
	author = {Fujita, Osamu},
	journal = {Japan Journal of Industrial and Applied Mathematics},
	number = {1},
	pages = {1--19},
	publisher = {Springer},
	title = {{Metrics Based on Average Distance between Sets}},
	volume = {30},
	year = {2013}
}

@article{endres2003new,
	author = {Endres, Dominik Maria and Schindelin, Johannes E},
	journal = {IEEE Transactions on Information Theory},
	title = {{A New Metric for Probability Distributions}},
	year = {2003}
}

@article{zhu2016deep,
	author = {Zhu, Zhuotun and Wang, Xinggang and Bai, Song and Yao, Cong and Bai, Xiang},
	journal = {Neurocomputing},
	pages = {41--50},
	publisher = {Elsevier},
	title = {{Deep Learning Representation using Autoencoder for 3D Shape Retrieval}},
	volume = {204},
	year = {2016}
}

@article{rubner2000earth,
	author = {Rubner, Yossi and Tomasi, Carlo and Guibas, Leonidas J},
	journal = {Int. J. Comput. Vis.},
	number = {2},
	pages = {99--121},
	publisher = {Springer},
	title = {{The Earth Mover's Distance as a Metric for Image Retrieval}},
	volume = {40},
	year = {2000}
}

@article{hinton2006reducing,
	author = {Hinton, Geoffrey E. and Salakhutdinov, Ruslan},
	journal = {Science},
	number = {5786},
	pages = {504--507},
	publisher = {American Association for the Advancement of Science},
	title = {{Reducing the Dimensionality of Data with Neural Networks}},
	volume = {313},
	year = {2006}
}

@article{bourlard1988auto,
	author = {Bourlard, Herv{\'e} and Kamp, Yves},
	journal = {Biological Cybernetics},
	number = {4},
	pages = {291--294},
	publisher = {Springer},
	title = {{Auto-Association by Multilayer Perceptrons and Singular Value Decomposition}},
	volume = {59},
	year = {1988}
}

@article{jimenez2012review,
	author = {Celorrio, Sergio Jim{\'e}nez and de la Rosa, Tom{\'a}s and Fern{\'a}ndez, Susana and Fern{\'a}ndez, Fernando and Borrajo, Daniel},
	doi = {10.1017/S026988891200001X},
	journal = {Knowledge Engineering Review},
	number = {4},
	pages = {433--467},
	publisher = {Cambridge University Press},
	title = {{A Review of Machine Learning for Automated Planning}},
	volume = {27},
	year = {2012}
}

@article{kirk2016learning,
	author = {Kirk, James R and Laird, John E},
	journal = {Advances in Cognitive Systems},
	title = {{Learning General and Efficient Representations of Novel Games Through Interactive Instruction}},
	volume = {4},
	year = {2016}
}

@article{ArgallCVB09,
	author = {Argall, Brenna and Chernova, Sonia and Veloso, Manuela M. and Browning, Brett},
	doi = {10.1016/j.robot.2008.10.024},
	journal = {Robotics and Autonomous Systems},
	number = {5},
	pages = {469--483},
	title = {{A Survey of Robot Learning from Demonstration}},
	volume = {57},
	year = {2009}
}

@inproceedings{higgins2017beta,
	author = {Higgins, Irina and Matthey, Lo{\"\i}c and Pal, Arka and others},
	booktitle = ICLR,
	title = {{$\beta$-VAE: Learning Basic Visual Concepts with a Constrained Variational Framework}},
	year = {2017}
}

@article{amado2018lstm,
	author = {Amado, Leonardo and Aires, Jo{\~a}o Paulo and Pereira, Ramon Fraga and Magnaguagno, Mauricio Cecilio and Granada, Roger and Meneguzzi, Felipe},
	journal = {CoRR},
	title = {{LSTM-Based Goal Recognition in Latent Space}},
	volume = {abs/1808.05249},
	year = 2018
}

@misc{ericjanggithub,
	author = {{Eric Jang}},
	note = {\url{github.com/ericjang/gumbel-softmax}},
	title = {{A reference implementation of GS-VAE}},
	year = {2018}
}

@article{cheng2017survey,
	author = {Cheng, Yu and Wang, Duo and Zhou, Pan and Zhang, Tao},
	doi = {10.1109/MSP.2017.2765695},
	journal = {{IEEE} Signal Processing Magazine},
	number = {1},
	pages = {126--136},
	title = {{Model Compression and Acceleration for Deep Neural Networks: The Principles, Progress, and Challenges}},
	volume = {35},
	year = {2018}
}

@inproceedings{amado2018goal,
	author = {Amado, Leonardo and Pereira, Ramon Fraga and Aires, Jo{\~a}o Paulo and Magnaguagno, Mauricio Cecilio and Granada, Roger and Meneguzzi, Felipe},
	booktitle = IJCNN,
	title = {{Goal Recognition in Latent Space}},
	year = 2018
}

@inproceedings{kurutach2018learning,
	author = {Kurutach, Thanard and Tamar, Aviv and Yang, Ge and Russell, Stuart Jonathan and Abbeel, Pieter},
	booktitle = NIPS,
	title = {{Learning Plannable Representations with Causal InfoGAN}},
	year = {2018}
}

@article{KonidarisKL18,
	author = {Konidaris, George and Kaelbling, Leslie Pack and Lozano{-}P{\'e}rez, Tom{\'a}s},
	doi = {10.1613/jair.5575},
	journal = JAIR,
	pages = {215--289},
	title = {{From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning}},
	volume = {61},
	year = {2018}
}

@article{newell1976computer,
	author = {Newell, Allen and Simon, Herbert A.},
	doi = {10.1145/360018.360022},
	journal = {Communications of the ACM},
	number = {3},
	pages = {113--126},
	title = {{Computer Science as Empirical Inquiry: Symbols and Search}},
	volume = {19},
	year = {1976}
}

@article{newell1980physical,
	author = {Newell, Allen},
	journal = {Cognitive science},
	number = {2},
	pages = {135--183},
	publisher = {Elsevier},
	title = {{Physical Symbol Systems}},
	volume = {4},
	year = {1980}
}

@incollection{reiter1981closed,
	author = {Reiter, Raymond},
	booktitle = {{Readings in Artificial Intelligence}},
	pages = {119--140},
	publisher = {Elsevier},
	title = {{On Closed World Data Bases}},
	year = {1981}
}

@incollection{nilsson2007physical,
	author = {Nilsson, Nils J.},
	booktitle = {{50 Years of Artificial Intelligence}},
	pages = {9--17},
	publisher = {Springer},
	title = {{The Physical Symbol System Hypothesis: Status and Prospects}},
	year = {2007}
}

@article{Asai2018b,
	author = {Asai, Masataro},
	journal = {CoRR},
	title = {{Photo-Realistic Blocksworld Dataset}},
	volume = {abs/1812.01818},
	year = {2018}
}

@inproceedings{Asai2019a,
	author = {Asai, Masataro and Kajino, Hiroshi},
	booktitle = ICAPS,
	month = {July},
	title = {{Towards Stable Symbol Grounding with Zero-Suppressed State AutoEncoder}},
	year = {2019}
}

@inproceedings{Asai2019b,
	author = {Asai, Masataro},
	booktitle = ICAPS,
	month = {July},
	title = {{Unsupervised Grounding of Plannable First-Order Logic Representation from Images}},
	year = {2019}
}

@article{Asai2019c,
	author = {Asai, Masataro},
	journal = {CoRR},
	title = {{Set Cross Entropy: Likelihood-based Permutation Invariant Loss Function for Probability Distributions}},
	volume = {abs/1812.01217},
	year = {2019}
}

@inproceedings{Asai2020b,
	author = {Asai, Masataro},
	booktitle = KEPS,
	title = {{Neural-Symbolic Descriptive Action Model from Images: The Search for STRIPS}},
	year = {2020}
}

@inproceedings{Asai2020,
	author = {Asai, Masataro and Muise, Christian},
	booktitle = IJCAI,
	title = {{Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)}},
	year = {2020}
}

@inproceedings{lotter2016deep,
	author = {Lotter, William and Kreiman, Gabriel and Cox, David D.},
	booktitle = ICLR,
	title = {{Deep Predictive Coding Networks for Video Prediction and Unsupervised Learning}},
	year = {2017}
}

@inproceedings{maliotov2018mlic,
	author = {Maliotov, Dmitry and Meel, Kuldeep S},
	booktitle = CP,
	organization = {Springer},
	title = {{MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules}},
	year = {2018}
}

@incollection{tseitin1983complexity,
	author = {Tseitin, Grigori S},
	booktitle = {{Automation of reasoning}},
	publisher = {Springer},
	title = {{On the complexity of derivation in propositional calculus}},
	year = {1983}
}

@inproceedings{ramirez2009plan,
	author = {Ram{\'\i}rez, Miquel and Geffner, H{\'e}ctor},
	booktitle = AAAI,
	title = {{Plan Recognition as Planning}},
	year = {2009}
}

@inproceedings{koul2018learning,
	author = {Koul, Anurag and Fern, Alan and Greydanus, Sam},
	booktitle = ICLR,
	title = {{Learning Finite State Representations of Recurrent Policy Networks}},
	year = {2019}
}

@article{bengio2013estimating,
	author = {Bengio, Yoshua and L{\'e}onard, Nicholas and Courville, Aaron C.},
	journal = {CoRR},
	title = {{Estimating or Propagating Gradients through Stochastic Neurons for Conditional Computation}},
	volume = {abs/1308.3432},
	year = {2013}
}

@inproceedings{aineto2018learning,
	author = {Aineto, Diego and Jim{\'e}nez, Sergio and Onaindia, Eva},
	booktitle = ICAPS,
	title = {{Learning STRIPS Action Models with Classical Planning}},
	year = {2018}
}

@article{zhuo2019learning,
	author = {Zhuo, Hankz Hankui and Peng, Jing and Kambhampati, Subbarao},
	journal = {CoRR},
	title = {{Learning Action Models from Disordered and Noisy Plan Traces}},
	volume = {abs/1908.09800},
	year = {2019}
}

@inproceedings{zhuo2013action,
	author = {Zhuo, Hankz Hankui and Kambhampati, Subbarao},
	booktitle = IJCAI,
	title = {{Action-Model Acquisition from Noisy Plan Traces}},
	year = {2013}
}

@inproceedings{cohen1995fast,
	author = {Cohen, William W},
	booktitle = ICML,
	title = {{Fast Effective Rule Induction}},
	year = {1995}
}

@inproceedings{feng2018extracting,
	author = {Feng, Wenfeng and Zhuo, Hankz Hankui and Kambhampati, Subbarao},
	booktitle = IJCAI,
	title = {{Extracting Action Sequences from Texts Based on Deep Reinforcement Learning}},
	year = {2018}
}

@inproceedings{van2017neural,
	author = {van den Oord, Aaron and Vinyals, Oriol and others},
	booktitle = NIPS,
	title = {{Neural Discrete Representation Learning}},
	year = {2017}
}

@article{vahdat2018dvae++,
	author = {Vahdat, Arash and Macready, William G. and Bian, Zhengbing and Khoshaman, Amir and Andriyash, Evgeny},
	journal = {CoRR},
	title = {{DVAE++: Discrete Variational Autoencoders with Overlapping Transformations}},
	volume = {abs/1802.04920},
	year = {2018}
}

@inproceedings{vahdat2018dvae,
	author = {Vahdat, Arash and Andriyash, Evgeny and Macready, William G.},
	booktitle = NIPS,
	title = {{DVAE\#: Discrete variational autoencoders with relaxed Boltzmann priors}},
	year = {2018}
}

@unpublished{masatoi,
	author = {Imai, Satoshi},
	note = {\url{https://github.com/masatoi/cl-random-forest}},
	title = {{\texttt{cl-random-forest}}},
	year = {2017}
}

@inproceedings{wallace2011class,
	author = {Wallace, Byron C and Small, Kevin and Brodley, Carla E and Trikalinos, Thomas A},
	booktitle = ICDM,
	organization = {IEEE},
	title = {{Class Imbalance, Redux}},
	year = {2011}
}

@inproceedings{krizhevsky2012imagenet,
	author = {Krizhevsky, Alex and Sutskever, Ilya and Hinton, Geoffrey E.},
	booktitle = NIPS,
	title = {{Imagenet Classification with Deep Convolutional Neural Networks}},
	year = {2012}
}

@inproceedings{misra1992constructive,
	author = {Misra, Jayadev and Gries, David},
	booktitle = {{Information Processing Letters}},
	organization = {Citeseer},
	title = {{A Constructive Proof of Vizing{\rq}s Theorem}},
	year = {1992}
}

@article{berge1991short,
	author = {Berge, Claude and Fournier, Jean Claude},
	journal = {Journal of Graph Theory},
	number = {3},
	publisher = {Wiley Online Library},
	title = {{A Short Proof for a Generalization of Vizing's Theorem}},
	volume = {15},
	year = {1991}
}

@article{vizing1965chromatic,
	author = {Vizing, Vadim G},
	journal = {Cybernetics and Systems Analysis},
	number = {3},
	publisher = {Springer},
	title = {{The Chromatic Class of a Multigraph}},
	volume = {1},
	year = {1965}
}

@article{payan1992chromatic,
	author = {Payan, Charles},
	journal = {Discrete mathematics},
	number = {3},
	publisher = {Elsevier},
	title = {{On the Chromatic Number of Cube-Like Graphs}},
	volume = {103},
	year = {1992}
}

@article{liu2019radam,
	author = {Liu, Liyuan and Jiang, Haoming and He, Pengcheng and others},
	journal = {CoRR},
	title = {{On the Variance of the Adaptive Learning Rate and Beyond}},
	volume = {abs/1908.03265},
	year = {2019}
}

@article{shanahan2019explicitly,
	author = {Shanahan, Murray and Nikiforou, Kyriacos and Creswell, Antonia and Kaplanis, Christos and Barrett, David G and Garnelo, Marta},
	journal = {CoRR},
	title = {{An Explicitly Relational Neural Network Architecture}},
	volume = {abs/1905.10307},
	year = {2019}
}

@article{shannon1949synthesis,
	author = {Shannon, Claude E},
	journal = {Bell System Technical Journal},
	number = {1},
	pages = {59--98},
	publisher = {Nokia Bell Labs},
	title = {{The synthesis of two-terminal switching circuits}},
	volume = {28},
	year = {1949}
}

@inproceedings{silver2020learning,
	author = {Silver, Tom and Chitnis, Rohan and Ajay, Anurag and Tenenbaum, Joshua B. and Kaelbling, Leslie Pack},
	booktitle = {{AAAI GenPlan Workshop}},
	title = {{Learning Skill Hierarchies from Predicate Descriptions and Self-Supervision}},
	year = {2020}
}

@inproceedings{kaiser2020model,
	author = {Kaiser, {\L}ukasz and Babaeizadeh, Mohammad and Milos, Piotr and Osinski, Blazej and Campbell, Roy H and Czechowski, Konrad and Erhan, Dumitru and Finn, Chelsea and Kozakowski, Piotr and Levine, Sergey and Mohiuddin, Afroz and Sepassi, Ryan and Tucker, George and Michalewski, Henryk},
	booktitle = ICLR,
	title = {{Model Based Reinforcement Learning for Atari}},
	year = {2020}
}

@inproceedings{bonet2020learning,
	author = {Bonet, Blai and Geffner, H{\'e}ctor},
	booktitle = ECAI,
	title = {{Learning First-Order Symbolic Representations for Planning from the Structure of the State Space}},
	year = {2020}
}

@article{ho1998random,
	author = {Ho, Tin Kam},
	journal = TPAMI,
	number = {8},
	publisher = {IEEE Computer Society},
	title = {{The Random Subspace Method for Constructing Decision Forests}},
	volume = {20},
	year = {1998}
}

@article{lee1992bit,
	author = {Lee, Ch L and Jen, C-W},
	journal = {IEEE Proceedings G (Circuits, Devices and Systems)},
	number = {1},
	publisher = {IET},
	title = {{Bit-Sliced Median Filter Design based on Majority Gate}},
	volume = {139},
	year = {1992}
}

@book{knuth1997art,
	author = {Knuth, Donald Ervin},
	publisher = {Pearson Education},
	title = {{The Art of Computer Programming}},
	volume = {3},
	year = {1997}
}

@article{valiant1984short,
	author = {Valiant, Leslie G.},
	journal = {Journal of Algorithms},
	number = {3},
	publisher = {Elsevier},
	title = {{Short Monotone Formulae for the Majority Function}},
	volume = {5},
	year = {1984}
}

@inproceedings{batcher1968sorting,
	author = {Batcher, Kenneth E},
	booktitle = {Spring Joint Computer Conference},
	organization = {ACM},
	title = {{Sorting Networks and Their Applications}},
	year = {1968}
}

@phdthesis{davies2013solving,
	author = {Davies, Jessica},
	school = {University of Toronto},
	title = {{Solving MAXSAT by decoupling optimization and satisfaction}},
	year = {2013}
}

@article{love2008general,
	author = {Love, Nathaniel and Hinrichs, Timothy and Haley, David and Schkufza, Eric and Genesereth, Michael},
	publisher = {Stanford Logic Group, Computer Science Department, Stanford University},
	title = {{General Game Playing: Game Description Language Specification}},
	year = {2008}
}

@article{levesque1997golog,
	author = {Levesque, Hector J and Reiter, Raymond and Lesp{\'e}rance, Yves and Lin, Fangzhen and Scherl, Richard B},
	journal = {Journal of Logic Programming},
	number = {1-3},
	publisher = {Elsevier},
	title = {{GOLOG: A Logic Programming Language for Dynamic Domains}},
	volume = {31},
	year = {1997}
}

@article{reiter1991frame,
	author = {Reiter, Raymond},
	journal = {Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy},
	publisher = {Citeseer},
	title = {{The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression}},
	volume = {27},
	year = {1991}
}

@incollection{mccarthy1969some,
	author = {McCarthy, John and Hayes, Patrick J},
	booktitle = {{Readings in Artificial Intelligence}},
	publisher = {Elsevier},
	title = {{Some Philosophical Problems from the Standpoint of Artificial Intelligence}},
	year = {1969}
}

@book{mccarthy1959programs,
	author = {McCarthy, John},
	title = {{Programs with Common Sense}},
	year = {1959}
}

@article{holte1993very,
	author = {Holte, Robert C.},
	journal = {Machine Learning},
	number = {1},
	publisher = {Springer},
	title = {{Very Simple Classification Rules Perform Well on Most Commonly Used Datasets}},
	volume = {11},
	year = {1993}
}

@article{letham2015interpretable,
	author = {Letham, Benjamin and Rudin, Cynthia and McCormick, Tyler H and Madigan, David and others},
	journal = {Annals of Applied Statistics},
	number = {3},
	publisher = {Institute of Mathematical Statistics},
	title = {{Interpretable Classifiers using Rules and Bayesian Analysis: Building a Better Stroke Prediction Model}},
	volume = {9},
	year = {2015}
}

@article{friedman2008predictive,
	author = {Friedman, Jerome H and Popescu, Bogdan E and others},
	journal = {Annals of Applied Statistics},
	number = {3},
	publisher = {Institute of Mathematical Statistics},
	title = {{Predictive Learning via Rule Ensembles}},
	volume = {2},
	year = {2008}
}

@article{fukushima1980neocognitron,
	author = {Fukushima, Kunihiko},
	journal = {Biological Cybernetics},
	number = {4},
	publisher = {Springer},
	title = {{Neocognitron: A Self-Organizing Neural Network Model for a Mechanism of Pattern Recognition Unaffected by Shift in Position}},
	volume = {36},
	year = {1980}
}

@article{helmert2009concise,
	author = {Helmert, Malte},
	journal = AIJ,
	number = {5-6},
	publisher = {Elsevier},
	title = {{Concise Finite-Domain Representations for PDDL Planning Tasks}},
	volume = {173},
	year = {2009}
}

@article{lecun1989backpropagation,
	author = {LeCun, Yann and Boser, Bernhard and Denker, John S and Henderson, Donnie and Howard, Richard E and Hubbard, Wayne and Jackel, Lawrence D},
	journal = {Neural Computation},
	number = {4},
	title = {{Backpropagation Applied to Handwritten Zip Code Recognition}},
	volume = {1},
	year = {1989}
}

@article{quinlan1986induction,
	author = {Quinlan, J. Ross},
	journal = {Machine Learning},
	number = {1},
	pages = {81--106},
	publisher = {Springer},
	title = {{Induction of Decision Trees}},
	volume = {1},
	year = {1986}
}

@article{khan2014one,
	author = {Khan, Shehroz S and Madden, Michael G},
	journal = {Knowledge Engineering Review},
	number = {3},
	pages = {345--374},
	publisher = {Cambridge University Press},
	title = {{One-Class Classification: Taxonomy of Study and Review of Techniques}},
	volume = {29},
	year = {2014}
}

@article{muggleton1991inductive,
	author = {Muggleton, Stephen},
	journal = {New generation computing},
	number = {4},
	pages = {295--318},
	publisher = {Springer},
	title = {{Inductive Logic Programming}},
	volume = {8},
	year = {1991}
}

@article{gebser2011potassco,
	author = {Gebser, Martin and Kaufmann, Benjamin and Kaminski, Roland and Ostrowski, Max and Schaub, Torsten and Schneider, Marius},
	journal = {AI Communications},
	number = {2},
	pages = {107--124},
	publisher = {Citeseer},
	title = {{Potassco: The Potsdam Answer Set Solving Collection}},
	volume = {24},
	year = {2011}
}

@book{pddlbook,
	author = {Haslum, Patrik and Lipovetzky, Nir and Magazzeni, Daniele and Muise, Christian},
	publisher = {Morgan \& Claypool Publishers},
	series = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
	title = {{An Introduction to the Planning Domain Definition Language}},
	year = {2019}
}

@article{anderson1998turning,
	author = {Anderson, Marlow and Feil, Todd},
	journal = {Mathematics Magazine},
	number = {4},
	pages = {300--303},
	publisher = {Taylor \& Francis},
	title = {{Turning lights out with linear algebra}},
	volume = {71},
	year = {1998}
}

@article{Asai2020c,
	author = {Asai, Masataro and Tang, Zilu},
	journal = {CoRR},
	title = {{Discrete Word Embedding for Logical Natural Language Understanding}},
	volume = {abs/1412.6980},
	year = {2020}
}

@inproceedings{dong2018nlm,
	author = {Dong, Honghua and Mao, Jiayuan and Lin, Tian and Wang, Chong and Li, Lihong and Zhou, Denny},
	booktitle = ICLR,
	title = {{Neural Logic Machines}},
	year = {2019}
}

@article{thiebaux2005defense,
	author = {Thi{\'e}baux, Sylvie and Hoffmann, J{\"o}rg and Nebel, Bernhard},
	journal = AIJ,
	number = {1-2},
	pages = {38--69},
	publisher = {Elsevier},
	title = {{In Defense of PDDL Axioms}},
	volume = {168},
	year = {2005}
}

@inproceedings{james2019learning,
	author = {James, Steven and Rosman, Benjamin and Konidaris, George},
	booktitle = ICML,
	title = {{Learning Portable Representations for High-Level Planning}},
	year = {2020}
}

@inproceedings{yoon2014convolutional,
	author = {Kim, Yoon},
	booktitle = EMNLP,
	doi = {10.3115/v1/d14-1181},
	editor = {Moschitti, Alessandro and Pang, Bo and Daelemans, Walter},
	pages = {1746--1751},
	publisher = {{ACL}},
	title = {Convolutional Neural Networks for Sentence Classification},
	year = {2014}
}

@inproceedings{silver2020pddlgym,
	author = {Silver, Tom and Chitnis, Rohan},
	booktitle = PRL,
	title = {PDDLGym: Gym Environments from PDDL Problems},
	url = {https://github.com/tomsilver/pddlgym},
	year = {2020}
}

@inproceedings{redmon2017yolo9000,
	author = {Redmon, Joseph and Farhadi, Ali},
	booktitle = CVPR,
	pages = {7263--7271},
	title = {YOLO9000: better, faster, stronger},
	year = {2017}
}

@article{redmon2018yolov3,
	author = {Redmon, Joseph and Farhadi, Ali},
	journal = {CoRR},
	title = {Yolov3: An incremental improvement},
	volume = {abs/1804.02767},
	year = {2018}
}

@inproceedings{mao2019nscl,
	author = {Mao, Jiayuan and Gan, Chuang and Kohli, Pushmeet and Tenenbaum, Joshua B. and Wu, Jiajun},
	booktitle = ICLR,
	publisher = {OpenReview.net},
	title = {The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision},
	year = {2019}
}

@inproceedings{james2020learning,
	author = {James, Steven and Rosman, Benjamin and Konidaris, George},
	booktitle = {Proceedings of Workshop on Object-Oriented Learning at ICML.},
	title = {{Learning Object-Centric Representations for High-Level Planning in Minecraft}},
	year = {2020}
}

@inproceedings{ugur2015bottom,
	author = {Ugur, Emre and Piater, Justus H.},
	booktitle = ICRA,
	organization = {IEEE},
	pages = {2627--2633},
	title = {{Bottom-up Learning of Object Categories, Action Effects and Logical Rules: From Continuous Manipulative Exploration to Symbolic Planning}},
	year = {2015}
}

@inproceedings{eslami2016attend,
	author = {Eslami, SM Ali and Heess, Nicolas and Weber, Theophane and Tassa, Yuval and Szepesvari, David and Hinton, Geoffrey E. and others},
	booktitle = NIPS,
	pages = {3225--3233},
	title = {{Attend, Infer, Repeat: Fast Scene Understanding with Generative Models}},
	year = {2016}
}

@inproceedings{xu2019variational,
	author = {Xu, Kai and Srivastava, Akash and Sutton, Charles},
	booktitle = ICML,
	pages = {6963--6972},
	title = {{Variational Russian Roulette for Deep Bayesian Nonparametrics}},
	year = {2019}
}

@inproceedings{engelcke2019genesis,
	author = {Engelcke, Martin and Kosiorek, Adam R and Jones, Oiwi Parker and Posner, Ingmar},
	booktitle = ICLR,
	title = {{GENESIS: Generative Scene Inference and Sampling with Object-Centric Latent Representations}},
	year = 2020
}

@inproceedings{greff2019iodine,
	author = {Greff, Klaus and Kaufman, Rapha{\"e}l Lopez and Kabra, Rishabh and Watters, Nick and Burgess, Christopher and Zoran, Daniel and Matthey, Lo{\"\i}c and Botvinick, Matthew and Lerchner, Alexander},
	booktitle = ICML,
	pages = {2424--2433},
	title = {{Multi-Object Representation Learning with Iterative Variational Inference}},
	year = {2019}
}

@inproceedings{andersen2017active,
	author = {Andersen, Garrett and Konidaris, George},
	booktitle = NIPS,
	pages = {5009--5019},
	title = {{Active Exploration for Learning Symbolic Representations}},
	year = {2017}
}

@inproceedings{xu2019regression,
	author = {Xu, Danfei and Mart{\'\i}n-Mart{\'\i}n, Roberto and Huang, De-An and Zhu, Yuke and Savarese, Silvio and Fei-Fei, Li},
	booktitle = NIPS,
	pages = {1319--1329},
	title = {{Regression Planning Networks}},
	year = {2019}
}

@inproceedings{huang2019continuous,
	author = {Huang, De-An and Xu, Danfei and Zhu, Yuke and Garg, Animesh and Savarese, Silvio and Fei-Fei, Li and Niebles, Juan Carlos},
	booktitle = IROS,
	organization = {IEEE},
	pages = {2635--2642},
	title = {{Continuous Relaxation of Symbolic Planner for One-Shot Imitation Learning}},
	year = {2019}
}

@inproceedings{rivlin2020generalized,
	author = {Rivlin, Or and Hazan, Tamir and Karpas, Erez},
	booktitle = PRL,
	title = {Generalized Planning With Deep Reinforcement Learning},
	year = {2019}
}

@article{fox2003pddl2,
	author = {Fox, Maria and Long, Derek},
	journal = JAIR,
	pages = {61--124},
	title = {{PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains}},
	volume = {20},
	year = {2003}
}

@article{fox2006modelling,
	author = {Fox, Maria and Long, Derek},
	journal = JAIR,
	pages = {235--297},
	title = {{Modelling Mixed Discrete-Continuous Domains for Planning}},
	volume = {27},
	year = {2006}
}

@inproceedings{huang2017densely,
	author = {Huang, Gao and Liu, Zhuang and van der Maaten, Laurens and Weinberger, Kilian Q},
	booktitle = CVPR,
	pages = {4700--4708},
	title = {{Densely Connected Convolutional Networks}},
	year = {2017}
}

@inproceedings{wang2019symmetric,
	author = {Wang, Yisen and Ma, Xingjun and Chen, Zaiyi and Luo, Yuan and Yi, Jinfeng and Bailey, James},
	booktitle = CVPR,
	pages = {322--330},
	title = {{Symmetric Cross Entropy for Robust Learning with Noisy Labels}},
	year = {2019}
}

@article{younes2004ppddl1,
	author = {Younes, H{\aa}kan LS and Littman, Michael L},
	journal = {Techn. Rep. CMU-CS-04-162},
	pages = {99},
	title = {{PPDDL1.0: An Extension to PDDL for Expressing Planning Domains with Probabilistic Effects}},
	volume = {2},
	year = {2004}
}

@incollection{pednault1987adl,
	author = {Pednault, Edwin PD},
	booktitle = {Reasoning about actions \& plans},
	pages = {47--82},
	publisher = {Elsevier},
	title = {{Formulating Multiagent, Dynamic-World Problems in the Classical Planning Framework}},
	year = {1987}
}

@inproceedings{nair2010relu,
	author = {Nair, Vinod and Hinton, Geoffrey E.},
	booktitle = ICML,
	title = {{Rectified Linear Units Improve Restricted Boltzmann Machines}},
	year = {2010}
}

@article{kalman1960new,
	author = {Kalman, Rudolph Emil and others},
	journal = {Journal of Basic Engineering},
	number = {1},
	pages = {35--45},
	publisher = {Citeseer},
	title = {{A New Approach to Linear Filtering and Prediction Problems}},
	volume = {82},
	year = {1960}
}

@inproceedings{chen2016infogan,
	author = {Chen, Xi and Duan, Yan and Houthooft, Rein and Schulman, John and Sutskever, Ilya and Abbeel, Pieter},
	booktitle = NIPS,
	pages = {2172--2180},
	title = {{InfoGAN: Interpretable Representation Learning by Information Maximizing Generative Adversarial Nets}},
	year = {2016}
}

@inproceedings{zhao2018unsupervised,
	author = {Zhao, Tiancheng and Lee, Kyusong and Esk{\'e}nazi, Maxine},
	booktitle = ACL,
	pages = {1098--1107},
	title = {{Unsupervised Discrete Sentence Representation Learning for Interpretable Neural Dialog Generation}},
	year = {2018}
}

@inproceedings{chen2018isolating,
	author = {Chen, Tian Qi and Li, Xuechen and Grosse, Roger B and Duvenaud, David K},
	booktitle = NIPS,
	pages = {2610--2620},
	title = {{Isolating Sources of Disentanglement in Variational Autoencoders}},
	year = {2018}
}

@inproceedings{kim2018disentangling,
	author = {Kim, Hyunjik and Mnih, Andriy},
	booktitle = ICML,
	pages = {2649--2658},
	pdf = {http://proceedings.mlr.press/v80/kim18b/kim18b.pdf},
	series = {{Proceedings of Machine Learning Research}},
	title = {{Disentangling by Factorising}},
	volume = {80},
	year = {2018}
}

@inproceedings{banarescu2013abstract,
	author = {Banarescu, Laura and Bonial, Claire and Cai, Shu and Georgescu, Madalina and Griffitt, Kira and Hermjakob, Ulf and Knight, Kevin and Koehn, Philipp and Palmer, Martha and Schneider, Nathan},
	booktitle = {{Proceedings of the 7th Linguistic Annotation Workshop and Interoperability with Discourse}},
	pages = {178--186},
	title = {{Abstract Meaning Representation for Sembanking}},
	year = {2013}
}

@inproceedings{jones2012semantics,
	author = {Jones, Bevan and Andreas, Jacob and Bauer, Daniel and Hermann, Karl Moritz and Knight, Kevin},
	booktitle = COLING,
	pages = {1359--1376},
	title = {{Semantics-Based Machine Translation with Hyperedge Replacement Grammars}},
	year = {2012}
}

@inproceedings{linzen2016issues,
	author = {Linzen, Tal},
	booktitle = {{Proceedings of the 1st Workshop on Evaluating Vector-Space Representations for {NLP}}},
	pages = {13--18},
	title = {{Issues in Evaluating Semantic Spaces using Word Analogies}},
	year = {2016}
}

@inproceedings{gladkova2016intrinsic,
	author = {Gladkova, Anna and Drozd, Aleksandr},
	booktitle = {{Proceedings of the 1st Workshop on Evaluating Vector-Space Representations for NLP}},
	pages = {36--42},
	title = {{Intrinsic Evaluations of Word Embeddings: What Can We Do Better?}},
	year = {2016}
}

@inproceedings{clark2007combining,
	author = {Clark, Stephen and Pulman, Stephen},
	booktitle = {{Quantum Interaction, Papers from the 2007 {AAAI} Spring Symposium, Technical Report SS-07-08, Stanford, California, USA, March 26-28, 2007}},
	pages = {52--55},
	title = {{Combining Symbolic and Distributional Models of Meaning}},
	year = {2007}
}

@inproceedings{rieser2009natural,
	author = {Rieser, Verena and Lemon, Oliver},
	booktitle = {{Proceedings of the 12th Conference of the {E}uropean Chapter of the {ACL} ({EACL} 2009)}},
	pages = {683--691},
	title = {{Natural Language Generation as Planning Under Uncertainty for Spoken Dialogue Systems}},
	year = {2009}
}

@inproceedings{geib2007on,
	author = {Geib, Christopher W. and Steedman, Mark},
	booktitle = IJCAI,
	pages = {1612--1617},
	title = {{On Natural Language Processing and Plan Recognition}},
	year = {2007}
}

@article{kaiser2018discrete,
	author = {Kaiser, {\L}ukasz and Bengio, Samy},
	journal = {CoRR},
	title = {{Discrete Autoencoders for Sequence Models}},
	volume = {abs/1801.09797},
	year = {2018}
}

@inproceedings{dyer2016recurrent,
	author = {Dyer, Chris and Kuncoro, Adhiguna and Ballesteros, Miguel and Smith, Noah A.},
	booktitle = NAACL,
	pages = {199--209},
	title = {{Recurrent Neural Network Grammars}},
	year = {2016}
}

@inproceedings{faruqui2016problems,
	author = {Faruqui, Manaal and Tsvetkov, Yulia and Rastogi, Pushpendre and Dyer, Chris},
	booktitle = {{Proceedings of the 1st Workshop on Evaluating Vector-Space Representations for {NLP}}},
	pages = {30--35},
	title = {{Problems With Evaluation of Word Embeddings Using Word Similarity Tasks}},
	year = {2016}
}

@inproceedings{mikolov2013distributed,
	author = {Mikolov, Tomas and Sutskever, Ilya and Chen, Kai and Corrado, Greg S and Dean, Jeffrey},
	booktitle = NIPS,
	pages = {3111--3119},
	title = {{Distributed Representations of Words and Phrases and Their Compositionality}},
	year = {2013}
}

@inproceedings{yogatama2014linguistic,
	author = {Yogatama, Dani and Smith, Noah A.},
	booktitle = ACL,
	pages = {786--796},
	title = {{Linguistic Structured Sparsity in Text Categorization}},
	year = {2014}
}

@inproceedings{finley2017analogies,
	author = {Finley, Gregory and Farmer, Stephanie and Pakhomov, Serguei},
	booktitle = SEM,
	pages = {1--11},
	title = {{What Analogies Reveal about Word Vectors and their Compositionality}},
	year = {2017}
}

@inproceedings{tsvetkov2015evaluation,
	author = {Tsvetkov, Yulia and Faruqui, Manaal and Ling, Wang and Lample, Guillaume and Dyer, Chris},
	booktitle = EMNLP,
	pages = {2049--2054},
	title = {{Evaluation of Word Vector Representations by Subspace Alignment}},
	year = {2015}
}

@inproceedings{mathew2020polar,
	author = {Mathew, Binny and Sikdar, Sandipan and Lemmerich, Florian and Strohmaier, Markus},
	booktitle = {{Proceedings of The Web Conference 2020}},
	pages = {1548--1558},
	title = {{The POLAR Framework: Polar Opposites Enable Interpretability of Pre-Trained Word Embeddings}},
	year = {2020}
}

@inproceedings{barkan2017bayesian,
	author = {Barkan, Oren},
	booktitle = AAAI,
	title = {{Bayesian Neural Word Embedding}},
	year = {2017}
}

@inproceedings{vilnis2015word,
	author = {Vilnis, Luke and McCallum, Andrew},
	booktitle = ICLR,
	title = {{Word Representations via Gaussian Embedding}},
	year = {2015}
}

@inproceedings{meng2019sperical,
	author = {Meng, Yu and Huang, Jiaxin and Wang, Guangyuan and Zhang, Chao and Zhuang, Honglei and Kaplan, Lance M. and Han, Jiawei},
	booktitle = NIPS,
	pages = {8206--8215},
	title = {{Spherical Text Embedding}},
	year = {2019}
}

@article{nissim2019fair,
	author = {Nissim, Malvina and van Noord, Rik and van der Goot, Rob},
	journal = {Computational Linguistics},
	title = {{Fair is Better than Sensational: Man is to Doctor as Woman is to Doctor}},
	volume = {Just Accepted},
	year = {2020}
}

@inproceedings{xing2015normalized,
	author = {Xing, Chao and Wang, Dong and Liu, Chao and Lin, Yiye},
	booktitle = NAACL,
	pages = {1006--1011},
	title = {{Normalized Word Embedding and Orthogonal Transform for Bilingual Word Translation}},
	year = {2015}
}

@inproceedings{wang2015transition,
	author = {Wang, Chuan and Xue, Nianwen and Pradhan, Sameer},
	booktitle = NAACL,
	pages = {366--375},
	title = {{A Transition-based Algorithm for {AMR} Parsing}},
	year = {2015}
}

@inproceedings{flanigan2014discriminative,
	author = {Flanigan, Jeffrey and Thomson, Sam and Carbonell, Jaime G. and Dyer, Chris and Smith, Noah A.},
	booktitle = ACL,
	pages = {1426--1436},
	title = {{A Discriminative Graph-Based Parser for the Abstract Meaning Representation}},
	year = {2014}
}

@article{russell1919atomism,
	author = {Russell, Bertrand},
	journal = {The Monist},
	pages = {345--380},
	title = {{The Philosophy of Logical Atomism}},
	year = {1919}
}

@book{wittgenstein1922tractatus,
	author = {Wittgenstein, Ludwig},
	title = {{Tractatus Logico Philosophicus}},
	year = {1922}
}

@inproceedings{chen2018kway,
	author = {Chen, Ting and Min, Martin Renqiang and Sun, Yizhou},
	booktitle = ICML,
	pages = {853--862},
	series = {{Proceedings of Machine Learning Research}},
	title = {{Learning K-way D-dimensional Discrete Codes for Compact Embedding Representations}},
	volume = {80},
	year = {2018}
}

@article{schakel2015measuring,
	author = {Schakel, Adriaan M. J. and Wilson, Benjamin J.},
	journal = {CoRR},
	title = {{Measuring Word Significance using Distributed Representations of Words}},
	volume = {abs/1508.02297},
	year = {2015}
}

@article{wilson2015controlled,
	author = {Wilson, Benjamin J. and Schakel, Adriaan M. J.},
	journal = {CoRR},
	title = {{Controlled Experiments for Word Embeddings}},
	volume = {abs/1510.02675},
	year = {2015}
}

@inproceedings{devlin2018bert,
	author = {Devlin, Jacob and Chang, Ming{-}Wei and Lee, Kenton and Toutanova, Kristina},
	booktitle = NAACL,
	pages = {4171--4186},
	title = {{BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding}},
	year = {2019}
}

@article{radford2019language,
	author = {Radford, Alec and Wu, Jeffrey and Child, Rewon and Luan, David and Amodei, Dario and Sutskever, Ilya},
	journal = {OpenAI Blog},
	number = {8},
	pages = {9},
	title = {{Language Models are Unsupervised Multitask Learners}},
	volume = {1},
	year = {2019}
}

@inproceedings{jia2017adversarial,
	author = {Jia, Robin and Liang, Percy},
	booktitle = EMNLP,
	pages = {2021--2031},
	title = {{Adversarial Examples for Evaluating Reading Comprehension Systems}},
	year = {2017}
}

@inproceedings{neishi2017bagoftrick,
	author = {Neishi, Masato and Sakuma, Jin and Tohda, Satoshi and Ishiwatari, Shonosuke and Yoshinaga, Naoki and Toyoda, Masashi},
	booktitle = {{Proceedings of the 4th Workshop on Asian Translation}},
	pages = {99--109},
	title = {{A Bag of Useful Tricks for Practical Neural Machine Translation: Embedding Layer Initialization and Large Batch Size}},
	year = {2017}
}

@inproceedings{kocmi2017initialization,
	author = {Kocmi, Tom and Bojar, Ondrej},
	booktitle = {{Proceedings of the 14th International Conference on Natural Language Processing, {ICON}}},
	pages = {56--64},
	title = {{An Exploration of Word Embedding Initialization in Deep-Learning Tasks}},
	year = {2017}
}

@inproceedings{cho2014gru,
	author = {Cho, KyungHyun and van Merrienboer, Bart and G{\"u}l{\c c}ehre, {\c C}aglar and Bahdanau, Dzmitry and Bougares, Fethi and Schwenk, Holger and Bengio, Yoshua},
	booktitle = EMNLP,
	pages = {1724--1734},
	title = {{Learning Phrase Representations using {RNN} Encoder-Decoder for Statistical Machine Translation}},
	year = {2014}
}

@article{pearson1901liii,
	author = {Pearson, Karl},
	journal = {London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science},
	number = {11},
	pages = {559--572},
	title = {{LIII. On Lines and Planes of Closest Fit to Systems of Points in Space}},
	volume = {2},
	year = {1901}
}

@inproceedings{mikolov2013cbow,
	author = {Mikolov, Tomas and Chen, Kai and Corrado, Greg S and Dean, Jeffrey},
	booktitle = ICLR,
	title = {{Efficient Estimation of Word Representations in Vector Space}},
	year = {2013}
}

@inproceedings{levy2014linguistic,
	author = {Levy, Omer and Goldberg, Yoav},
	booktitle = CoNLL,
	pages = {171--180},
	title = {{Linguistic Regularities in Sparse and Explicit Word Representations}},
	year = {2014}
}

@inproceedings{bolukbasi2016man,
	author = {Bolukbasi, Tolga and Chang, Kai{-}Wei and Zou, James Y. and Saligrama, Venkatesh and Kalai, Adam Tauman},
	booktitle = NIPS,
	numpages = {9},
	pages = {4349--4357},
	title = {{Man is to Computer Programmer as Woman is to Homemaker? Debiasing Word Embeddings}},
	year = {2016}
}

@inproceedings{vandeoord2017neural,
	author = {van den Oord, Aaron and Vinyals, Oriol and Kavukcuoglu, Koray},
	booktitle = NIPS,
	pages = {6306--6315},
	title = {{Neural Discrete Representation Learning}},
	year = {2017}
}

@article{wermter1989hybrid,
	author = {Wermter, Stefan and Lehnert, Wendy G},
	journal = {Connection Science},
	number = {3},
	pages = {255--272},
	publisher = {Taylor \& Francis},
	title = {{A Hybrid Symbolic/Connectionist Model for Noun Phrase Understanding}},
	volume = {1},
	year = {1989}
}

@article{towell1994knowledge,
	author = {Towell, Geoffrey G and Shavlik, Jude W},
	journal = AIJ,
	number = {1-2},
	pages = {119--165},
	title = {{Knowledge-Based Artificial Neural Networks}},
	volume = {70},
	year = {1994}
}

@book{ghallab2004automated,
	author = {Ghallab, Malik and Nau, Dana S. and Traverso, Paolo},
	publisher = {Elsevier},
	title = {{Automated Planning: Theory and Practice}},
	year = {2004}
}

@inproceedings{segovia2017generating,
	author = {Segovia-Aguas, Javier and Jim{\'e}nez, Sergio and Jonsson, Anders},
	booktitle = IJCAI,
	title = {{Generating Context-Free Grammars using Classical Planning}},
	year = {2017}
}

@article{emil2009soft,
	author = {Keyder, Emil and Geffner, H{\'e}ctor},
	doi = {10.1613/jair.2857},
	journal = JAIR,
	pages = {547--556},
	title = {Soft Goals Can Be Compiled Away},
	volume = {36},
	year = {2009}
}

@article{caliskan2017semantics,
	author = {Caliskan, Aylin and Bryson, Joanna J and Narayanan, Arvind},
	journal = {Science},
	number = {6334},
	pages = {183--186},
	publisher = {American Association for the Advancement of Science},
	title = {Semantics Derived Automatically from Language Corpora Contain Human-Like Biases},
	volume = {356},
	year = {2017}
}

@inproceedings{kai2015treelstm,
	author = {Tai, Kai Sheng and Socher, Richard and Manning, Christopher D.},
	booktitle = ACL,
	doi = {10.3115/v1/p15-1150},
	pages = {1556--1566},
	publisher = {The Association for Computer Linguistics},
	title = {{Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks}},
	year = {2015}
}

@article{gpt3,
	author = {Brown, Tom B. and Mann, Benjamin and Ryder, Nick and Subbiah, Melanie and Kaplan, Jared and Dhariwal, Prafulla and Neelakantan, Arvind and Shyam, Pranav and Sastry, Girish and Askell, Amanda and Agarwal, Sandhini and Herbert{-}Voss, Ariel and Krueger, Gretchen and Henighan, Tom and Child, Rewon and Ramesh, Aditya and Ziegler, Daniel M. and Wu, Jeffrey and Winter, Clemens and Hesse, Christopher and Chen, Mark and Sigler, Eric and Litwin, Mateusz and Gray, Scott and Chess, Benjamin and Clark, Jack and Berner, Christopher and McCandlish, Sam and Radford, Alec and Sutskever, Ilya and Amodei, Dario},
	journal = {CoRR},
	title = {{Language Models are Few-Shot Learners}},
	volume = {abs/2005.14165},
	year = {2020}
}

@article{neil2020limit,
	author = {Thompson, Neil C. and Greenewald, Kristjan and Lee, Keeheon and Manso, Gabriel F.},
	journal = {CoRR},
	title = {{The Computational Limits of Deep Learning}},
	volume = {abs/2007.05558},
	year = {2020}
}

@inproceedings{kim2019compound,
	author = {Kim, Yoon and Dyer, Chris and Rush, Alexander M.},
	booktitle = ACL,
	pages = {2369--2385},
	title = {{Compound Probabilistic Context-Free Grammars for Grammar Induction}},
	year = {2019}
}

@proceedings{muise-lipovetzky-2016,
	editor = {Muise, Christian and Lipovetzky, Nir},
	title = {Unsolvability {International} {Planning} {Competition}: Planner Abstracts},
	year = {2016}
}

@misc{gpt3-turing-test,
	author = {Lacker, Kevin},
	title = {{Giving GPT-3 a Turing Test}},
	year = {2020}
}

@article{brooks1991intelligence,
	author = {Brooks, Rodney A},
	title = {{Intelligence Without Reason}},
	year = {1991}
}

@inproceedings{ng1999policy,
	author = {Ng, Andrew Y and Harada, Daishi and Russell, Stuart Jonathan},
	booktitle = ICML,
	pages = {278--287},
	title = {{Policy Invariance under Reward Transformations: Theory and Application to Reward Shaping}},
	volume = {99},
	year = {1999}
}

@article{wiewiora2003potential,
	author = {Wiewiora, Eric},
	journal = JAIR,
	pages = {205--208},
	title = {{Potential-Based Shaping and Q-value Initialization are Equivalent}},
	volume = {19},
	year = {2003}
}

@article{barto1995learning,
	author = {Barto, Andrew G and Bradtke, Steven J and Singh, Satinder P},
	journal = AIJ,
	number = {1-2},
	pages = {81--138},
	publisher = {Elsevier},
	title = {{Learning to Act using Real-Time Dynamic Programming}},
	volume = {72},
	year = {1995}
}

@inproceedings{ernandes2004likely,
	author = {Ernandes, Marco and Gori, Marco},
	booktitle = ECAI,
	organization = {Citeseer},
	pages = {613},
	title = {{Likely-Admissible and Sub-Symbolic Heuristics}},
	volume = {16},
	year = {2004}
}

@inproceedings{shen2020learning,
	author = {Shen, William and Trevizan, Felipe and Thi{\'e}baux, Sylvie},
	booktitle = ICAPS,
	pages = {574--584},
	title = {{Learning Domain-Independent Planning Heuristics with Hypergraph Networks}},
	volume = {30},
	year = {2020}
}

@inproceedings{marom2020utilising,
	author = {Marom, Ofir and Rosman, Benjamin},
	booktitle = ICAPS,
	pages = {560--568},
	title = {{Utilising Uncertainty for Efficient Learning of Likely-Admissible Heuristics}},
	volume = {30},
	year = {2020}
}

@article{cortes1995support,
	author = {Cortes, Corinna and Vapnik, Vladimir},
	journal = {Machine Learning},
	number = {3},
	pages = {273--297},
	publisher = {Springer},
	title = {{Support-Vector Networks}},
	volume = {20},
	year = {1995}
}

@article{mcaleer2018solving,
	author = {McAleer, Stephen and Agostinelli, Forest and Shmakov, Alexander and Baldi, Pierre},
	journal = {CoRR},
	title = {{Solving the Rubik's Cube Without Human Knowledge}},
	volume = {abs/1805.07470},
	year = {2018}
}

@article{agostinelli2019solving,
	author = {Agostinelli, Forest and McAleer, Stephen and Shmakov, Alexander and Baldi, Pierre},
	journal = {Nature Machine Intelligence},
	number = {8},
	pages = {356--363},
	publisher = {Nature Publishing Group},
	title = {{Solving the Rubik{\rq}s Cube with Deep Reinforcement Learning and Search}},
	volume = {1},
	year = {2019}
}

@inproceedings{henderson2018deep,
	author = {Henderson, Peter and Islam, Riashat and Bachman, Philip and Pineau, Joelle and Precup, Doina and Meger, David},
	booktitle = AAAI,
	number = {1},
	title = {{Deep Reinforcement Learning that Matters}},
	volume = {32},
	year = {2018}
}

@article{hilgard1966theories,
	author = {Hilgard, Ernest R and Bower, Gordon H},
	publisher = {Appleton-Century-Crofts},
	title = {{Theories of Learning}},
	year = {1966}
}

@inproceedings{junyent2018improving,
	author = {Junyent, Miquel and Jonsson, Anders and G{\'o}mez, Vicen{\c c}},
	booktitle = {ICML / IJCAI / AAMAS 2018 Workshop on Planning and Learning (PAL-18)},
	title = {{Improving Width-Based Planning with Compact Policies}},
	year = {2018}
}

@incollection{grounds2005combining,
	author = {Grounds, Matthew and Kudenko, Daniel},
	booktitle = {Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning},
	pages = {75--86},
	publisher = {Springer},
	title = {{Combining Reinforcement Learning with Symbolic Planning}},
	year = {2005}
}

@inproceedings{bandres2018planning,
	author = {Bandres, Wilmer and Bonet, Blai and Geffner, H{\'e}ctor},
	booktitle = AAAI,
	number = {1},
	title = {{Planning with Pixels in (Almost) Real Time}},
	volume = {32},
	year = {2018}
}

@article{bellemare2013arcade,
	author = {Bellemare, Marc G. and Naddaf, Yavar and Veness, Joel and Bowling, Michael},
	journal = JAIR,
	pages = {253--279},
	title = {{The Arcade Learning Environment: An Evaluation Platform for General Agents}},
	volume = {47},
	year = {2013}
}

@inproceedings{thayer2011learning,
	author = {Thayer, Jordan Tyler and Dionne, Austin and Ruml, Wheeler},
	booktitle = ICAPS,
	number = {1},
	title = {{Learning Inadmissible Heuristics during Search}},
	volume = {21},
	year = {2011}
}

@book{sutton2018reinforcement,
	author = {Sutton, Richard S and Barto, Andrew G},
	publisher = {MIT Press},
	title = {{Reinforcement Learning: An Introduction}},
	year = {2018}
}

@inproceedings{riedmiller2005neural,
	author = {Riedmiller, Martin},
	booktitle = ECML,
	organization = {Springer},
	pages = {317--328},
	title = {{Neural Fitted Q Iteration--First Experiences with a Data Efficient Neural Reinforcement Learning Method}},
	year = {2005}
}

@inproceedings{glorot2010understanding,
	author = {Glorot, Xavier and Bengio, Yoshua},
	booktitle = AISTATS,
	organization = {JMLR Workshop and Conference Proceedings},
	pages = {249--256},
	title = {{Understanding the Difficulty of Training Deep Feedforward Neural Networks}},
	year = {2010}
}

@inproceedings{badia2020agent57,
	author = {Badia, Adri{\`a} Puigdom{\`e}nech and Piot, Bilal and Kapturowski, Steven and Sprechmann, Pablo and Vitvitskyi, Alex and Guo, Zhaohan Daniel and Blundell, Charles},
	booktitle = ICML,
	organization = {PMLR},
	pages = {507--517},
	title = {{Agent57: Outperforming the Atari Human Benchmark}},
	year = {2020}
}

@inproceedings{harabor2011online,
	author = {Harabor, Daniel and Grastien, Alban},
	booktitle = AAAI,
	number = {1},
	title = {{Online Graph Pruning for Pathfinding on Grid Maps}},
	volume = {25},
	year = {2011}
}

@article{schulman2017proximal,
	author = {Schulman, John and Wolski, Filip and Dhariwal, Prafulla and Radford, Alec and Klimov, Oleg},
	journal = {CoRR},
	title = {{Proximal Policy Optimization Algorithms}},
	volume = {abs/1707.06347},
	year = {2017}
}

@inproceedings{toyer2018action,
	author = {Toyer, Sam and Trevizan, Felipe and Thi{\'e}baux, Sylvie and Xie, Lexing},
	booktitle = AAAI,
	number = {1},
	title = {{Action Schema Networks: Generalised Policies with Deep Learning}},
	volume = {32},
	year = {2018}
}

@article{backstrom-klein-compint1991,
	author = {B{\"a}ckstr{\"o}m, Christer and Klein, Inger},
	journal = COMPINT,
	number = {3},
	pages = {181--197},
	title = {{Planning in Polynomial Time: The {SAS-PUBS} Class}},
	volume = {7},
	year = {1991}
}

@article{erol-et-al-aij1995,
	author = {Erol, Kutluhan and Nau, Dana S. and Subrahmanian, V. S.},
	journal = AIJ,
	number = {1--2},
	pages = {75--88},
	title = {Complexity, Decidability and Undecidability Results for Domain-Independent Planning},
	volume = {76},
	year = {1995}
}

@article{jonsson-backstrom-aij1998,
	author = {Jonsson, Peter and B{\"a}ckstr{\"o}m, Christer},
	journal = AIJ,
	number = {1--2},
	pages = {125--176},
	title = {State-Variable Planning under Structural Restrictions: {Algorithms} and Complexity},
	volume = {100},
	year = {1998}
}

@article{jonsson-backstrom-amai1998,
	author = {Jonsson, Peter and B{\"a}ckstr{\"o}m, Christer},
	journal = AMAI,
	number = {3,4},
	pages = {281--296},
	title = {Tractable Plan Existence Does Not Imply Tractable Plan Generation},
	volume = {22},
	year = {1998}
}

@article{katz-domshlak-jair2008,
	author = {Katz, Michael and Domshlak, Carmel},
	journal = JAIR,
	pages = {203--288},
	title = {New Islands of Tractability of Cost-Optimal Planning},
	volume = {32},
	year = {2008}
}

@inproceedings{katz-domshlak-icaps2008b,
	author = {Katz, Michael and Domshlak, Carmel},
	booktitle = ICAPS,
	pages = {182--189},
	title = {Structural Patterns Heuristics via Fork Decomposition},
	year = {2008}
}

@inproceedings{katz-keyder-aaai2012,
	author = {Katz, Michael and Keyder, Emil},
	booktitle = AAAI,
	pages = {1779--1785},
	title = {Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning},
	year = {2012}
}

@inproceedings{keyder-et-al-icaps2012,
	author = {Keyder, Emil and Hoffmann, J{\"o}rg and Haslum, Patrik},
	booktitle = ICAPS,
	pages = {128--136},
	title = {Semi-Relaxed Plan Heuristics},
	year = {2012}
}

@article{brafman-domshlak-jair2003,
	author = {Brafman, Ronen I. and Domshlak, Carmel},
	journal = JAIR,
	pages = {315--349},
	title = {Structure and Complexity in Planning with Unary Operators},
	volume = {18},
	year = {2003}
}

@techreport{lin1993reinforcement,
	author = {Lin, Long-Ji},
	institution = {Carnegie-Mellon Univ Pittsburgh PA School of Computer Science},
	title = {{Reinforcement Learning for Robots using Neural Networks}},
	year = {1993}
}

@inproceedings{trpo,
	author = {Schulman, John and Levine, Sergey and Abbeel, Pieter and Jordan, Michael and Moritz, Philipp},
	booktitle = ICML,
	organization = {PMLR},
	pages = {1889--1897},
	title = {{Trust Region Policy Optimization}},
	year = {2015}
}

@inproceedings{ddpg,
	author = {Lillicrap, Timothy P. and Hunt, Jonathan J and Pritzel, Alexander and Heess, Nicolas and Erez, Tom and Tassa, Yuval and Silver, David and Wierstra, Daan},
	booktitle = ICLR,
	title = {{Continuous Control with Deep Reinforcement Learning}},
	year = {2016}
}

@article{muzero,
	author = {Schrittwieser, Julian and Antonoglou, Ioannis and Hubert, Thomas and Simonyan, Karen and Sifre, Laurent and Schmitt, Simon and Guez, Arthur and Lockhart, Edward and Hassabis, Demis and Graepel, Thore and others},
	journal = {Nature},
	number = {7839},
	pages = {604--609},
	publisher = {Nature Publishing Group},
	title = {{Mastering Atari, Go, Chess and Shogi by Planning with a Learned Model}},
	volume = {588},
	year = {2020}
}

@inproceedings{a2c,
	author = {Mnih, Volodymyr and Badia, Adri{\`a} Puigdom{\`e}nech and Mirza, Mehdi and Graves, Alex and Lillicrap, Timothy P. and Harley, Tim and Silver, David and Kavukcuoglu, Koray},
	booktitle = ICML,
	organization = {PMLR},
	pages = {1928--1937},
	title = {{Asynchronous Methods for Deep Reinforcement Learning}},
	year = {2016}
}

@article{alphagozero,
	author = {Silver, David and Schrittwieser, Julian and Simonyan, Karen and Antonoglou, Ioannis and Huang, Aja and Guez, Arthur and Hubert, Thomas and Baker, Lucas and Lai, Matthew and Bolton, Adrian and others},
	journal = {Nature},
	number = {7676},
	pages = {354--359},
	publisher = {Nature Publishing Group},
	title = {{Mastering the Game of Go without Human Knowledge}},
	volume = {550},
	year = {2017}
}

@article{junghanns00sokoban,
	author = {Junghanns, Andreas and Schaeffer, Jonathan},
	journal = AIJ,
	title = {{Sokoban: A Case-Study in the Application of Domain Knowledge in General Search Enhancements to Increase Efficiency in Single-Agent Search}},
	year = {2000}
}

@article{jimenez2019review,
	author = {Jim{\'e}nez, Sergio and Segovia-Aguas, Javier and Jonsson, Anders},
	journal = {Knowledge Engineering Review},
	number = {e5},
	pages = {1--28},
	publisher = {Cambridge University Press},
	title = {A review of generalized planning},
	volume = {34},
	year = {2019}
}

@inproceedings{schaul2015universal,
	author = {Schaul, Tom and Horgan, Daniel and Gregor, Karol and Silver, David},
	booktitle = ICML,
	organization = {PMLR},
	pages = {1312--1320},
	title = {{Universal Value Function Approximators}},
	year = {2015}
}

@article{fern2011first,
	author = {Fern, Alan and Khardon, Roni and Tadepalli, Prasad},
	journal = {Machine Learning},
	number = {1-2},
	pages = {81--107},
	publisher = {Springer},
	title = {{The First Learning Track of the International Planning Competition}},
	volume = {84},
	year = {2011}
}

@software{jax2018github,
	author = {Bradbury, James and Frostig, Roy and Hawkins, Peter and Johnson, Matthew James and Leary, Chris and Maclaurin, Dougal and Necula, George and Paszke, Adam and Vander{P}las, Jake and Wanderman-{M}ilne, Skye and Zhang, Qiao},
	title = {{JAX: Composable Transformations of Python+NumPy Programs}},
	version = {0.2.5},
	year = {2018}
}

@inproceedings{yoon2006learning,
	author = {Yoon, Sung Wook and Fern, Alan and Givan, Robert},
	booktitle = ICAPS,
	pages = {3},
	title = {{Learning Heuristic Functions from Relaxed Plans.}},
	volume = {2},
	year = {2006}
}

@article{yoon2008learning,
	author = {Yoon, Sung Wook and Fern, Alan and Givan, Robert},
	journal = {JMLR},
	number = {4},
	title = {{Learning Control Knowledge for Forward Search Planning.}},
	volume = {9},
	year = {2008}
}

@inproceedings{garrett2016learning,
	author = {Garrett, Caelan Reed and Kaelbling, Leslie Pack and Lozano-P{\'e}rez, Tom{\'a}s},
	booktitle = IJCAI,
	pages = {3089--3095},
	title = {{Learning to Rank for Synthesizing Planning Heuristics}},
	year = {2016}
}

@inproceedings{ma2020online,
	author = {Ma, Tengfei and Ferber, Patrick and Huo, Siyu and Chen, Jie and Katz, Michael},
	booktitle = AAAI,
	number = {04},
	pages = {5077--5084},
	title = {{Online Planner Selection with Graph Neural Networks and Adaptive Scheduling}},
	volume = {34},
	year = {2020}
}

@inproceedings{hogg2010learning,
	author = {Hogg, Chad and Kuter, Ugur and Mu{\~n}oz-Avila, H{\'e}ctor},
	booktitle = AAAI,
	number = {1},
	title = {{Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning}},
	volume = {24},
	year = {2010}
}

@inproceedings{sievers2019deep,
	author = {Sievers, Silvan and Katz, Michael and Sohrabi, Shirin and Samulowitz, Horst and Ferber, Patrick},
	booktitle = AAAI,
	number = {01},
	pages = {7715--7723},
	title = {{Deep Learning for Cost-Optimal Planning: Task-Dependent Planner Selection}},
	volume = {33},
	year = {2019}
}

@inproceedings{ferber2020study,
	author = {Ferber, Patrick and Helmert, Malte and Hoffmann, J{\"o}rg},
	booktitle = ECAI,
	pages = {{2346--2353}},
	title = {{Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space}},
	year = {2020}
}

@techreport{wolpert1995no,
	author = {Wolpert, David H and Macready, William G. and others},
	institution = {Technical Report SFI-TR-95-02-010, Santa Fe Institute},
	title = {{No Free Lunch Theorems for Search}},
	year = {1995}
}

@misc{pyperplan,
	author = {Alkhazraji, Yusra and Frorath, Matthias and Gr{\"u}tzner, Markus and Helmert, Malte and Liebetraut, Thomas and Mattm{\"u}ller, Robert and Ortlieb, Manuela and Seipp, Jendrik and Springenberg, Tobias and Stahl, Philip and W{\"u}lfing, Jan},
	doi = {10.5281/zenodo.3700819},
	publisher = {Zenodo},
	title = {Pyperplan},
	year = {2020}
}

@inproceedings{victor2013adaptive,
	author = {Gabillon, Victor and Kveton, Branislav and Wen, Zheng and Eriksson, Brian and Muthukrishnan, S.},
	booktitle = NIPS,
	editor = {Burges, Christopher J. C. and Bottou, L{\'e}on and Ghahramani, Zoubin and Weinberger, Kilian Q.},
	pages = {2697--2705},
	title = {Adaptive Submodular Maximization in Bandit Setting},
	year = {2013}
}

@article{corah2019distributed,
	author = {Corah, Micah and Michael, Nathan},
	journal = {Autonomous Robots},
	number = {2},
	pages = {485--501},
	publisher = {Springer},
	title = {{Distributed Matroid-Constrained Submodular Maximization for Multi-Robot Exploration: Theory and Practice}},
	volume = {43},
	year = {2019}
}

@inproceedings{krayse07observation,
	author = {Krause, Andreas and Guestrin, Carlos},
	booktitle = AAAI,
	pages = {1650--1654},
	publisher = {{AAAI} Press},
	title = {Near-Optimal Observation Selection using Submodular Functions},
	year = {2007}
}

@inproceedings{krause05submodular,
	author = {Krause, Andreas and Guestrin, Carlos},
	booktitle = UAI,
	pages = {324--331},
	publisher = {{AUAI} Press},
	title = {{Near-Optimal Nonmyopic Value of Information in Graphical Models}},
	year = {2005}
}

@inproceedings{gutierrez2021meta,
	author = {Gutierrez, Ricardo Luna and Leonetti, Matteo},
	booktitle = ICAPS,
	pages = {551--559},
	title = {{Meta Reinforcement Learning for Heuristic Planing}},
	volume = {31},
	year = {2021}
}

@article{duanscbsa16,
	archiveprefix = {arXiv},
	author = {Duan, Yan and Schulman, John and Chen, Xi and Bartlett, Peter L. and Sutskever, Ilya and Abbeel, Pieter},
	journal = {CoRR},
	title = {RL$^2$: Fast Reinforcement Learning via Slow Reinforcement Learning},
	url = {http://arxiv.org/abs/1611.02779},
	volume = {abs/1611.02779},
	year = {2016}
}

@inproceedings{buffet2007ff,
	author = {Buffet, Olivier and Aberdeen, Douglas and others},
	booktitle = ICAPS,
	pages = {42--48},
	title = {{FF+FPG: Guiding a Policy-Gradient Planner}},
	year = {2007}
}

@article{sutton1999between,
	author = {Sutton, Richard S and Precup, Doina and Singh, Satinder},
	journal = AIJ,
	number = {1-2},
	pages = {181--211},
	publisher = {Elsevier},
	title = {Between MDPs and semi-MDPs: A Framework for Temporal Abstraction in Reinforcement Learning},
	volume = {112},
	year = {1999}
}

@inproceedings{harman2020learning,
	author = {Harman, Helen and Simoens, Pieter},
	booktitle = {2020 The 4th International Conference on Advances in Artificial Intelligence},
	pages = {72--78},
	title = {{Learning Symbolic Action Definitions from Unlabelled Image Pairs}},
	year = {2020}
}

@article{ahmetoglu2020deepsym,
	author = {Ahmetoglu, Alper and Seker, M. Yunus and Sayin, Aysu and Bugur, Serkan and Piater, Justus H. and {\"O}ztop, Erhan and Ugur, Emre},
	journal = {CoRR},
	title = {{DeepSym: Deep Symbol Generation and Rule Learning from Unsupervised Continuous Robot Interaction for Planning}},
	volume = {abs/2012.02532},
	year = {2020}
}

@article{arora2018review,
	author = {Arora, Ankuj and Fiorino, Humbert and Pellier, Damien and Etivier, Marc and Pesty, Sylvie},
	journal = {Knowledge Engineering Review},
	title = {{A Review of Learning Planning Action Models}},
	volume = {33},
	year = {2018}
}

@article{pasula2007learning,
	author = {Pasula, Hanna M and Zettlemoyer, Luke S. and Kaelbling, Leslie Pack},
	journal = JAIR,
	pages = {309--352},
	title = {{Learning Symbolic Models of Stochastic Domains}},
	volume = {29},
	year = {2007}
}

@book{wallace2020building,
	author = {Wallace, Mark},
	publisher = {Springer Nature},
	title = {{Building Decision Support Systems: Using MiniZinc}},
	year = {2020}
}

@misc{BarFT-SMTLIB,
	author = {Barrett, Clark and Fontaine, Pascal and Tinelli, Cesare},
	howpublished = {{\tt www.SMT-LIB.org}},
	title = {{The Satisfiability Modulo Theories Library (SMT-LIB)}},
	year = 2016
}

@article{kawamura2018invitation,
	archiveprefix = {arXiv},
	author = {Kawamura, Akitoshi and Ziegler, Martin},
	journal = {CoRR},
	title = {{Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs}},
	url = {http://arxiv.org/abs/1801.07108},
	volume = {abs/1801.07108},
	year = {2018}
}

@book{bertsekas2019reinforcement,
	author = {Bertsekas, Dimitri P},
	publisher = {Athena Scientific Belmont, MA},
	title = {Reinforcement Learning and Optimal Control},
	year = {2019}
}

@book{chauvin1995backpropagation,
	author = {Chauvin, Yves and Rumelhart, David E},
	publisher = {Psychology press},
	title = {{Backpropagation: Theory, Architectures, and Applications}},
	year = {1995}
}

@article{dagum1993approximating,
	author = {Dagum, Paul and Chavez, R Martin},
	journal = TPAMI,
	number = {3},
	pages = {246--255},
	publisher = {IEEE},
	title = {{Approximating Probabilistic Inference in Bayesian Belief Networks}},
	volume = {15},
	year = {1993}
}

@article{dagum1997optimal,
	author = {Dagum, Paul and Luby, Michael},
	journal = AIJ,
	number = {1},
	pages = {1--28},
	publisher = {Citeseer},
	title = {{An Optimal Approximation Algorithm for Bayesian Inference}},
	volume = {93},
	year = {1997}
}

@article{roth1996hardness,
	author = {Roth, Dan},
	journal = AIJ,
	number = {1-2},
	pages = {273--302},
	publisher = {Elsevier},
	title = {{On the Hardness of Approximate Reasoning}},
	volume = {82},
	year = {1996}
}

@article{cooper1990computational,
	author = {Cooper, Gregory F},
	journal = AIJ,
	number = {2-3},
	pages = {393--405},
	publisher = {Elsevier},
	title = {{The Computational Complexity of Probabilistic Inference using Bayesian Belief Networks}},
	volume = {42},
	year = {1990}
}

@book{vazirani2013approximation,
	author = {Vazirani, Vijay V},
	publisher = {Springer Science \& Business Media},
	title = {{Approximation Algorithms}},
	year = {2013}
}

@article{rybkin2020simple,
	author = {Rybkin, Oleh and Daniilidis, Kostas and Levine, Sergey},
	journal = {CoRR},
	title = {{Simple and Effective VAE Training with Calibrated Decoders}},
	volume = {abs/2006.13202},
	year = {2020}
}

@book{murphy2012machine,
	author = {Murphy, Kevin P},
	publisher = {MIT Press},
	title = {{Machine Learning: A Probabilistic Perspective}},
	year = {2012}
}

@inproceedings{nix1994estimating,
	author = {Nix, David A and Weigend, Andreas S},
	booktitle = {Proceedings of the IEEE International Conference on Neural Networks (ICNN'94)},
	organization = {IEEE},
	pages = {55--60},
	title = {{Estimating the Mean and Variance of the Target Probability Distribution}},
	volume = {1},
	year = {1994}
}

@inproceedings{kendall2017uncertainties,
	author = {Kendall, Alex and Gal, Yarin},
	booktitle = NIPS,
	pages = {5574--5584},
	title = {{What Uncertainties Do We Need in Bayesian Deep Learning for Computer Vision?}},
	year = {2017}
}

@inproceedings{fu2019cyclical,
	author = {Fu, Hao and Li, Chunyuan and Liu, Xiaodong and Gao, Jianfeng and {\c C}elikyilmaz, Asli and Carin, Lawrence},
	booktitle = NAACL,
	doi = {10.18653/v1/n19-1021},
	editor = {Burstein, Jill and Doran, Christy and Solorio, Thamar},
	pages = {240--250},
	publisher = ACL,
	title = {{Cyclical Annealing Schedule: A Simple Approach to Mitigating KL Vanishing}},
	url = {https://doi.org/10.18653/v1/n19-1021},
	year = {2019}
}

@inproceedings{DBLP:conf/icml/KimWMSR18,
	author = {Kim, Yoon and Wiseman, Sam and Miller, Andrew C. and Sontag, David A. and Rush, Alexander M.},
	booktitle = ICML,
	editor = {Dy, Jennifer G. and Krause, Andreas},
	pages = {2683--2692},
	publisher = {{PMLR}},
	series = {Proceedings of Machine Learning Research},
	title = {{Semi-Amortized Variational Autoencoders}},
	url = {http://proceedings.mlr.press/v80/kim18e.html},
	volume = {80},
	year = {2018}
}

@inproceedings{DBLP:conf/icml/MiaoYB16,
	author = {Miao, Yishu and Yu, Lei and Blunsom, Phil},
	booktitle = ICML,
	editor = {Balcan, Maria{-}Florina and Weinberger, Kilian Q.},
	pages = {1727--1736},
	publisher = {JMLR.org},
	series = {{JMLR} Workshop and Conference Proceedings},
	title = {{Neural Variational Inference for Text Processing}},
	url = {http://proceedings.mlr.press/v48/miao16.html},
	volume = {48},
	year = {2016}
}

@inproceedings{DBLP:conf/aistats/DiengKRB19,
	author = {Dieng, Adji B. and Kim, Yoon and Rush, Alexander M. and Blei, David M.},
	booktitle = AISTATS,
	editor = {Chaudhuri, Kamalika and Sugiyama, Masashi},
	pages = {2397--2405},
	publisher = {{PMLR}},
	series = {Proceedings of Machine Learning Research},
	title = {{Avoiding Latent Variable Collapse with Generative Skip Models}},
	url = {http://proceedings.mlr.press/v89/dieng19a.html},
	volume = {89},
	year = {2019}
}

@inproceedings{DBLP:conf/icml/YangHSB17,
	author = {Yang, Zichao and Hu, Zhiting and Salakhutdinov, Ruslan and Berg{-}Kirkpatrick, Taylor},
	booktitle = ICML,
	editor = {Precup, Doina and Teh, Yee Whye},
	pages = {3881--3890},
	publisher = {{PMLR}},
	series = {Proceedings of Machine Learning Research},
	title = {{Improved Variational Autoencoders for Text Modeling using Dilated Convolutions}},
	url = {http://proceedings.mlr.press/v70/yang17d.html},
	volume = {70},
	year = {2017}
}

@misc{dinh2014collapse,
	author = {Dinh, Laurent and Dumoulin, Vincent},
	journal = {Slides from CIFAR NCAP Summer School, August 12-16, University of Toronto, Toronto, ON.},
	title = {{Training Neural Bayesian Nets}},
	year = {2014}
}

@inproceedings{lavin2016fast,
	author = {Lavin, Andrew and Gray, Scott},
	booktitle = CVPR,
	pages = {4013--4021},
	title = {{Fast Algorithms for Convolutional Neural Networks}},
	year = {2016}
}

@misc{chollet2015keras,
	author = {Chollet, Fran{\c c}ois and others},
	howpublished = {\url{https://keras.io}},
	title = {Keras},
	year = {2015}
}

@inproceedings{he2015delving,
	author = {He, Kaiming and Zhang, Xiangyu and Ren, Shaoqing and Sun, Jian},
	booktitle = ICCV,
	pages = {1026--1034},
	title = {{Delving Deep into Rectifiers: Surpassing Human-Level Performance on Imagenet Classification}},
	year = {2015}
}

@article{tschannen2018recent,
	author = {Tschannen, Michael and Bachem, Olivier and Lucic, Mario},
	journal = {CoRR},
	title = {{Recent Advances in Autoencoder-Based Representation Learning}},
	volume = {abs/1812.05069},
	year = {2018}
}

@inproceedings{cyclegan,
	author = {Zhu, Jun-Yan and Park, Taesung and Isola, Phillip and Efros, Alexei A},
	booktitle = ICCV,
	pages = {2223--2232},
	title = {{Unpaired Image-to-Image Translation using Cycle-Consistent Adversarial Networks}},
	year = {2017}
}

@article{weber1997usc,
	author = {Weber, Allan G},
	journal = {USC-SIPI Report},
	number = {1},
	title = {{The USC-SIPI image database version 5}},
	volume = {315},
	year = {1997}
}

@article{hinton2012improving,
	author = {Hinton, Geoffrey E. and Nitish, Srivastava and Krizhevsky, Alex and Sutskever, Ilya and Salakhutdinov, Ruslan},
	journal = {CoRR},
	title = {{Improving Neural Networks by Preventing Co-adaptation of Feature Detectors}},
	volume = {abs/1207.0580},
	year = {2012}
}

@article{zhuo2014action,
	author = {Zhuo, Hankz Hankui and Yang, Qiang},
	journal = AIJ,
	pages = {80--103},
	publisher = {Elsevier},
	title = {{Action-Model Acquisition for Planning via Transfer Learning}},
	volume = {212},
	year = {2014}
}

@inproceedings{zhuo2015crowdsourced,
	author = {Zhuo, Hankz Hankui},
	booktitle = AAAI,
	title = {{Crowdsourced Action-Model Acquisition for Planning}},
	volume = {29},
	year = {2015}
}

@inproceedings{wang1995learning,
	author = {Wang, Xuemei},
	booktitle = ICML,
	pages = {549--557},
	publisher = {Elsevier},
	title = {{Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition}},
	year = {1995}
}

@inproceedings{wyatt2005unsupervised,
	author = {Wyatt, Danny and Philipose, Matthai and Choudhury, Tanzeem},
	booktitle = AAAI,
	pages = {21--27},
	title = {{Unsupervised Activity Recognition using Automatically Mined Common Sense}},
	volume = {5},
	year = {2005}
}

@inproceedings{maekawa2011unsupervised,
	author = {Maekawa, Takuya and Watanabe, Shinji},
	booktitle = {2011 15th Annual International Symposium on Wearable Computers},
	organization = {IEEE},
	pages = {89--96},
	title = {{Unsupervised Activity Recognition with User's Physical Characteristics Data}},
	year = {2011}
}

@inproceedings{vahdatpour2009toward,
	author = {Vahdatpour, Alireza and Amini, Navid and Sarrafzadeh, Majid},
	booktitle = IJCAI,
	organization = {Citeseer},
	title = {{Toward Unsupervised Activity Discovery using Multi Dimensional Motif Detection in Time Series}},
	year = {2009}
}

@article{dong2012learning,
	author = {Dong, Shuonan and Williams, Brian C.},
	journal = {International Journal of Social Robotics},
	number = {4},
	pages = {357--368},
	publisher = {Springer},
	title = {{Learning and Recognition of Hybrid Manipulation Motions in Variable Environments using Probabilistic Flow Tubes}},
	volume = {4},
	year = {2012}
}

@article{trabelsi2013unsupervised,
	author = {Trabelsi, Dorra and Mohammed, Samer and Chamroukhi, Faicel and Oukhellou, Latifa and Amirat, Yacine},
	journal = {IEEE Transactions on automation science and engineering},
	number = {3},
	pages = {829--835},
	publisher = {IEEE},
	title = {{An Unsupervised Approach for Automatic Activity Recognition based on Hidden Markov Model Regression}},
	volume = {10},
	year = {2013}
}

@inproceedings{duckworth2016unsupervised,
	author = {Duckworth, Paul and Alomari, Muhannad and Gatsoulis, Yiannis and Hogg, David C and Cohn, Anthony G},
	booktitle = ECAI,
	pages = {1062--1070},
	title = {{Unsupervised Activity Recognition using Latent Semantic Analysis on a Mobile Robot}},
	volume = {285},
	year = {2016}
}

@inproceedings{duckworth2017latent,
	author = {Duckworth, Paul and Alomari, Muhannad and Charles, James and Hogg, David C and Cohn, Anthony G},
	booktitle = AAAI,
	title = {{Latent Dirichlet Allocation for Unsupervised Activity Analysis on an Autonomous Mobile Robot}},
	volume = {31},
	year = {2017}
}

@inproceedings{Wang94,
	author = {Wang, Xuemei},
	booktitle = AIPS,
	editor = {Hammond, Kristian J.},
	pages = {335--340},
	publisher = {{AAAI}},
	title = {Learning Planning Operators by Observation and Practice},
	year = {1994}
}

@inproceedings{pommerening2015normal,
	author = {Pommerening, Florian and Helmert, Malte},
	booktitle = ICAPS,
	title = {{A Normal Form for Classical Planning Tasks}},
	volume = {25},
	year = {2015}
}

@inproceedings{miglani2020nltopddl,
	author = {Miglani, Shivam and Yorke-Smith, Neil},
	booktitle = KEPS,
	organization = {ICAPS},
	title = {{NLtoPDDL: One-Shot Learning of PDDL Models from Natural Language Process Manuals}},
	year = {2020}
}

@inproceedings{fawcett-et-al-icaps2011wspal,
	author = {Fawcett, Chris and Helmert, Malte and Hoos, Holger and Karpas, Erez and R{\"o}ger, Gabriele and Seipp, Jendrik},
	booktitle = {PRL},
	pages = {13--17},
	title = {{FD-Autotune}: Domain-Specific Configuration using {Fast} {Downward}},
	url = {github.com/AI-Planning/pddl-generators},
	year = 2011
}

@article{ha2018world,
	author = {Ha, David and Schmidhuber, J{\"u}rgen},
	journal = {CoRR},
	title = {{World Models}},
	volume = {abs/1803.10122},
	year = {2018}
}

@inproceedings{lee2019model,
	author = {Lee, Sang Uk and Hofmann, Andreas and Williams, Brian C.},
	booktitle = IROS,
	organization = {IEEE},
	pages = {736--743},
	title = {{A Model-Based Human Activity Recognition for Human--Robot Collaboration}},
	year = {2019}
}

@article{mitra2007gesture,
	author = {Mitra, Sushmita and Acharya, Tinku},
	journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews)},
	number = {3},
	pages = {311--324},
	publisher = {IEEE},
	title = {{Gesture Recognition: A Survey}},
	volume = {37},
	year = {2007}
}

@inproceedings{riley2011extracting,
	author = {Riley, Marcia and Cheng, Gordon},
	booktitle = {2011 11th IEEE-RAS International Conference on Humanoid Robots},
	organization = {IEEE},
	pages = {630--635},
	title = {Extracting and generalizing primitive actions from sparse demonstration},
	year = {2011}
}

@article{Asai2022,
	author = {Asai, Masataro and Kajino, Hiroshi and Fukunaga, Alex and Muise, Christian},
	journal = JAIR,
	pages = {1599--1686},
	title = {{Classical Planning in Deep Latent Space}},
	volume = {74},
	year = {2022}
}

@inproceedings{vaswani2017attention,
	author = {Vaswani, Ashish and Shazeer, Noam and Parmar, Niki and Uszkoreit, Jakob and Jones, Llion and Gomez, Aidan N and Kaiser, {\L}ukasz and Polosukhin, Illia},
	booktitle = NIPS,
	pages = {5998--6008},
	title = {{Attention is All You Need}},
	year = {2017}
}

@inproceedings{smith2019modeling,
	author = {Smith, Kevin and Mei, Lingjie and Yao, Shunyu and Wu, Jiajun and Spelke, Elizabeth S. and Tenenbaum, Joshua B. and Ullman, Tomer},
	booktitle = NIPS,
	pages = {8985--8995},
	title = {{Modeling Expectation Violation in Intuitive Physics with Coarse Probabilistic Object Representations}},
	year = {2019}
}

@article{baillargeon1985permanence,
	author = {Baillargeon, Ren{\'e}e and Spelke, Elizabeth S. and Wasserman, Stanley},
	doi = {10.1016/0010-0277(85)90008-3},
	issn = {0010-0277},
	journal = {Cognition},
	number = {3},
	pages = {191--208},
	title = {Object permanence in five-month-old infants},
	url = {http://www.sciencedirect.com/science/article/pii/0010027785900083},
	volume = {20},
	year = {1985}
}

@article{dennett1984cognitive,
	author = {Dennett, DANIEL C},
	editor = {Hookway, C.},
	journal = {Minds, Machines and Evolution: Philosophical Studies},
	pages = {129--150},
	publisher = {Cambridge University Press},
	title = {{Cognitive Wheels: The Frame Problem of AI}},
	volume = {3},
	year = {1984}
}

@inproceedings{bowman2016generating,
	author = {Bowman, Samuel and Vilnis, Luke and Vinyals, Oriol and Dai, Andrew and Jozefowicz, Rafal and Bengio, Samy},
	booktitle = {Proceedings of The 20th SIGNLL Conference on Computational Natural Language Learning},
	pages = {10--21},
	title = {{Generating Sentences from a Continuous Space}},
	year = {2016}
}

@inproceedings{hu2018relation,
	author = {Hu, Han and Gu, Jiayuan and Zhang, Zheng and Dai, Jifeng and Wei, Yichen},
	booktitle = CVPR,
	pages = {3588--3597},
	title = {{Relation Networks for Object Detection}},
	year = {2018}
}

@article{dosovitskiy2020image,
	author = {Dosovitskiy, Alexey and Beyer, Lucas and Kolesnikov, Alexander and Weissenborn, Dirk and Zhai, Xiaohua and Unterthiner, Thomas and Dehghani, Mostafa and Minderer, Matthias and Heigold, Georg and Gelly, Sylvain and others},
	journal = {CoRR},
	title = {{An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale}},
	volume = {abs/2010.11929},
	year = {2020}
}

@article{wagstaff2021universal,
	author = {Wagstaff, Edward and Fuchs, Fabian B and Engelcke, Martin and Osborne, Michael A and Posner, Ingmar},
	journal = {arXiv preprint arXiv:2107.01959},
	title = {{Universal Approximation of Functions on Sets}},
	year = {2021}
}

@article{srivastava2020improving,
	author = {Srivastava, Akash and Bansal, Yamini and Ding, Yukun and Hurwitz, Cole and Xu, Kai and Egger, Bernhard and Sattigeri, Prasanna and Tenenbaum, Joshua B. and Cox, David D. and Gutfreund, Dan},
	journal = {arXiv preprint arXiv:2010.13187},
	title = {{Improving the Reconstruction of Disentangled Representation Learners via Multi-Stage Modelling}},
	year = {2020}
}

@article{bishop2006pattern,
	author = {Bishop, Christopher M},
	journal = {Machine Learning},
	number = {9},
	title = {{Pattern Recognition}},
	volume = {128},
	year = {2006}
}

@inproceedings{hoffmann2015simulated,
	author = {Hoffmann, J{\"o}rg},
	booktitle = ICAPS,
	title = {Simulated Penetration Testing: From" Dijkstra" to" Turing Test++"},
	year = {2015}
}

@inproceedings{chakraborti2019plan,
	author = {Chakraborti, Tathagata and Sreedharan, Sarath and Grover, Sachin and Kambhampati, Subbarao},
	booktitle = {2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI)},
	organization = {IEEE},
	pages = {258--266},
	title = {Plan Explanations as Model Reconciliation--An Empirical Study},
	year = {2019}
}

@inproceedings{katz2020top,
	author = {Katz, Michael and Sohrabi, Shirin and Udrea, Octavian},
	booktitle = AAAI,
	number = {06},
	pages = {9900--9907},
	title = {Top-quality planning: Finding practically useful sets of best plans},
	volume = {34},
	year = {2020}
}

@inproceedings{hunt2021verifiably,
	author = {Hunt, Nathan and Fulton, Nathan and Magliacane, Sara and Hoang, Trong Nghia and Das, Subhro and Solar-Lezama, Armando},
	booktitle = {Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control},
	pages = {1--11},
	title = {Verifiably safe exploration for end-to-end reinforcement learning},
	year = {2021}
}

@inproceedings{gehring2021pddlrl,
	author = {Gehring, Clement and Asai, Masataro and Chitnis, Rohan and Silver, Tom and Kaelbling, Leslie Pack and Sohrabi, Shirin and Katz, Michael},
	booktitle = ICAPS,
	title = {Reinforcement Learning for Classical Planning: Viewing Heuristics as Dense Reward Generators},
	year = {2022}
}

@inproceedings{sarraute2012pomdps,
	author = {Sarraute, Carlos and Buffet, Olivier and Hoffmann, J{\"o}rg},
	booktitle = AAAI,
	title = {POMDPs make better hackers: Accounting for uncertainty in penetration testing},
	year = {2012}
}

@inproceedings{puri2021codenet,
	author = {Puri, Ruchir and Kung, David S and Janssen, Geert and Zhang, Wei and Domeniconi, Giacomo and Zolotov, Vladimir and Dolby, Julian and Chen, Jie and Choudhury, Mihir and Decker, Lindsey and others},
	booktitle = {NeurIPS 2021 Datasets and Benchmarks Track},
	title = {CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks},
	year = {2021}
}

@inproceedings{templeton2001requires,
	author = {Templeton, Steven J and Levitt, Karl},
	booktitle = {Proceedings of the 2000 workshop on New security paradigms},
	pages = {31--38},
	title = {A requires/provides model for computer attacks},
	year = {2001}
}

@article{hoffmann2003metric,
	author = {Hoffmann, J{\"o}rg},
	journal = JAIR,
	pages = {291--341},
	title = {{The Metric-FF Planning System: Translating``Ignoring Delete Lists''to Numeric State Variables}},
	volume = {20},
	year = {2003}
}

@inproceedings{martins2016softmax,
	author = {Martins, Andre and Astudillo, Ramon},
	booktitle = ICML,
	organization = {PMLR},
	pages = {1614--1623},
	title = {{From Softmax to Sparsemax: A Sparse Model of Attention and Multi-Label Classification}},
	year = {2016}
}

@inproceedings{correia2019adaptively,
	author = {Correia, Gon{\c c}alo M and Niculae, Vlad and Martins, Andr{\'e} FT},
	booktitle = {EMNLP},
	pages = {2174--2184},
	title = {Adaptively Sparse Transformers},
	year = {2019}
}

@article{genesereth2014general,
	author = {Genesereth, Michael and Thielscher, Michael},
	journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
	number = {2},
	pages = {1--229},
	publisher = {Morgan \& Claypool Publishers},
	title = {General Game Playing},
	volume = {8},
	year = {2014}
}

@inproceedings{brafman2008one,
	author = {Brafman, Ronen I. and Domshlak, Carmel},
	booktitle = ICAPS,
	pages = {28--35},
	title = {From One to Many: Planning for Loosely Coupled Multi-Agent Systems.},
	volume = {8},
	year = {2008}
}

@inproceedings{cimatti1998automatic,
	author = {Cimatti, Alessandro and Roveri, Marco and Traverso, Paolo},
	booktitle = AAAI,
	pages = {875--881},
	title = {{Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains}},
	year = {1998}
}

@article{cimatti2003weak,
	author = {Cimatti, Alessandro and Pistore, Marco and Roveri, Marco and Traverso, Paolo},
	journal = AIJ,
	number = {1-2},
	pages = {35--84},
	publisher = {Elsevier},
	title = {{Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking}},
	volume = {147},
	year = {2003}
}

@inproceedings{thielscher2011general,
	author = {Thielscher, Michael},
	booktitle = {Twenty-Second International Joint Conference on Artificial Intelligence},
	title = {{The General Game Playing Description Language is Universal}},
	year = {2011}
}

@article{muise2015leveraging,
	author = {Muise, Christian and Felli, Paolo and Miller, Tim and Pearce, Adrian R and Sonenberg, Liz},
	journal = {Distributed and Multi-Agent Planning (DMAP-15)},
	pages = {83},
	title = {Leveraging FOND planning technology to solve multi-agent planning problems},
	year = {2015}
}

@inproceedings{chrpa2021adversary,
	author = {Chrpa, Luk{\'a}{\v s} and Ryt{\'\i}{\v r}, Pavel and Hor{\v c}{\'\i}k, Rostislav and {\v C}uhel, Jan and Livochka, Anastasiia and Edelkamp, Stefan},
	booktitle = SOCS,
	number = {1},
	pages = {164--166},
	title = {{Adversary Strategy Sampling for Effective Plan Generation}},
	volume = {12},
	year = {2021}
}

@article{gonzalez2018dynamic,
	author = {Gonzalez-Granadillo, Gustavo and Dubus, Samuel and Motzek, Alexander and Garcia-Alfaro, Joaquin and Alvarez, Ender and Merialdo, Matteo and Papillon, Serge and Debar, Herv{\'e}},
	journal = {Future Generation Computer Systems},
	pages = {535--552},
	publisher = {Elsevier},
	title = {{Dynamic Risk Management Response System to Handle Cyber Threats}},
	volume = {83},
	year = {2018}
}

@inproceedings{teye2018bayesian,
	author = {Teye, Mattias and Azizpour, Hossein and Smith, Kevin},
	booktitle = ICML,
	organization = {PMLR},
	pages = {4907--4916},
	title = {{Bayesian Uncertainty Estimation for Batch Normalized Deep Networks}},
	year = {2018}
}

@inproceedings{anderson1998conditional,
	author = {Anderson, Corin R and Smith, David E and Weld, Daniel S.},
	booktitle = {AIPS},
	title = {{Conditional Effects in Graphplan.}},
	volume = {98},
	year = {1998}
}

@article{nebel2000compilability,
	author = {Nebel, Bernhard},
	journal = {JAIR},
	pages = {271--315},
	title = {{On the Compilability and Expressive Power of Propositional Planning Formalisms}},
	volume = {12},
	year = {2000}
}

@article{eslami2018neural,
	author = {Eslami, SM Ali and {Jimenez Rezende}, Danilo and Besse, Frederic and Viola, Fabio and Morcos, Ari S and Garnelo, Marta and Ruderman, Avraham and Rusu, Andrei A and Danihelka, Ivo and Gregor, Karol and others},
	journal = {Science},
	number = {6394},
	pages = {1204--1210},
	publisher = {American Association for the Advancement of Science},
	title = {{Neural Scene Representation and Rendering}},
	volume = {360},
	year = {2018}
}

@book{burr2012active,
	author = {Settles, Burr},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/series/synthesis/2012Settles.bib},
	publisher = {Morgan {\&} Claypool Publishers},
	series = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
	timestamp = {Sun, 02 Jun 2019 20:42:18 +0200},
	title = {{Active Learning}},
	year = {2012}
}

@article{vera1993situated,
	author = {Vera, Alonso H and Simon, Herbert A.},
	journal = {Cognitive science},
	number = {1},
	pages = {7--48},
	publisher = {Wiley Online Library},
	title = {{Situated Action: A Symbolic Interpretation}},
	volume = {17},
	year = {1993}
}

@inproceedings{roy2001toward,
	author = {Roy, Nicholas and McCallum, Andrew},
	booktitle = {ICML},
	pages = {441--448},
	title = {{Toward Optimal Active Learning through Monte Carlo Estimation of Error Reduction}},
	volume = {2},
	year = {2001}
}

@inproceedings{audibert2010best,
	author = {Audibert, Jean-Yves and Bubeck, S{\'e}bastien and Munos, R{\'e}mi},
	booktitle = COLT,
	organization = {Citeseer},
	pages = {41--53},
	title = {{Best Arm Identification in Multi-Armed Bandits}},
	year = {2010}
}

@inproceedings{karnin2013almost,
	author = {Karnin, Zohar and Koren, Tomer and Somekh, Oren},
	booktitle = ICML,
	organization = {PMLR},
	pages = {1238--1246},
	title = {{Almost Optimal Exploration in Multi-Armed Bandits}},
	year = {2013}
}

@book{gittins2011multi,
	author = {Gittins, John and Glazebrook, Kevin and Weber, Richard},
	publisher = {John Wiley \& Sons},
	title = {{Multi-Armed Bandit Allocation Indices}},
	year = {2011}
}

@inproceedings{ganti2013building,
	author = {Ganti, Ravi and Gray, Alexander G},
	booktitle = UAI,
	pages = {232--241},
	title = {{Building Bridges: Viewing Active Learning from the Multi-Armed Bandit Lens}},
	year = {2013}
}

@inproceedings{bouneffouf2014contextual,
	author = {Bouneffouf, Djallel and Laroche, Romain and Urvoy, Tanguy and F{\'e}raud, Raphael and Allesiardo, Robin},
	booktitle = NIPS,
	organization = {Springer},
	pages = {405--412},
	title = {{Contextual Bandit for Active Learning: Active Thompson Sampling}},
	year = {2014}
}

@inproceedings{jamieson2016non,
	author = {Jamieson, Kevin and Talwalkar, Ameet},
	booktitle = AISTATS,
	organization = {PMLR},
	pages = {240--248},
	title = {{Non-Stochastic Best Arm Identification and Hyperparameter Optimization}},
	year = {2016}
}

@inproceedings{ye2021mastering,
	author = {Ye, Weirui and Liu, Shaohuai and Kurutach, Thanard and Abbeel, Pieter and Gao, Yang},
	booktitle = {NIPS},
	title = {{Mastering Atari Games with Limited Data}},
	volume = {34},
	year = {2021}
}

@inproceedings{bellemare2015arcade,
	author = {Bellemare, Marc G. and Naddaf, Yavar and Veness, Joel and Bowling, Michael},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/ijcai/BellemareNVB15.bib},
	booktitle = IJCAI,
	editor = {Yang, Qiang and Wooldridge, Michael J.},
	pages = {4148--4152},
	publisher = {{AAAI} Press},
	timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
	title = {{The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract)}},
	year = {2015}
}

@inproceedings{liang2016state,
	author = {Liang, Yitao and Machado, Marlos C. and Talvitie, Erik and Bowling, Michael H.},
	booktitle = AAMAS,
	pages = {485--493},
	publisher = {{ACM}},
	title = {{State of the Art Control of Atari Games Using Shallow Reinforcement Learning}},
	year = {2016}
}

@inproceedings{lipovetzky2015classical,
	author = {Lipovetzky, Nir and Ram{\'\i}rez, Miquel and Geffner, H{\'e}ctor},
	booktitle = IJCAI,
	title = {{Classical Planning with Simulators: Results on the Atari Video Games}},
	year = {2015}
}

@inproceedings{shleyfman2016blind,
	author = {Shleyfman, Alexander and Tuisov, Alexander and Domshlak, Carmel},
	booktitle = IJCAI,
	pages = {3251--3257},
	title = {{Blind Search for Atari-Like Online Planning Revisited}},
	year = {2016}
}

@inproceedings{jinnai2017learning,
	author = {Jinnai, Yuu and Fukunaga, Alex},
	booktitle = AAAI,
	title = {{Learning to Prune Dominated Action Sequences in Online Black-Box Planning}},
	volume = {31},
	year = {2017}
}

@inproceedings{junyent2019deep,
	author = {Junyent, Miquel and Jonsson, Anders and G{\'o}mez, Vicen{\c c}},
	booktitle = ICAPS,
	pages = {646--654},
	title = {{Deep Policies for Width-Based Planning in Pixel Domains}},
	volume = {29},
	year = {2019}
}

@inproceedings{dittadi2021planning,
	author = {Dittadi, Andrea and Drachmann, Frederik K and Bolander, Thomas},
	booktitle = AAAI,
	pages = {4941--4949},
	title = {{Planning from Pixels in Atari with Learned Symbolic Representations}},
	volume = {35},
	year = {2021}
}

@inproceedings{junyent2021hierarchical,
	author = {Junyent, Miquel and G{\'o}mez, Vicen{\c c} and Jonsson, Anders},
	booktitle = ICAPS,
	pages = {519--527},
	title = {{Hierarchical Width-Based Planning and Learning}},
	volume = {31},
	year = {2021}
}

@article{russo2020simple,
	author = {Russo, Daniel},
	journal = {Operations Research},
	number = {6},
	pages = {1625--1647},
	publisher = {INFORMS},
	title = {{Simple Bayesian Algorithms for Best-Arm Identification}},
	volume = {68},
	year = {2020}
}

@inproceedings{teichteil2020boundary,
	author = {Teichteil-K{\"o}nigsbuch, Florent and Ram{\'\i}rez, Miquel and Lipovetzky, Nir},
	booktitle = IJCAI,
	pages = {4183--4189},
	title = {{Boundary Extension Features for Width-Based Planning with Simulators on Continuous-State Domains.}},
	year = {2020}
}

@article{korf1990real,
	author = {Korf, Richard E},
	journal = AIJ,
	number = {2-3},
	pages = {189--211},
	publisher = {Elsevier},
	title = {{Real-Time Heuristic Search}},
	volume = {42},
	year = {1990}
}

@inproceedings{gomoluch2019learning,
	author = {Gomoluch, Pawe{\l} and Alrajeh, Dalal and Russo, Alessandra},
	booktitle = ICAPS,
	pages = {637--645},
	title = {{Learning classical planning strategies with policy gradient}},
	volume = {29},
	year = {2019}
}

@inproceedings{singh2021approximate,
	author = {Singh, Anubhav and Lipovetzky, Nir and Ram{\'\i}rez, Miquel and Segovia-Aguas, Javier},
	booktitle = ICAPS,
	pages = {349--357},
	title = {{Approximate Novelty Search}},
	volume = {31},
	year = {2021}
}

@book{cover1999elements,
	author = {Cover, Thomas M},
	publisher = {John Wiley \& Sons},
	title = {{Elements of Information Theory}},
	year = {1999}
}

@article{krause2008near,
	author = {Krause, Andreas and Singh, Ajit and Guestrin, Carlos},
	journal = {JMLR},
	number = {2},
	title = {{Near-Optimal Sensor Placements in Gaussian Processes: Theory, Efficient Algorithms and Empirical Studies.}},
	volume = {9},
	year = {2008}
}

@book{bolstad2016introduction,
	author = {Bolstad, William M and Curran, James M},
	publisher = {John Wiley \& Sons},
	title = {{Introduction to Bayesian Statistics}},
	year = {2016}
}

@book{gelman1995bayesian,
	author = {Gelman, Andrew and Carlin, John B and Stern, Hal S and Rubin, Donald B},
	publisher = {Chapman and Hall/CRC},
	title = {{Bayesian Data Analysis}},
	year = {1995}
}

@article{cazenave2014sequential,
	author = {Cazenave, Tristan},
	journal = TCIAIG,
	number = {1},
	pages = {102--105},
	publisher = {IEEE},
	title = {{Sequential Halving Applied to Trees}},
	volume = {7},
	year = {2014}
}

@inproceedings{pepels2014minimizing,
	author = {Pepels, Tom and Cazenave, Tristan and Winands, Mark HM and Lanctot, Marc},
	booktitle = {Workshop on Computer Games at the European Conference on Artifical Intelligence},
	organization = {Springer},
	pages = {1--15},
	title = {{Minimizing Simple and Cumulative Regret in Monte-Carlo Tree Search}},
	year = {2014}
}

@inproceedings{kaufmann2017monte,
	author = {Kaufmann, Emilie and Koolen, Wouter},
	booktitle = NIPS,
	title = {{Monte-Carlo Tree Search by Best Arm Identification}},
	volume = {30},
	year = {2017}
}

@inproceedings{macnally2018action,
	author = {MacNally, Aleck M and Lipovetzky, Nir and Ram{\'\i}rez, Miquel and Pearce, Adrian R},
	booktitle = AAMAS,
	pages = {1327--1335},
	title = {{Action Selection for Transparent Planning}},
	year = {2018}
}

@inproceedings{li2020deep,
	author = {Li, Changsheng and Ma, Handong and Kang, Zhao and Yuan, Ye and Zhang, Xiao-Yu and Wang, Guoren},
	booktitle = IJCAI,
	pages = {2626--2632},
	title = {{On Deep Unsupervised Active Learning}},
	year = {2020}
}

@inproceedings{yu2006active,
	author = {Yu, Kai and Bi, Jinbo and Tresp, Volker},
	booktitle = ICML,
	pages = {1081--1088},
	title = {{Active Learning via Transductive Experimental Design}},
	year = {2006}
}

@article{li2018joint,
	author = {Li, Changsheng and Wang, Xiangfeng and Dong, Weishan and Yan, Junchi and Liu, Qingshan and Zha, Hongyuan},
	journal = TPAMI,
	number = {6},
	pages = {1382--1396},
	publisher = {IEEE},
	title = {{Joint Active Learning with Feature Selection via CUR Matrix Decomposition}},
	volume = {41},
	year = {2018}
}

@article{zhang2011active,
	author = {Zhang, Lijun and Chen, Chun and Bu, Jiajun and Cai, Deng and He, Xiaofei and Huang, Thomas S},
	journal = TPAMI,
	number = {10},
	pages = {2026--2038},
	publisher = {IEEE},
	title = {{Active Learning Based on Locally Linear Reconstruction}},
	volume = {33},
	year = {2011}
}

% Data verified.
% Data from first author's homepage:
% - http://www.ida.liu.se/~petej/Research/article.html

@inproceedings{velivckovic2017graph,
	author = {Veli{\v c}kovi{\'c}, Petar and Cucurull, Guillem and Casanova, Arantxa and Romero, Adriana and Lio, Pietro and Bengio, Yoshua},
	booktitle = ICLR,
	title = {{Graph Attention Networks}},
	year = {2018}
}

@inproceedings{katz-hoffmann-ipc2014,
	author = {Katz, Michael and Hoffmann, J{\"o}rg},
	booktitle = IPC,
	pages = {43--47},
	title = {{Mercury Planner: Pushing the Limits of Partial Delete Relaxation}},
	year = {2014}
}

@article{bayes1763,
	author = {Bayes, Thomas},
	journal = {Philosophical transactions of the Royal Society of London},
	number = {53},
	pages = {370--418},
	publisher = {The Royal Society London},
	title = {{An Essay towards solving a Problem in the Doctrine of Chances. By the late Rev. Mr. Bayes, F.R.S. communicated by Mr. Price, in a Letter to John Canton, A.M.F.R.S.}},
	year = {1763}
}

@book{sugiyama2012density,
	author = {Sugiyama, Masashi and Suzuki, Taiji and Kanamori, Takafumi},
	publisher = {Cambridge University Press},
	title = {{Density Ratio Estimation in Machine Learning}},
	year = {2012}
}

@article{jospin2022hands,
	author = {Jospin, Laurent Valentin and Laga, Hamid and Boussaid, Farid and Buntine, Wray and Bennamoun, Mohammed},
	journal = {IEEE Computational Intelligence Magazine},
	number = {2},
	pages = {29--48},
	publisher = {IEEE},
	title = {{Hands-on Bayesian Neural Networks -- A Tutorial for Deep Learning Users}},
	volume = {17},
	year = {2022}
}

@inproceedings{srivastava2017veegan,
	author = {Srivastava, Akash and Valkov, Lazar and Russell, Chris and Gutmann, Michael U and Sutton, Charles},
	booktitle = {NIPS},
	title = {{VEEGAN: Reducing Mode Collapse in GANs using Implicit Variational Learning}},
	volume = {30},
	year = {2017}
}

@book{bishop2006pattern-2,
	author = {Bishop, Christopher M and Nasrabadi, Nasser M},
	number = {4},
	publisher = {Springer},
	title = {{Pattern Recognition and Machine Learning}},
	volume = {4},
	year = {2006}
}

@article{valiant1984theory,
	author = {Valiant, Leslie G.},
	journal = {Communications of the ACM},
	number = {11},
	pages = {1134--1142},
	publisher = {Acm New York, NY, USA},
	title = {{A Theory of the Learnable}},
	volume = {27},
	year = {1984}
}

@inproceedings{germain2016pac,
	author = {Germain, Pascal and Bach, Francis and Lacoste, Alexandre and Lacoste-Julien, Simon},
	booktitle = {NIPS},
	title = {{PAC-Bayesian Theory Meets Bayesian Inference}},
	volume = {29},
	year = {2016}
}

@incollection{mcallester2003simplified,
	author = {McAllester, David},
	booktitle = {Learning theory and Kernel machines},
	pages = {203--215},
	publisher = {Springer},
	title = {{Simplified PAC-Bayesian margin bounds}},
	year = {2003}
}

@article{alquier2021user,
	author = {Alquier, Pierre},
	journal = {arXiv preprint arXiv:2110.11216},
	title = {User-friendly introduction to PAC-Bayes bounds},
	year = {2021}
}

@article{guedj2019primer,
	author = {Guedj, Benjamin},
	journal = {arXiv preprint arXiv:1901.05353},
	title = {{A Primer on PAC-Bayesian Learning}},
	year = {2019}
}

@article{goodman2012church,
	author = {Goodman, Noah and Mansinghka, Vikash and Roy, Daniel M and Bonawitz, Keith and Tenenbaum, Joshua B.},
	journal = {arXiv preprint arXiv:1206.3255},
	title = {{Church: A Language for Generative Models}},
	year = {2012}
}

@article{wingate2013automated,
	author = {Wingate, David and Weber, Theophane},
	journal = {arXiv preprint arXiv:1301.1299},
	title = {{Automated Variational Inference in Probabilistic Programming}},
	year = {2013}
}

@inproceedings{ranganath2014black,
	author = {Ranganath, Rajesh and Gerrish, Sean and Blei, David M.},
	booktitle = AISTATS,
	organization = {PMLR},
	pages = {814--822},
	title = {{Black Box Variational Inference}},
	year = {2014}
}

@article{maxent,
	author = {Jaynes, Edwin T},
	doi = {10.1103/PhysRev.106.620},
	issue = {4},
	journal = {Phys. Rev.},
	month = {May},
	numpages = {0},
	pages = {620--630},
	publisher = {American Physical Society},
	title = {{Information Theory and Statistical Mechanics}},
	url = {https://link.aps.org/doi/10.1103/PhysRev.106.620},
	volume = {106},
	year = {1957}
}

@article{jaynes1968prior,
	author = {Jaynes, Edwin T},
	journal = {IEEE Transactions on Systems Science and Cybernetics},
	number = {3},
	pages = {227--241},
	publisher = {IEEE},
	title = {{Prior Probabilities}},
	volume = {4},
	year = {1968}
}

@book{jaynes2003probability,
	author = {Jaynes, Edwin T},
	publisher = {Cambridge university press},
	title = {{Probability Theory: The Logic of Science}},
	year = {2003}
}

@article{preda1984informational,
	author = {Preda, Vasile C},
	journal = {Bulletin math{\'e}matique de la Soci{\'e}t{\'e} des Sciences Math{\'e}matiques de la R{\'e}publique Socialiste de Roumanie},
	pages = {77--79},
	publisher = {JSTOR},
	title = {{Informational Characterizing of the Pareto and Power Distributions}},
	year = {1984}
}

@article{newman2005power,
	author = {Newman, Mark EJ},
	journal = {Contemporary physics},
	number = {5},
	pages = {323--351},
	publisher = {Taylor \& Francis},
	title = {{Power laws, Pareto distributions and Zipf's law}},
	volume = {46},
	year = {2005}
}

@inproceedings{lin2015power,
	author = {Lin, Zhongpeng and Whitehead, Jim},
	booktitle = {2015 IEEE/ACM 12th Working Conference on Mining Software Repositories},
	organization = {IEEE},
	pages = {68--75},
	title = {{Why Power Laws? An Explanation from Fine-Grained Code Changes}},
	year = {2015}
}

@book{kotz2001laplace,
	author = {Kotz, Samuel and Kozubowski, Tomasz and Podg{\'o}rski, Krzysztof},
	number = {183},
	publisher = {Springer Science \& Business Media},
	title = {{The Laplace distribution and generalizations: a revisit with applications to communications, economics, engineering, and finance}},
	year = {2001}
}

@article{amari1998natural,
	author = {Amari, Shun-Ichi},
	journal = {Neural Computation},
	number = {2},
	pages = {251--276},
	publisher = {MIT Press},
	title = {{Natural Gradient Works Efficiently in Learning}},
	volume = {10},
	year = {1998}
}

@inproceedings{guo2007optimistic,
	author = {Guo, Yuhong and Greiner, Russell},
	booktitle = IJCAI,
	pages = {823--829},
	title = {{Optimistic active-learning using mutual information.}},
	volume = {7},
	year = {2007}
}

@article{pavel2020conjugate,
	address = {GBR},
	author = {Gurevich, Pavel and Stuke, Hannes},
	doi = {10.1016/j.artint.2019.103184},
	issn = {0004-3702},
	issue_date = {Jan 2020},
	journal = AIJ,
	keywords = {Conjugate priors, Asymptotics, Uncertainty quantification, Kullback--Leibler divergence, Deep neural networks, Regression, Outliers, Student's t-distribution, Latent variables},
	month = {jan},
	number = {C},
	numpages = {28},
	publisher = {Elsevier Science Publishers Ltd.},
	title = {{Gradient Conjugate Priors and Multi-Layer Neural Networks}},
	url = {https://doi.org/10.1016/j.artint.2019.103184},
	volume = {278},
	year = {2020}
}

@article{juang1991hidden,
	author = {Juang, Biing Hwang and Rabiner, Laurence R},
	journal = {Technometrics},
	number = {3},
	pages = {251--272},
	publisher = {Taylor \& Francis},
	title = {{Hidden Markov Models for Speech Recognition}},
	volume = {33},
	year = {1991}
}

@article{valiant1979complexity,
	author = {Valiant, Leslie G.},
	journal = {Theoretical computer science},
	number = {2},
	pages = {189--201},
	publisher = {Elsevier},
	title = {{The Complexity of Computing the Permanent}},
	volume = {8},
	year = {1979}
}

@article{de1812probability,
	author = {de Laplace, Pierre-Simon},
	journal = {Th{\'e}orie Analytique des Probabilit{\'e}s},
	title = {On the Probability of Causes and of Future Events, Deduced From Observed Events (Translated by Richard J. Pulskamp)},
	year = {1812}
}

@book{kolmogorov1933foundations,
	author = {Kolmogorov, Andre{\u\i} Nikolaevich and Bharucha-Reid, Albert T},
	title = {Foundations of the Theory of Probability},
	year = {1933}
}

@book{beirlant2004statistics,
	author = {Beirlant, Jan and Goegebeur, Yuri and Segers, Johan and Teugels, Jozef L},
	publisher = {John Wiley \& Sons},
	title = {{Statistics of Extremes: Theory and Applications}},
	volume = {558},
	year = {2004}
}

@book{grattan2005landmark,
	author = {Grattan-Guinness, Ivor},
	publisher = {Elsevier},
	title = {{Landmark Writings in Western Mathematics 1640-1940}},
	year = {2005}
}

@book{bernoulli1713lawsoflargenumbers,
	author = {Bernoulli, Jakob},
	title = {{Ars Conjectandi: Usum \& Applicationem Praecedentis Doctrinae in Civilibus, Moralibus \& Oeconomicis (in Latin)}},
	year = {1713}
}

@book{laplace1812centrallimittheorem,
	author = {Laplace, Pierre-Simon},
	title = {{Th{\'e}orie analytique des probabilit{\'e}s}},
	year = {1812}
}

@book{rohatgi2015introduction,
	author = {Rohatgi, Vijay K and Saleh, AK Md Ehsanes},
	publisher = {John Wiley \& Sons},
	title = {{An Introduction to Probability and Statistics}},
	year = {2015}
}

@inproceedings{chopra2005learning,
	author = {Chopra, Sumit and Hadsell, Raia and LeCun, Yann},
	booktitle = CVPR,
	organization = {IEEE},
	pages = {539--546},
	title = {{Learning a Similarity Metric Discriminatively, with Application to Face Verification}},
	volume = {1},
	year = {2005}
}

@inproceedings{schroff2015facenet,
	author = {Schroff, Florian and Kalenichenko, Dmitry and Philbin, James},
	booktitle = CVPR,
	pages = {815--823},
	title = {{Facenet: A Unified Embedding for Face Recognition and Clustering}},
	year = {2015}
}

@inproceedings{gutmann2010noise,
	author = {Gutmann, Michael U and Hyv{\"a}rinen, Aapo},
	booktitle = AISTATS,
	organization = {JMLR Workshop and Conference Proceedings},
	pages = {297--304},
	title = {{Noise-Contrastive Estimation: A New Estimation Principle for Unnormalized Statistical Models}},
	year = {2010}
}

@book{von1944theory,
	author = {{Von Neumann}, John and Morgenstern, Oskar},
	publisher = {Princeton university press},
	title = {{Theory of Games and Economic Behavior}},
	year = {1944}
}

@book{savage1954foundations,
	author = {Savage, Leonard J},
	publisher = {Courier Corporation},
	title = {{The Foundations of Statistics}},
	year = {1954}
}

@incollection{phanzagl1967,
	author = {Pfanzagl, Johann},
	booktitle = {{Essays in Mathematical Economics, in Honor of Oskar Morgenstern}},
	editor = {Shubik, Martin},
	publisher = {Princeton University Press},
	title = {{Subjective Probability Derived from the Morgenstern-von Neumann Utility Theory}},
	volume = {2174},
	year = {1967}
}

@article{pickands1975statistical,
	author = {{Pickands III}, James},
	journal = {Annals of Statistics},
	pages = {119--131},
	publisher = {JSTOR},
	title = {{Statistical Inference using Extreme Order Statistics}},
	year = {1975}
}

@article{gumbel1950distribution,
	author = {Gumbel, Emil Julius and von Schelling, Hermann},
	journal = {Annals of Mathematical Statistics},
	number = {2},
	pages = {247--262},
	publisher = {JSTOR},
	title = {{The Distribution of the Number of Exceedances}},
	volume = {21},
	year = {1950}
}

@misc{prolog-elbo,
	author = {Asai, Masataro},
	howpublished = {github.com/guicho271828/prolog-elbo},
	title = {{Deriving Evidence Lower BOund (ELBO) with Prolog}},
	year = {2022}
}

@misc{elbonara,
	author = {Asai, Masataro},
	howpublished = {github.com/guicho271828/elbonara},
	title = {{Elbonara}},
	year = {2022}
}

@inproceedings{sohl2015deep,
	author = {Sohl-Dickstein, Jascha and Weiss, Eric and Maheswaranathan, Niru and Ganguli, Surya},
	booktitle = ICML,
	organization = {PMLR},
	pages = {2256--2265},
	title = {{Deep Unsupervised Learning using Nonequilibrium Thermodynamics}},
	year = {2015}
}

@article{dalle2,
	author = {Ramesh, Aditya and Dhariwal, Prafulla and Nichol, Alex and Chu, Casey and Chen, Mark},
	journal = {arXiv preprint arXiv:2204.06125},
	title = {{Hierarchical Text-Conditional Image Generation with Clip Latents}},
	year = {2022}
}

@inproceedings{dalle,
	author = {Ramesh, Aditya and Pavlov, Mikhail and Goh, Gabriel and Gray, Scott and Voss, Chelsea and Radford, Alec and Chen, Mark and Sutskever, Ilya},
	booktitle = ICML,
	organization = {PMLR},
	pages = {8821--8831},
	title = {Zero-shot text-to-image generation},
	year = {2021}
}

@book{pearl2018bookofwhy,
	author = {Pearl, Judea and Mackenzie, Dana},
	publisher = {Basic books},
	title = {{The Book of Why: The New Science of Cause and Effect}},
	year = {2018}
}

@inproceedings{antos2008active,
	author = {Antos, Andr{\'a}s and Grover, Varun and Szepesv{\'a}ri, Csaba},
	booktitle = {International Conference on Algorithmic Learning Theory},
	organization = {Springer},
	pages = {287--302},
	title = {{Active Learning in Multi-Armed Bandits}},
	year = {2008}
}

@inproceedings{tenenbaum1998bayesian,
	author = {Tenenbaum, Joshua B.},
	booktitle = {NIPS},
	title = {{Bayesian Modeling of Human Concept Learning}},
	volume = {11},
	year = {1998}
}

@article{kiefer1952sequential,
	author = {Kiefer, Jack},
	journal = {Annals of Mathematical Statistics},
	pages = {586--593},
	publisher = {JSTOR},
	title = {{Sequential Minimax Estimation for the Rectangular Distribution with Unknown Range}},
	year = {1952}
}

@book{degroot1970optimal,
	author = {DeGroot, Morris H},
	publisher = {John Wiley \& Sons},
	title = {{Optimal Statistical Decisions}},
	year = {1970}
}

@article{rossman1998bayes,
	author = {Rossman, Allan J and Short, Thomas H and Parks, Matthew T},
	journal = {Journal of Statistics Education},
	number = {3},
	publisher = {Taylor \& Francis},
	title = {{Bayes Estimators for the Continuous Uniform Distribution}},
	volume = {6},
	year = {1998}
}

@inproceedings{carvalho2009handling,
	author = {Carvalho, Carlos M and Polson, Nicholas G and Scott, James G},
	booktitle = AISTATS,
	organization = {PMLR},
	pages = {73--80},
	title = {Handling sparsity via the horseshoe},
	year = {2009}
}

@article{Kolmogoroff1929,
	author = {Kolmogoroff, Andrey},
	doi = {10.1007/BF01454828},
	issn = {1432-1807},
	journal = {Mathematische Annalen},
	number = {1},
	pages = {126--135},
	risfield_0_da = {1929/12/01},
	title = {{\"U}ber das Gesetz des iterierten Logarithmus},
	volume = {101},
	year = {1929}
}

@inproceedings{srivastava2019generative,
	author = {Srivastava, Akash and Xu, Kai and Gutmann, Michael U and Sutton, Charles},
	booktitle = ICLR,
	title = {{Generative Ratio Matching Networks}},
	year = {2020}
}

@inproceedings{arjovsky2017wasserstein,
	author = {Arjovsky, Martin and Chintala, Soumith and Bottou, L{\'e}on},
	booktitle = ICML,
	organization = {PMLR},
	pages = {214--223},
	title = {{Wasserstein Generative Adversarial Networks}},
	year = {2017}
}

@inproceedings{dziugaite2015training,
	author = {Dziugaite, Gintare Karolina and Roy, Daniel M and Ghahramani, Zoubin},
	booktitle = UAI,
	pages = {258--267},
	title = {{Training Generative Neural Networks via Maximum Mean Discrepancy Optimization}},
	year = {2015}
}

@inproceedings{li2015generative,
	author = {Li, Yujia and Swersky, Kevin and Zemel, Rich},
	booktitle = ICML,
	organization = {PMLR},
	pages = {1718--1727},
	title = {{Generative Moment Matching Networks}},
	year = {2015}
}

@article{balkema1974residual,
	author = {Balkema, August A and {De Haan}, Laurens},
	journal = {Annals of Probability},
	number = {5},
	pages = {792--804},
	publisher = {Institute of Mathematical Statistics},
	title = {{Residual Life Time at Great Age}},
	volume = {2},
	year = {1974}
}

@article{hill1975simple,
	author = {Hill, Bruce M},
	journal = {Annals of Statistics},
	pages = {1163--1174},
	publisher = {JSTOR},
	title = {{A Simple General Approach to Inference about the Tail of a Distribution}},
	year = {1975}
}

@article{resnick1997smoothing,
	author = {Resnick, Sidney and St{\u a}ric{\u a}, C{\u a}t{\u a}lin},
	journal = {Advances in Applied Probability},
	number = {1},
	pages = {271--293},
	publisher = {Cambridge University Press},
	title = {{Smoothing the Hill estimator}},
	volume = {29},
	year = {1997}
}

@article{fraga2001location,
	author = {{Fraga Alves}, MI},
	journal = {Extremes},
	number = {3},
	pages = {199--217},
	publisher = {Springer},
	title = {{A Location Invariant Hill-Type Estimator}},
	volume = {4},
	year = {2001}
}

@article{smith1987estimating,
	author = {Smith, Richard L},
	journal = {Annals of Statistics},
	pages = {1174--1207},
	publisher = {JSTOR},
	title = {{Estimating Tails of Probability Distributions}},
	year = {1987}
}

@article{hosking1987parameter,
	author = {Hosking, Jonathan RM and Wallis, James R},
	journal = {Technometrics},
	number = {3},
	pages = {339--349},
	publisher = {Taylor \& Francis},
	title = {{Parameter and Quantile Estimation for the Generalized Pareto Distribution}},
	volume = {29},
	year = {1987}
}

@article{castillo1995method,
	author = {Castillo, Enrique and Hadi, Ali S},
	journal = {Computational statistics \& data analysis},
	number = {4},
	pages = {421--439},
	publisher = {Elsevier},
	title = {{A Method for Estimating Parameters and Quantiles of Distributions of Continuous Random Variables}},
	volume = {20},
	year = {1995}
}

@article{castillo1997fitting,
	author = {Castillo, Enrique and Hadi, Ali S},
	journal = {Journal of the American Statistical Association},
	number = {440},
	pages = {1609--1620},
	publisher = {Taylor \& Francis},
	title = {{Fitting the Generalized Pareto Distribution to Data}},
	volume = {92},
	year = {1997}
}

@inproceedings{tamar2015optimizing,
	author = {Tamar, Aviv and Glassner, Yonatan and Mannor, Shie},
	booktitle = AAAI,
	title = {{Optimizing the CVaR via Sampling}},
	year = {2015}
}

@article{soma2020statistical,
	author = {Soma, Tasuku and Yoshida, Yuichi},
	journal = {arXiv preprint arXiv:2002.05826},
	title = {{Statistical Learning with Conditional Value at Risk}},
	year = {2020}
}

@inproceedings{soma2021submodular,
	author = {Soma, Tasuku and Yoshida, Yuichi},
	booktitle = IJCAI,
	title = {{Online Risk-Averse Submodular Maximization}},
	year = 2021
}

@article{soma2022submodular,
	author = {Soma, Tasuku and Yoshida, Yuichi},
	journal = {Annals of Operations Research},
	pages = {1--22},
	publisher = {Springer},
	title = {{Online Risk-Averse Submodular Maximization}},
	year = {2022}
}

@article{hansen2001lao,
	author = {Hansen, Eric A and Zilberstein, Shlomo},
	journal = AIJ,
	number = {1-2},
	pages = {35--62},
	publisher = {Elsevier},
	title = {{LAO$^*$: A Heuristic Search Algorithm that Finds Solutions with Loops}},
	volume = {129},
	year = {2001}
}

@inproceedings{richter2010joy,
	author = {Richter, Silvia and Thayer, Jordan Tyler and Ruml, Wheeler},
	booktitle = ICAPS,
	title = {{The Joy of Forgetting: Faster Anytime Search via Restarting}},
	year = {2010}
}

@inproceedings{kashima2008regression,
	author = {Kashima, Hisashi and Yamasaki, Kazutaka and Inokuchi, Akihiro and Saigo, Hiroto},
	booktitle = ICPR,
	organization = {IEEE},
	pages = {1--4},
	title = {{Regression with Interval Output Values}},
	year = {2008}
}

@inproceedings{ayton2022policy,
	author = {Ayton, Benjamin and Asai, Masataro},
	booktitle = ICAPS,
	pages = {547--555},
	title = {{Is Policy Learning Overrated?: Width-Based Planning and Active Learning for Atari}},
	volume = {32},
	year = {2022}
}

@inproceedings{heusner2018search,
	author = {Heusner, Manuel and Keller, Thomas and Helmert, Malte},
	organization = IJCAI,
	title = {{Search Progress and Potentially Expanded States in Greedy Best-First Search}},
	year = {2018}
}

@inproceedings{heusner2018best,
	author = {Heusner, Manuel and Keller, Thomas and Helmert, Malte},
	organization = IJCAI,
	title = {{Best-Case and Worst-Case Behavior of Greedy Best-First Search}},
	year = {2018}
}

@inproceedings{heusner2017understanding,
	author = {Heusner, Manuel and Keller, Thomas and Helmert, Malte},
	booktitle = SOCS,
	number = {1},
	title = {{Understanding the Search Behaviour of Greedy Best-First Search}},
	volume = {8},
	year = {2017}
}

@inproceedings{kuroiwa2022biased,
	author = {Kuroiwa, Ryo and Beck, J Christopher},
	booktitle = ICAPS,
	title = {{Biased Exploration for Satisficing Heuristic Search}},
	year = {2022}
}

@inproceedings{sudry2022learning,
	author = {Sudry, Matan and Karpas, Erez},
	booktitle = ICAPS,
	pages = {362--370},
	title = {{Learning to Estimate Search Progress Using Sequence of States}},
	volume = {32},
	year = {2022}
}

@inproceedings{ferber2022learning,
	author = {Ferber, Patrick and Cohen, Liat and Seipp, Jendrik and Keller, Thomas},
	booktitle = IJCAI,
	title = {{Learning and Exploiting Progress States in Greedy Best-First Search}},
	year = {2022}
}

@inproceedings{ferber2022neural,
	author = {Ferber, Patrick and Gei{\ss}er, Florian and Trevizan, Felipe and Helmert, Malte and Hoffmann, J{\"o}rg},
	booktitle = ICAPS,
	title = {{Neural Network Heuristic Functions for Classical Planning: Bootstrapping and Comparison to Other Methods}},
	year = {2022}
}

@phdthesis{burns2013planning,
	author = {Burns, Ethan Andrew},
	school = {University of New Hampshire},
	title = {{Planning under Time Pressure}},
	year = {2013}
}

@inproceedings{o2015metareasoning,
	author = {O'Ceallaigh, Dylan and Ruml, Wheeler},
	booktitle = SOCS,
	number = {1},
	title = {{Metareasoning in Real-Time Heuristic Search}},
	volume = {6},
	year = {2015}
}

@inproceedings{mitchell2019real,
	author = {Mitchell, Andrew and Ruml, Wheeler and Spaniol, Fabian and Hoffmann, J{\"o}rg and Petrik, Marek},
	booktitle = AAAI,
	number = {01},
	pages = {2338--2345},
	title = {{Real-Time Planning as Decision-Making under Uncertainty}},
	volume = {33},
	year = {2019}
}

@inproceedings{fickert2020beliefs,
	author = {Fickert, Maximilian and Gu, Tianyi and Staut, Leonhard and Ruml, Wheeler and Hoffmann, J{\"o}rg and Petrik, Marek},
	booktitle = AAAI,
	number = {06},
	pages = {9827--9834},
	title = {{Beliefs We Can Believe In: Replacing Assumptions with Data in Real-Time Search}},
	volume = {34},
	year = {2020}
}

@inproceedings{gu2021distributional,
	author = {Gu, Tianyi},
	booktitle = SOCS,
	number = {1},
	pages = {222--224},
	title = {{Distributional Metareasoning for Heuristic Search}},
	volume = {12},
	year = {2021}
}

@inproceedings{fickert2021bounded,
	author = {Fickert, Maximilian and Gu, Tianyi and Ruml, Wheeler},
	journal = IJCAI,
	title = {{Bounded-Cost Search using Estimates of Uncertainty}},
	year = {2021}
}

@article{feldman2014simple,
	author = {Feldman, Zohar and Domshlak, Carmel},
	journal = JAIR,
	pages = {165--205},
	title = {{Simple Regret Optimization in Online Planning for Markov Decision Processes}},
	volume = {51},
	year = {2014}
}

@inproceedings{bubeck2010open,
	author = {Bubeck, S{\'e}bastien and Munos, R{\'e}mi},
	booktitle = COLT,
	title = {{Open Loop Optimistic Planning}},
	year = {2010}
}

@inproceedings{busoniu2012optimistic,
	author = {Busoniu, Lucian and Munos, R{\'e}mi},
	booktitle = AISTATS,
	organization = {PMLR},
	pages = {182--189},
	title = {{Optimistic Planning for Markov Decision Processes}},
	year = {2012}
}

@inproceedings{tolpin2012mcts,
	author = {Tolpin, David and Shimony, Solomon Eyal},
	booktitle = AAAI,
	number = {1},
	pages = {570--576},
	title = {{MCTS Based on Simple Regret}},
	volume = {26},
	year = {2012}
}

@article{bubeck2011pure,
	author = {Bubeck, S{\'e}bastien and Munos, R{\'e}mi and Stoltz, Gilles},
	journal = {Theoretical Computer Science},
	number = {19},
	pages = {1832--1852},
	publisher = {Elsevier},
	title = {{Pure Exploration in Finitely-Armed and Continuous-Armed Bandits}},
	volume = {412},
	year = {2011}
}

@article{gelly2011monte,
	author = {Gelly, Sylvain and Silver, David},
	journal = AIJ,
	number = {11},
	pages = {1856--1875},
	publisher = {Elsevier},
	title = {{Monte-Carlo Tree Search and Rapid Action Value Estimation in Computer Go}},
	volume = {175},
	year = {2011}
}

@article{thompson1933likelihood,
	author = {Thompson, William R},
	journal = {Biometrika},
	number = {3-4},
	pages = {285--294},
	publisher = {Oxford University Press},
	title = {{On the Likelihood that One Unknown Probability Exceeds Another in View of the Evidence of Two Samples}},
	volume = {25},
	year = {1933}
}

@inproceedings{bubeck2009pure,
	author = {Bubeck, S{\'e}bastien and Munos, R{\'e}mi and Stoltz, Gilles},
	booktitle = {International Conference on Algorithmic Learning Theory},
	organization = {Springer},
	pages = {23--37},
	title = {{Pure Exploration in Multi-Armed Bandits Problems}},
	year = {2009}
}

@inproceedings{kuroiwa2019case,
	author = {Kuroiwa, Ryo and Fukunaga, Alex},
	booktitle = SOCS,
	title = {{A Case Study on the Importance of Low-Level Algorithmic Details in Domain-Independent Heuristics}},
	year = {2019}
}

@incollection{keyder2008heuristics,
	author = {Keyder, Emil and Geffner, H{\'e}ctor},
	booktitle = ECAI,
	pages = {588--592},
	publisher = {IOS Press},
	title = {{Heuristics for Planning with Action Costs Revisited}},
	year = {2008}
}

@inproceedings{tesauro2010bayesian,
	author = {Tesauro, Gerald and Rajan, VT and Segal, Richard},
	booktitle = UAI,
	pages = {580--588},
	title = {{Bayesian Inference in Monte-Carlo Tree Search}},
	year = {2010}
}

@article{clark1961greatest,
	author = {Clark, Charles E},
	journal = {Operations Research},
	number = {2},
	pages = {145--162},
	publisher = {INFORMS},
	title = {{The Greatest of a Finite Set of Random Variables}},
	volume = {9},
	year = {1961}
}

@article{minka2001bayesian,
	author = {Minka, Thomas P},
	journal = {Obtained from research.microsoft.com/en-us/um/people/minka/papers/uniform.html},
	title = {{Bayesian Inference of a Uniform Distribution}},
	year = {2001}
}

@inproceedings{mattmuller2010pattern,
	author = {Mattm{\"u}ller, Robert and Ortlieb, Manuela and Helmert, Malte and Bercher, Pascal},
	booktitle = ICAPS,
	title = {{Pattern Database Heuristics for Fully Observable Nondeterministic Planning}},
	year = {2010}
}

@inproceedings{wennberg2021case,
	author = {Wennberg, Ulme and Henter, Gustav Eje},
	booktitle = ACL,
	pages = {130--140},
	title = {{The Case for Translation-Invariant Self-Attention in Transformer-Based Language Models}},
	year = {2021}
}

@article{fisher1922mathematical,
	author = {Fisher, Ronald A},
	journal = {Philosophical transactions of the Royal Society of London. Series A, containing papers of a mathematical or physical character},
	number = {594-604},
	pages = {309--368},
	publisher = {The Royal Society London},
	title = {{On the Mathematical Foundations of Theoretical Statistics}},
	volume = {222},
	year = {1922}
}

@article{neyman1933ix,
	author = {Neyman, Jerzy and Pearson, Egon Sharpe},
	journal = {Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character},
	number = {694-706},
	pages = {289--337},
	publisher = {The Royal Society London},
	title = {{On the Problem of the Most Efficient Tests of Statistical Hypotheses}},
	volume = {231},
	year = {1933}
}

@article{neyman1937outline,
	author = {Neyman, Jerzy},
	journal = {Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences},
	number = {767},
	pages = {333--380},
	publisher = {The Royal Society London},
	title = {{Outline of a Theory of Statistical Estimation based on the Classical Theory of Probability}},
	volume = {236},
	year = {1937}
}

@inproceedings{mnih2014nvil,
	author = {Mnih, Andriy and Gregor, Karol},
	booktitle = ICML,
	organization = {PMLR},
	pages = {1791--1799},
	title = {{Neural Variational Inference and Learning in Belief Networks}},
	year = {2014}
}

@inproceedings{goodman2008church,
	author = {Goodman, Noah D and Mansinghka, Vikash K and Roy, Daniel and Bonawitz, Keith and Tenenbaum, Joshua B},
	booktitle = UAI,
	pages = {220--229},
	title = {{Church: A Language for Generative Models}},
	year = {2008}
}

@inproceedings{cusumano2019gen,
	author = {Cusumano-Towner, Marco F and Saad, Feras A and Lew, Alexander K and Mansinghka, Vikash K},
	booktitle = PLDI,
	pages = {221--236},
	title = {{Gen: A General-Purpose Probabilistic Programming System with Programmable Inference}},
	year = {2019}
}

@inproceedings{saad2021sppl,
	author = {Saad, Feras A and Rinard, Martin C and Mansinghka, Vikash K},
	booktitle = PLDI,
	pages = {804--819},
	title = {{SPPL: Probabilistic Programming with Fast Exact Symbolic Inference}},
	year = {2021}
}

@inproceedings{ge2018turing,
	author = {Ge, Hong and Xu, Kai and Ghahramani, Zoubin},
	booktitle = AISTAT,
	organization = {PMLR},
	pages = {1682--1690},
	title = {{Turing: A Language for Flexible Probabilistic Inference}},
	year = {2018}
}

@article{kucukelbir2015automatic,
	author = {Kucukelbir, Alp and Ranganath, Rajesh and Gelman, Andrew and Blei, David},
	journal = NIPS,
	title = {{Automatic Variational Inference in Stan}},
	volume = {28},
	year = {2015}
}

@incollection{merriam-webster,
	author = {Merriam-Webster},
	booktitle = {{Merriam-Webster.com Dictionary, \url{https://www.merriam-webster.com/dictionary/statistics}, Accessed 10/18/2022}},
	date = {18},
	month = {10},
	title = {{"Statistics"}},
	year = {2022}
}

@article{lai1985asymptotically,
	author = {Lai, Tze Leung and Robbins, Herbert and others},
	journal = {{Advances in Applied Mathematics}},
	number = {1},
	pages = {4--22},
	title = {{Asymptotically Efficient Adaptive Allocation Rules}},
	volume = {6},
	year = {1985}
}

@inproceedings{bonet1999planning,
	author = {Bonet, Blai and Geffner, Hector},
	booktitle = ECP,
	organization = {Springer},
	pages = {360--372},
	title = {{Planning as Heuristic Search: New Results}},
	year = {1999}
}

@article{robbins1952some,
	author = {Robbins, Herbert},
	journal = {Bulletin of the American Mathematical Society},
	number = {5},
	pages = {527--535},
	publisher = {American Mathematical Society},
	title = {{Some Aspects of the Sequential Design of Experiments}},
	volume = {58},
	year = {1952}
}

@article{bush1953stochastic,
	author = {Bush, Robert R and Mosteller, Frederick},
	journal = {The Annals of Mathematical Statistics},
	pages = {559--585},
	publisher = {JSTOR},
	title = {{A Stochastic Model with Applications to Learning}},
	year = {1953}
}

@article{koopman1936distributions,
	author = {Koopman, Bernard Osgood},
	journal = {Transactions of the American Mathematical society},
	number = {3},
	pages = {399--409},
	publisher = {JSTOR},
	title = {{On Distributions Admitting a Sufficient Statistic}},
	volume = {39},
	year = {1936}
}

@inproceedings{pitman1936sufficient,
	author = {Pitman, Edwin James George},
	booktitle = {Mathematical Proceedings of the cambridge Philosophical society},
	number = {4},
	organization = {Cambridge University Press},
	pages = {567--579},
	title = {{Sufficient Statistics and Intrinsic Accuracy}},
	volume = {32},
	year = {1936}
}

@inproceedings{darmois1935exhaustive,
	author = {Darmois, G.},
	booktitle = {Comptes Rendus de l{\rq}Acad{\'e}mie des Sciences},
	pages = {1265--1266},
	title = {Sur Les Lois de Probabilites a Estimation Exhaustive},
	volume = {200},
	year = {1935}
}

@article{leemis2008univariate,
	author = {Leemis, Lawrence M and McQueston, Jacquelyn T},
	journal = {The American Statistician},
	number = {1},
	pages = {45--53},
	publisher = {Taylor \& Francis},
	title = {{Univariate Distribution Relationships}},
	volume = {62},
	year = {2008}
}

@article{schulman2015gradient,
	author = {Schulman, John and Heess, Nicolas and Weber, Theophane and Abbeel, Pieter},
	journal = NIPS,
	title = {{Gradient Estimation using Stochastic Computation Graphs}},
	volume = {28},
	year = {2015}
}

@article{blei2003latent,
	author = {Blei, David M and Ng, Andrew Y and Jordan, Michael I},
	journal = JMLR,
	number = {Jan},
	pages = {993--1022},
	title = {{Latent Dirichlet Allocation}},
	volume = {3},
	year = {2003}
}

@inproceedings{zhao2019infovae,
	author = {Zhao, Shengjia and Song, Jiaming and Ermon, Stefano},
	booktitle = AAAI,
	number = {01},
	pages = {5885--5892},
	title = {{InfoVAE: Balancing Learning and Inference in Variational Autoencoders}},
	volume = {33},
	year = {2019}
}

@inproceedings{cremer2018inference,
	author = {Cremer, Chris and Li, Xuechen and Duvenaud, David},
	booktitle = ICML,
	organization = {PMLR},
	pages = {1078--1086},
	title = {{Inference Suboptimality in Variational Autoencoders}},
	year = {2018}
}

@article{kung1975finding,
	author = {Kung, Hsiang-Tsung and Luccio, Fabrizio and Preparata, Franco P},
	journal = {Journal of the ACM (JACM)},
	number = {4},
	pages = {469--476},
	publisher = {ACM New York, NY, USA},
	title = {{On Finding the Maxima of a Set of Vectors}},
	volume = {22},
	year = {1975}
}

@article{fisher1928limiting,
	author = {Fisher, Ronald Aylmer and Tippett, Leonard Henry Caleb},
	journal = {{Mathematical Proceedings of the Cambridge Philosophical Society}},
	number = {2},
	pages = {180--190},
	publisher = {Cambridge University Press},
	title = {{Limiting Forms of the Frequency Distribution of the Largest or Smallest Member of a Sample}},
	volume = {24},
	year = {1928}
}

@article{gnedenko1943limiting,
	author = {Gnedenko, B.},
	issn = {0003486X},
	journal = {Annals of Mathematics},
	number = {3},
	pages = {423--453},
	publisher = {Annals of Mathematics},
	title = {{Sur La Distribution Limite Du Terme Maximum D'Une Serie Aleatoire}},
	url = {http://www.jstor.org/stable/1968974},
	urldate = {2022-11-10},
	volume = {44},
	year = {1943}
}

@article{diebolt2005quasi,
	author = {Diebolt, Jean and El-Aroui, Mhamed-Ali and Garrido, Myriam and Girard, St{\'e}phane},
	journal = {Extremes},
	number = {1},
	pages = {57--78},
	publisher = {Springer},
	title = {{Quasi-Conjugate Bayes Estimates for GPD Parameters and Application to Heavy Tails Modelling}},
	volume = {8},
	year = {2005}
}

@article{sharpe2021estimation,
	author = {Sharpe, James and Ju{\'a}rez, Miguel A},
	journal = {Communications in Statistics-Theory and Methods},
	pages = {1--23},
	publisher = {Taylor \& Francis},
	title = {{Estimation of the Pareto and Related Distributions--A Reference-Intrinsic Approach}},
	year = {2021}
}

@article{vilar2007pareto,
	author = {Vilar-Zan{\'o}n, Jos{\'e} L and Lozano-Colomer, Cristina},
	journal = {ASTIN Bulletin: The Journal of the IAA},
	number = {2},
	pages = {405--428},
	publisher = {Cambridge University Press},
	title = {{On Pareto Conjugate Priors and Their Application to Large Claims Reinsurance Premium Calculation}},
	volume = {37},
	year = {2007}
}

@article{bernardo2002bayesian,
	author = {Bernardo, Jos{\'e} M and Rueda, Ra{\'u}l},
	journal = {International Statistical Review},
	number = {3},
	pages = {351--372},
	publisher = {Wiley Online Library},
	title = {{Bayesian Hypothesis Testing: A Reference Approach}},
	volume = {70},
	year = {2002}
}

@misc{bernardo2003intrinsic,
	author = {Bernardo, JM and Ju{\'a}rez, MA},
	publisher = {Oxford: University Press},
	title = {{Intrinsic Estimation, Bayesian Statistics 7 (JM Bernardo, MJ Bayarri, JO Berger, AP Dawid, D. Heckerman, AFM Smith and M. West, eds.)}},
	year = {2003}
}

@article{bernardo2007objective,
	author = {Bernardo, Jos{\'e} Miguel},
	journal = {SORT. 2007, Vol. 31, N{\'u}m. 1 [January-June]},
	publisher = {Institut d'Estad{\'\i}stica de Catalunya},
	title = {{Objective Bayesian Point and Region Estimation in Location-Scale Models}},
	year = {2007}
}

@book{dehaan2006extreme,
	author = {{De Haan}, Laurens and Ferreira, Ana},
	publisher = {Springer Science \& Business Media},
	title = {{Extreme Value Theory: An Introduction}},
	year = {2006}
}

@article{malik1970estimation,
	author = {Malik, Henrick John},
	journal = {Metrika},
	number = {1},
	pages = {126--132},
	publisher = {Springer},
	title = {{Estimation of the Parameters of the Pareto Distribution}},
	volume = {15},
	year = {1970}
}

@article{dallas1976characterizing,
	author = {Dallas, AC},
	journal = {Annals of the Institute of Statistical Mathematics},
	number = {1},
	pages = {491--497},
	publisher = {Springer},
	title = {{Characterizing the Pareto and Power Distributions}},
	volume = {28},
	year = {1976}
}

@article{gil2016algorithm,
	author = {Gil, Amparo and Ruiz-Antolin, Diego and Segura, Javier and Temme, Nico M},
	journal = {ACM Transactions on Mathematical Software (TOMS)},
	number = {3},
	pages = {1--9},
	publisher = {ACM New York, NY, USA},
	title = {{Algorithm 969: Computation of the Incomplete Gamma Function for Negative Values of the Argument}},
	volume = {43},
	year = {2016}
}

@inproceedings{kishimoto2022bandit,
	author = {Kishimoto, Akihiro and Bouneffouf, Djallel and Marinescu, Radu and Ram, Parikshit and Rawat, Ambrish and Wistuba, Martin and Palmes, Paulito and Botea, Adi},
	booktitle = AAAI,
	number = {9},
	pages = {10228--10237},
	title = {{Bandit Limited Discrepancy Search and Application to Machine Learning Pipeline Optimization}},
	volume = {36},
	year = {2022}
}

@article{audibert2009exploration,
	author = {Audibert, Jean-Yves and Munos, R{\'e}mi and Szepesv{\'a}ri, Csaba},
	journal = {Theoretical Computer Science},
	number = {19},
	pages = {1876--1902},
	publisher = {Elsevier},
	title = {{Exploration--Exploitation Tradeoff using Variance Estimates in Multi-Armed Bandits}},
	volume = {410},
	year = {2009}
}

@inproceedings{lauer2020beating,
	author = {Lauer, Pascal and Fickert, Maximilian},
	booktitle = HSDIP,
	pages = {9},
	title = {{Beating LM-cut with LM-cut: Quick Cutting and Practical Tie Breaking for the Precondition Choice Function}},
	year = 2020
}

@inproceedings{kishimoto2012diverse,
	author = {Kishimoto, Akihiro and Zhou, Rong and Imai, Tatsuya},
	booktitle = SOCS,
	number = {1},
	title = {{Diverse Depth-First Search in Satisificing Planning}},
	volume = {3},
	year = {2012}
}

@incollection{bouzy2004monte,
	author = {Bouzy, Bruno and Helmstetter, Bernard},
	booktitle = {Advances in computer games},
	pages = {159--174},
	publisher = {Springer},
	title = {{Monte-Carlo Go Developments}},
	year = {2004}
}

@inproceedings{cicirello2005max,
	author = {Cicirello, Vincent A and Smith, Stephen F},
	booktitle = AAAI,
	pages = {1355--1361},
	title = {{The MAX $K$-Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection}},
	volume = {3},
	year = {2005}
}

@inproceedings{cicirello2004heuristic,
	author = {Cicirello, Vincent A and Smith, Stephen F},
	booktitle = CP,
	organization = {Springer},
	pages = {197--211},
	title = {{Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory}},
	year = {2004}
}

@inproceedings{streeter2006asymptotically,
	author = {Streeter, Matthew J and Smith, Stephen F},
	booktitle = AAAI,
	pages = {135--142},
	title = {{An Asymptotically Optimal Algorithm for the Max K-Armed Bandit Problem}},
	year = {2006}
}

@inproceedings{streeter2006simple,
	author = {Streeter, Matthew J and Smith, Stephen F},
	booktitle = CP,
	organization = {Springer},
	pages = {560--574},
	title = {{A Simple Distribution-Free Approach to the Max K-Armed Bandit Problem}},
	year = {2006}
}

@inproceedings{achab2017max,
	author = {Achab, Mastane and Cl{\'e}men{\c c}on, Stephan and Garivier, Aur{\'e}lien and Sabourin, Anne and Vernade, Claire},
	booktitle = ECMLKDD,
	organization = {Springer},
	pages = {389--404},
	title = {{Max $K$-Armed Bandit: On the ExtremeHunter Algorithm and Beyond}},
	year = {2017}
}

@article{kikkawa2022materials,
	author = {Kikkawa, Nobuaki and Ohno, Hiroshi},
	journal = {arXiv preprint arXiv:2212.08225},
	title = {Materials Discovery using Max K-Armed Bandit},
	year = {2022}
}

@inproceedings{carpentier2014extreme,
	author = {Carpentier, Alexandra and Valko, Michal},
	booktitle = NIPS,
	title = {{Extreme Bandits}},
	volume = {27},
	year = {2014}
}

@inproceedings{wilt2014speedy,
	author = {Wilt, Christopher Makoto and Ruml, Wheeler},
	booktitle = SOCS,
	title = {{Speedy versus Greedy Search}},
	year = {2014}
}

@article{browne2012survey,
	author = {Browne, Cameron B and Powley, Edward and Whitehouse, Daniel and Lucas, Simon M and Cowling, Peter I and Rohlfshagen, Philipp and Tavener, Stephen and Perez, Diego and Samothrakis, Spyridon and Colton, Simon},
	journal = {IEEE Transactions on Computational Intelligence and AI in games},
	number = {1},
	pages = {1--43},
	publisher = {IEEE},
	title = {{A Survey of Monte Carlo Tree Search Methods}},
	volume = {4},
	year = {2012}
}

@inproceedings{richter2009preferred,
	author = {Richter, Silvia and Helmert, Malte},
	booktitle = ICAPS,
	pages = {273--280},
	title = {{Preferred Operators and Deferred Evaluation in Satisficing Planning}},
	volume = {19},
	year = {2009}
}

@inproceedings{imagawa2016monte,
	author = {Imagawa, Takahisa and Kaneko, Tomoyuki},
	booktitle = {International Conference on Computers and Games},
	organization = {Springer},
	pages = {34--46},
	title = {{Monte Carlo Tree Search with Robust Exploration}},
	year = {2016}
}

@inproceedings{harvey1995limited,
	author = {Harvey, William D and Ginsberg, Matthew L},
	booktitle = IJCAI,
	pages = {607--615},
	title = {{Limited Discrepancy Search}},
	year = {1995}
}

@article{doran1966experiments,
  title={{Experiments with the Graph Traverser Program}},
  author={Doran, James E and Michie, Donald},
  journal={Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences},
  volume={294},
  number={1437},
  pages={235--259},
  year={1966},
  publisher={The Royal Society London}
}