diff --git a/crossref-short.bib b/crossref-short.bib index 158ced1..333474e 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -7,6 +7,12 @@ % % Do not cite directly. Instead, add a Book entry in literatur.bib. % +@Proceedings{aaai1991, + title = "Proc.\ {AAAI} 1991", + booktitle = "Proc.\ {AAAI} 1991", + year = "1991" +} + @Proceedings{aaai1993, title = "Proc.\ {AAAI} 1993", booktitle = "Proc.\ {AAAI} 1993", @@ -1216,6 +1222,12 @@ @Proceedings{ictai2009 year = "2009" } +@Proceedings{ictai2012, + title = "Proc.\ ICTAI 2012", + booktitle = "Proc.\ ICTAI 2012", + year = "2012" +} + @Proceedings{ijcai1969, title = "Proc.\ IJCAI 1969", booktitle = "Proc.\ IJCAI 1969", diff --git a/crossref.bib b/crossref.bib index 0df129f..a4b21fb 100644 --- a/crossref.bib +++ b/crossref.bib @@ -7,6 +7,15 @@ % % Do not cite directly. Instead, add a Book entry in literatur.bib. % +@Proceedings{aaai1991, + title = "Proceedings of the Ninth National Conference on + Artificial Intelligence ({AAAI} 1991)", + booktitle = "Proceedings of the Ninth National Conference on + Artificial Intelligence ({AAAI} 1991)", + publisher = "{AAAI} Press", + year = "1991" +} + @Proceedings{aaai1993, title = "Proceedings of the Eleventh National Conference on Artificial Intelligence ({AAAI} 1993)", @@ -1856,6 +1865,13 @@ @Proceedings{ictai2009 year = "2009" } +@Proceedings{ictai2012, + title = "Proceedings of the 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012)", + booktitle = "Proceedings of the 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012)", + publisher = "IEEE", + year = "2012" +} + % Data from DBLP. @Proceedings{ijcai1969, editor = "Donald E. Walker and Lewis M. Norton", diff --git a/literatur.bib b/literatur.bib index db644d3..eacfde2 100644 --- a/literatur.bib +++ b/literatur.bib @@ -2675,6 +2675,14 @@ @Proceedings{celorrio-et-al-2011 year = "2011" } +% Title uses lower case. +@InProceedings{celorrio-et-al-icaps2013wspal, + author = "Sergio {Jim{\'e}nez Celorrio} and Patrik Haslum and Sylvie Thi{\'e}baux", + title = "Pruning bad quality causal links in sequential satisfying planning", + crossref = "icaps2013wspal", + pages = "45--52" +} + @InProceedings{cenamor-et-al-icaps2013wspal, author = "Isabel Cenamor and Tom\'{a}s {de la Rosa} and Fernando Fern\'{a}ndez", @@ -3062,6 +3070,20 @@ @Misc{christen-et-al-zenodo2022 howpublished = "\url{https://doi.org/10.5281/zenodo.6376174}" } +@InProceedings{chrpa-et-al-icaps2012, + author = "Luk{\'a}{\v{s}} Chrpa and Thomas Leo McCluskey and Hugh Osborne", + title = "Optimizing Plans through Analysis of Action Dependencies and Independencies", + crossref = "icaps2012", + pages = "338--342" +} + +@InProceedings{chrpa-et-al-ictai2012, + author = "Luk{\'a}{\v{s}} Chrpa and Thomas Leo McCluskey and Hugh Osborne", + title = "Determining Redundant Actions in Sequential Plans", + crossref = "ictai2012", + pages = "484--491" +} + @Misc{chrpa-et-al-misc2016, author = "Lukas Chrpa and Lee McCluskey and Mauro Vallati and Tiago Vaquero", title = "{ICKEPS} 2016 The Fifth International Competition on Knowledge Engineering for Planning and Scheduling", @@ -5856,6 +5878,14 @@ @TechReport{fink-veloso-tr1994 number = "CMU-CS-94-123" } +@InProceedings{fink-yang-cscsi1992, + author = "Eugene Fink and Qiang Yang", + title = "Formalizing Plan Justifications", + booktitle = "Proceedings of the Ninth Conference of the Society for Computational Studies of Intelligence", + pages = "9--14", + year = "1992" +} + % Data taken from Plant Accelerator website, % http://www.plantaccelerator.org.au/publications/. @Article{finkel-science2009, @@ -10933,6 +10963,17 @@ @Book{lawler-1976 year = "1976" } +@Article{leberre-parrain-jsbmc2010, + title = "The {Sat4j} library, release 2.2", + author = "Daniel {Le Berre} and Anne Parrain", + journal = "Journal on Satisfiability, Boolean Modeling and Computation", + volume = "7", + number = "2--3", + pages = "59--64", + year = "2010", + publisher = "IOS Press" +} + % Data from IEEE website: % - https://ieeexplore.ieee.org/document/726791 @Article{lecun-et-al-ieee1998, @@ -11734,6 +11775,14 @@ @InProceedings{mausam-weld-aaai2004 crossref = "aaai2004" } +@InProceedings{mcallester-rosenblitt-aaai1991, + author = "David A. McAllester and David Rosenblitt", + title = "Systematic Nonlinear Planning", + crossref = "aaai1991", + volume = "2", + pages = "634--639" +} + @Misc{mccarthy-1963, author = "John Mc{C}arthy", title = "Situations, actions, and causal laws", @@ -11873,6 +11922,13 @@ @InProceedings{mcmillan-cav2003 pages = "1--13" } +@InProceedings{med-chrpa-icaps2022, + author = "Jakub Med and Luk{\'a}{\v{s}} Chrpa", + title = "On Speeding Up Methods for Identifying Redundant Actions in Plans", + pages = "252--260", + crossref = "icaps2022" +} + % Data verified. % Not available. % Contains (among other things) polynomial algorithms for @@ -12144,6 +12200,15 @@ @InProceedings{muise-et-al-icaps2022systemdemos crossref = "icaps2022systemdemos" } +@Article{muise-et-al-jair2016, + author = "Christian Muise and J. Christopher Beck and Sheila A. McIlraith", + title = "Optimal Partial-Order Plan Relaxation via {MaxSAT}", + journal = jair, + volume = "57", + pages = "113--149", + year = "2016" +} + @InProceedings{muise-icaps2016systemdemos, author = "Christian Muise", title = "{Planning.Domains}", @@ -12206,6 +12271,13 @@ @InProceedings{nakhost-mueller-socs2012 pages = "57--64" } +@InProceedings{nakhost-muller-icaps2010, + title = "Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement", + author = "Hootan Nakhost and Martin M{\"u}ller", + pages = "121--128", + crossref = "icaps2010" +} + @Article{nau-et-al-jair2003, author = "Dana S. Nau and Tsz-Chiu Au and Okhtay Ilghami and Ugur Kuter and J. William Murdock and Dan Wu and @@ -12445,6 +12517,13 @@ @Misc{olmo-et-al-arxiv2021 howpublished = "arXiv:2106.07131 [cs.CL]" } +@InProceedings{olz-bercher-icaps2019, + author = "Conny Olz and Pascal Bercher", + title = "Eliminating Redundant Actions in Partially Ordered Plans -- A Complexity Analysis", + crossref = "icaps2019", + pages = "310--319" +} + @InProceedings{ontanon-aaai2013, author = "Santiago Onta{\~{n}}{\'{o}}n", title = "The Combinatorial Multi-Armed Bandit Problem and Its Application to Real-Time Strategy Games", @@ -14152,6 +14231,13 @@ @Article{savitch-jcss1970 year = "1970" } +@InProceedings{say-et-al-ecai2016, + author = "Buser Say and Andre A. Cire and J. Christopher Beck", + title = "Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility", + crossref = "ecai2016", + pages = "1044--1052" +} + @InProceedings{scala-et-al-ecai2016, author = "Enrico Scala and Patrik Haslum and Sylvie Thiebaux and Miquel Ramirez", title = "Interval-Based Relaxation for General Numeric Planning", @@ -15007,6 +15093,15 @@ @InProceedings{shvo-et-al-cai2018 pages = "253--258" } +@Article{siddiqui-haslum-jair2015, + author = "Fazlul Hasan Siddiqui and Patrik Haslum", + title = "Continuing Plan Quality Optimisation", + journal = jair, + volume = "54", + pages = "369--435", + year = "2015" +} + @Article{sieling-wegener-ppl1993, author = "Detlef Sieling and Ingo Wegener", title = "{NC}-Algorithms for Operations on Binary Decision Diagrams", @@ -15726,6 +15821,13 @@ @InProceedings{speicher-et-al-icaps2017 crossref = "icaps2017" } +@InProceedings{sreedharan-et-al-icaps2023, + author = "Sarath Sreedharan and Christian Muise and Subbarao Kambhampati", + title = "Generalizing Action Justification and Causal Links to Policies", + pages = "417--426", + crossref = "icaps2023" +} + @InProceedings{sreedharan-et-al-ijcai2019, author = "Sarath Sreedharan and Siddharth Srivastava and David E. Smith and Subbarao Kambhampati", title = "Why Can't You Do That {HAL}? Explaining Unsolvability of Planning Tasks", @@ -17086,6 +17188,13 @@ @Article{warshall-jacm1962 pages = "11--12" } +@InProceedings{waters-et-al-ijcai2020, + author = "Max Waters and Lin Padgham and Sebastian Sardina", + title = "Optimising Partial-Order Plans Via Action Reinstantiation", + crossref = "ijcai2020", + pages = "4143--4151" +} + @InProceedings{wehrle-et-al-icaps2008, author = "Martin Wehrle and Sebastian Kupferschmid and Andreas Podelski", title = "Useless Actions Are Useful",