From 7f55e7b20cd1929799d026f4d33c53132bf830d3 Mon Sep 17 00:00:00 2001 From: Mauricio Salerno Date: Fri, 5 Jul 2024 17:57:09 +0200 Subject: [PATCH 1/9] Add IPC planners --- literatur.bib | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/literatur.bib b/literatur.bib index cad01ee..a2c26b1 100644 --- a/literatur.bib +++ b/literatur.bib @@ -1002,6 +1002,13 @@ @InProceedings{ball-holte-icaps2008 crossref = "icaps2008" } +@InProceedings{balyo-gocht-ipc2018, + author = "Tom{\'a}{\v{s}} Balyo and Stephan Gocht", + title = "The {F}reelunch planning system entering {IPC} 2018", + crossref = "ipc2018", + pages = "51--54" +} + @InProceedings{balyo-suda-uipc2016, author = "Tom{\'a}{\v s} Balyo and Martin Suda", title = "Reachlunch Entering The {Unsolvability IPC} 2016", @@ -16533,6 +16540,13 @@ @InProceedings{vidal-ipc2011 pages = "83--90" } +@InProceedings{vidal-ipc2014, + author = "Vincent Vidal", + title = "{YAHSP}3 and {YAHSP}3-MT in the 8th international planning competition", + pages = "64--65", + crossref = "ipc2014" +} + @InProceedings{virseda-et-al-icaps2013wspal, author = "Jesus Virseda and Daniel Borrajo and Vidal Alc{\'a}zar", title = "Learning heuristic functions for cost-based planning", From 8d70efcd555e1ad877331ca8a17788c21a4f8d5c Mon Sep 17 00:00:00 2001 From: Mauricio Salerno <51439006+msalerno2@users.noreply.github.com> Date: Mon, 8 Jul 2024 09:34:47 +0200 Subject: [PATCH 2/9] Update literatur.bib Co-authored-by: Jendrik Seipp --- literatur.bib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/literatur.bib b/literatur.bib index a2c26b1..7187cb3 100644 --- a/literatur.bib +++ b/literatur.bib @@ -16542,7 +16542,7 @@ @InProceedings{vidal-ipc2011 @InProceedings{vidal-ipc2014, author = "Vincent Vidal", - title = "{YAHSP}3 and {YAHSP}3-MT in the 8th international planning competition", + title = "{YAHSP3} and {YAHSP3-MT} in the 8th {International} {Planning} {Competition}", pages = "64--65", crossref = "ipc2014" } From 8f1d0d534873acc98b415f71d6f762b14d1f88bd Mon Sep 17 00:00:00 2001 From: Mauricio Salerno <51439006+msalerno2@users.noreply.github.com> Date: Mon, 8 Jul 2024 09:34:52 +0200 Subject: [PATCH 3/9] Update literatur.bib Co-authored-by: Jendrik Seipp --- literatur.bib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/literatur.bib b/literatur.bib index 7187cb3..6fd0601 100644 --- a/literatur.bib +++ b/literatur.bib @@ -1004,7 +1004,7 @@ @InProceedings{ball-holte-icaps2008 @InProceedings{balyo-gocht-ipc2018, author = "Tom{\'a}{\v{s}} Balyo and Stephan Gocht", - title = "The {F}reelunch planning system entering {IPC} 2018", + title = "The {Freelunch} Planning System Entering {IPC} 2018", crossref = "ipc2018", pages = "51--54" } From f963fcbb1b323719de4075f08e3582118a6b9ba4 Mon Sep 17 00:00:00 2001 From: Mauricio Salerno Date: Tue, 12 Nov 2024 12:43:25 +0100 Subject: [PATCH 4/9] Add new entries --- crossref-short.bib | 6 +++ crossref.bib | 7 +++ literatur.bib | 109 +++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 122 insertions(+) diff --git a/crossref-short.bib b/crossref-short.bib index 158ced1..9d4b4d2 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -1216,6 +1216,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..7e55123 100644 --- a/crossref.bib +++ b/crossref.bib @@ -1856,6 +1856,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..3d661d9 100644 --- a/literatur.bib +++ b/literatur.bib @@ -2675,6 +2675,13 @@ @Proceedings{celorrio-et-al-2011 year = "2011" } +@InProceedings{celorrio-et-al-icaps2013wspal, + author = "Sergio J. Celorrio and Patrick Haslum and Sylvie Thiebaux", + 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 +3069,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 +5877,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 = "ProceedingsProceeding 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 +10962,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 +11774,15 @@ @InProceedings{mausam-weld-aaai2004 crossref = "aaai2004" } +@InProceedings{mcallester-rosenblitt-tr1991, + author = "David A. McAllester and David Rosenblitt", + title = "Systematic Nonlinear Planning", + booktitle = "Proceedings of the 9th National Conference on Artificial Intelligence, Volume 2", + publisher = "{AAAI} Press", + year = "1991", + 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 {M}ax{SAT}", + 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 Patrick 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", From a0109d17b0d10945e0ea0660c36ee15c2dd1167b Mon Sep 17 00:00:00 2001 From: Mauricio Salerno <51439006+msalerno2@users.noreply.github.com> Date: Tue, 12 Nov 2024 13:40:16 +0100 Subject: [PATCH 5/9] Apply suggestions from code review Co-authored-by: Jendrik Seipp --- literatur.bib | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/literatur.bib b/literatur.bib index 3d661d9..5398f8a 100644 --- a/literatur.bib +++ b/literatur.bib @@ -5880,7 +5880,7 @@ @TechReport{fink-veloso-tr1994 @InProceedings{fink-yang-cscsi1992, author = "Eugene Fink and Qiang Yang", title = "Formalizing plan justifications", - booktitle = "ProceedingsProceeding of the Ninth Conference of the Society for Computational Studies of Intelligence", + booktitle = "Proceedings of the Ninth Conference of the Society for Computational Studies of Intelligence", pages = "9--14", year = "1992" } @@ -10963,8 +10963,8 @@ @Book{lawler-1976 } @Article{leberre-parrain-jsbmc2010, - title = "The Sat4j library, release 2.2", - author = "Daniel Le Berre and Anne Parrain", + 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", @@ -12519,7 +12519,7 @@ @Misc{olmo-et-al-arxiv2021 @InProceedings{olz-bercher-icaps2019, author = "Conny Olz and Pascal Bercher", - title = "Eliminating Redundant Actions in Partially Ordered Plans -- A Complexity Analysis", + title = "Eliminating Redundant Actions in Partially Ordered Plans --- A Complexity Analysis", crossref = "icaps2019", pages = "310--319" } @@ -15094,7 +15094,7 @@ @InProceedings{shvo-et-al-cai2018 } @Article{siddiqui-haslum-jair2015, - author = "Fazlul Hasan Siddiqui and Patrick Haslum", + author = "Fazlul Hasan Siddiqui and Patrik Haslum", title = "Continuing plan quality optimisation", journal = jair, volume = "54", From 9cc74841abd716e1a753a25d33b36fb75b5a3873 Mon Sep 17 00:00:00 2001 From: Mauricio Salerno Date: Tue, 12 Nov 2024 14:34:59 +0100 Subject: [PATCH 6/9] Fix title case for some entries --- literatur.bib | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/literatur.bib b/literatur.bib index 5398f8a..8404947 100644 --- a/literatur.bib +++ b/literatur.bib @@ -2676,7 +2676,7 @@ @Proceedings{celorrio-et-al-2011 } @InProceedings{celorrio-et-al-icaps2013wspal, - author = "Sergio J. Celorrio and Patrick Haslum and Sylvie Thiebaux", + 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" @@ -3071,14 +3071,14 @@ @Misc{christen-et-al-zenodo2022 @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", + 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", + title = "Determining Redundant Actions in Sequential Plans", crossref = "ictai2012", pages = "484--491" } @@ -5879,7 +5879,7 @@ @TechReport{fink-veloso-tr1994 @InProceedings{fink-yang-cscsi1992, author = "Eugene Fink and Qiang Yang", - title = "Formalizing plan justifications", + title = "Formalizing Plan Justifications", booktitle = "Proceedings of the Ninth Conference of the Society for Computational Studies of Intelligence", pages = "9--14", year = "1992" @@ -10967,7 +10967,7 @@ @Article{leberre-parrain-jsbmc2010 author = "Daniel {Le Berre} and Anne Parrain", journal = "Journal on Satisfiability, Boolean Modeling and Computation", volume = "7", - number = "2-3", + number = "2--3", pages = "59--64", year = "2010", publisher = "IOS Press" @@ -12202,7 +12202,7 @@ @InProceedings{muise-et-al-icaps2022systemdemos @Article{muise-et-al-jair2016, author = "Christian Muise and J. Christopher Beck and Sheila A. McIlraith", - title = "Optimal partial-order plan relaxation via {M}ax{SAT}", + title = "Optimal Partial-Order Plan Relaxation via {MaxSAT}", journal = jair, volume = "57", pages = "113--149", @@ -14233,7 +14233,7 @@ @Article{savitch-jcss1970 @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", + title = "Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility", crossref = "ecai2016", pages = "1044--1052" } @@ -15095,7 +15095,7 @@ @InProceedings{shvo-et-al-cai2018 @Article{siddiqui-haslum-jair2015, author = "Fazlul Hasan Siddiqui and Patrik Haslum", - title = "Continuing plan quality optimisation", + title = "Continuing Plan Quality Optimisation", journal = jair, volume = "54", pages = "369--435", @@ -17190,7 +17190,7 @@ @Article{warshall-jacm1962 @InProceedings{waters-et-al-ijcai2020, author = "Max Waters and Lin Padgham and Sebastian Sardina", - title = "Optimising partial-order plans via action reinstantiation", + title = "Optimising Partial-Order Plans Via Action Reinstantiation", crossref = "ijcai2020", pages = "4143--4151" } From a466df0ba1ac375a0f1d2c3ef73f218de980f3a8 Mon Sep 17 00:00:00 2001 From: Mauricio Salerno Date: Wed, 13 Nov 2024 12:35:10 +0100 Subject: [PATCH 7/9] Add aaai1991 --- crossref-short.bib | 6 ++++++ crossref.bib | 9 +++++++++ literatur.bib | 9 ++++----- 3 files changed, 19 insertions(+), 5 deletions(-) diff --git a/crossref-short.bib b/crossref-short.bib index 9d4b4d2..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", diff --git a/crossref.bib b/crossref.bib index 7e55123..ae21b00 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 Eleventh National Conference on + Artificial Intelligence ({AAAI} 1991)", + publisher = "{AAAI} Press/{MIT} Press", + year = "1991" +} + @Proceedings{aaai1993, title = "Proceedings of the Eleventh National Conference on Artificial Intelligence ({AAAI} 1993)", diff --git a/literatur.bib b/literatur.bib index 8404947..5c93d3b 100644 --- a/literatur.bib +++ b/literatur.bib @@ -11774,13 +11774,12 @@ @InProceedings{mausam-weld-aaai2004 crossref = "aaai2004" } -@InProceedings{mcallester-rosenblitt-tr1991, +@InProceedings{mcallester-rosenblitt-aaai1991, author = "David A. McAllester and David Rosenblitt", title = "Systematic Nonlinear Planning", - booktitle = "Proceedings of the 9th National Conference on Artificial Intelligence, Volume 2", - publisher = "{AAAI} Press", - year = "1991", - pages = "634--639", + crossref = "aaai1991", + volume = "2", + pages = "634--639" } @Misc{mccarthy-1963, From 4207cb7fdc4e2b15ffb4d84a86b1f0e5d8a319d9 Mon Sep 17 00:00:00 2001 From: Mauricio Salerno <51439006+msalerno2@users.noreply.github.com> Date: Thu, 14 Nov 2024 11:20:01 +0100 Subject: [PATCH 8/9] Apply suggestions from code review Co-authored-by: Jendrik Seipp --- crossref.bib | 4 ++-- literatur.bib | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/crossref.bib b/crossref.bib index ae21b00..a4b21fb 100644 --- a/crossref.bib +++ b/crossref.bib @@ -10,9 +10,9 @@ @Proceedings{aaai1991, title = "Proceedings of the Ninth National Conference on Artificial Intelligence ({AAAI} 1991)", - booktitle = "Proceedings of the Eleventh National Conference on + booktitle = "Proceedings of the Ninth National Conference on Artificial Intelligence ({AAAI} 1991)", - publisher = "{AAAI} Press/{MIT} Press", + publisher = "{AAAI} Press", year = "1991" } diff --git a/literatur.bib b/literatur.bib index 5c93d3b..fc2f113 100644 --- a/literatur.bib +++ b/literatur.bib @@ -2676,7 +2676,7 @@ @Proceedings{celorrio-et-al-2011 } @InProceedings{celorrio-et-al-icaps2013wspal, - author = "Sergio Jim{\'{e}}nez Celorrio and Patrik Haslum and Sylvie Thi{\'e}baux", + 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" @@ -12518,7 +12518,7 @@ @Misc{olmo-et-al-arxiv2021 @InProceedings{olz-bercher-icaps2019, author = "Conny Olz and Pascal Bercher", - title = "Eliminating Redundant Actions in Partially Ordered Plans --- A Complexity Analysis", + title = "Eliminating Redundant Actions in Partially Ordered Plans -- A Complexity Analysis", crossref = "icaps2019", pages = "310--319" } From 5562b75ee6a7cadb11facc4a89d6536b6d8458f5 Mon Sep 17 00:00:00 2001 From: Mauricio Salerno Date: Thu, 14 Nov 2024 11:23:22 +0100 Subject: [PATCH 9/9] Add comment to entry --- literatur.bib | 1 + 1 file changed, 1 insertion(+) diff --git a/literatur.bib b/literatur.bib index fc2f113..eacfde2 100644 --- a/literatur.bib +++ b/literatur.bib @@ -2675,6 +2675,7 @@ @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",