From adeb933c77b01983d2445e299b014deff671f376 Mon Sep 17 00:00:00 2001 From: arnaudlequen Date: Mon, 3 Mar 2025 15:55:14 +0100 Subject: [PATCH 1/3] Add some papers --- crossref-short.bib | 6 ++++++ crossref.bib | 12 ++++++++++++ literatur.bib | 41 +++++++++++++++++++++++++++++++++++++++++ 3 files changed, 59 insertions(+) diff --git a/crossref-short.bib b/crossref-short.bib index 0ba95a7..9eb5516 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -427,6 +427,12 @@ @Proceedings{cp2018 year = "2018", } +@Proceedings{cp2022, + title = "Proc.\ CP 2022", + booktitle = "Proc.\ CP 2022", + year = "2022", +} + @Proceedings{cpaior2007, title = "Proc.\ CPAIOR 2007", booktitle = "Proc.\ CPAIOR 2007", diff --git a/crossref.bib b/crossref.bib index cb996a5..6e86262 100644 --- a/crossref.bib +++ b/crossref.bib @@ -717,6 +717,18 @@ @Proceedings{cp2018 publisher = "Springer-Verlag" } +@Proceedings{cp2022, + editor = "Christine Solnon", + title = "Proceedings of the 28th International Conference on + Principles and Practice of Constraint Programming", + booktitle = "Proceedings of the 28th International Conference on + Principles and Practice of Constraint Programming", + year = "2022", + publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik", + series = "LIPIcs", + volume = "235" +} + @Proceedings{cpaior2007, editor = "Pascal Hentenryck and Laurence Wolsey", title = "Proceedings of the 4th International Conference on diff --git a/literatur.bib b/literatur.bib index 2a3a742..e513d56 100644 --- a/literatur.bib +++ b/literatur.bib @@ -1773,6 +1773,28 @@ @Article{bogomolov-et-al-sttt2015 year = "2015" } +@InProceedings{bolander-lequen-dali2020, + author = "Thomas Bolander and Arnaud Lequen", + title = "Parameterized Complexity of Dynamic Belief Updates", + booktitle = "Proceedings of Dynamic Logic: New Trends and Applications (DaL{\'{i}}), + Revised Selected Papers", + series = lncs, + volume = "12569", + pages = "87--102", + publisher = "Springer", + year = "2020" +} + +@Article{bolander-lequen-jlc2023, + author = "Thomas Bolander and Arnaud Lequen", + title = "Parameterized Complexity of Dynamic Belief Updates: {A} Complete Map", + journal = "Journal of Logic and Computation", + volume = "33", + number = "6", + pages = "1270--1300", + year = "2023", +} + @InProceedings{bollig-et-al-ieeeiwls1995, author = "Beate Bollig and Martin L{\"o}bbing and Ingo Wegener", title = "Simulated Annealing to improve variable orderings for {BDD}s", @@ -3486,6 +3508,15 @@ @InProceedings{cook-stoc1971 pages = "151--158" } +@InProceedings{cooper-et-al-cp2022, + author = "Martin C. Cooper and Arnaud Lequen and + Fr{\'{e}}d{\'{e}}ric Maris", + title = "Isomorphisms Between {STRIPS} Problems and Sub-Problems", + crossref = "cp2022", + pages = "13:1--13:16", + year = "2022" +} + % Data verified. @Book{cormen-et-al-1990, author = "Thomas H. Cormen and Charles E. Leiserson and Ronald @@ -11180,6 +11211,16 @@ @InProceedings{lequen-ecai2024 pages = "4140--4147" } +@Article{lequen-et-al-ci2024, + author = "Arnaud Lequen and Martin C. Cooper and + Fr{\'{e}}d{\'{e}}ric Maris", + title = "Homomorphisms and Embeddings of {STRIPS} Planning Models", + journal = "Computational Intelligence", + volume = "40", + number = "6", + year = "2024", +} + @Article{levesque-et-al-jlp1997, author = "Hector J. Levesque and Raymond Reiter and Yves Lesp{\'e}rance and Fangzhen Lin and Richard B. Scherl", title = "{GOLOG}: A logic programming language for dynamic domains", From dcafd5ee0db3f938249249877d60820c789b929e Mon Sep 17 00:00:00 2001 From: arnaudlequen Date: Tue, 4 Mar 2025 09:13:39 +0100 Subject: [PATCH 2/3] Better special characters escaping --- crossref.bib | 2 +- literatur.bib | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/crossref.bib b/crossref.bib index 6e86262..ff6a550 100644 --- a/crossref.bib +++ b/crossref.bib @@ -724,7 +724,7 @@ @Proceedings{cp2022 booktitle = "Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming", year = "2022", - publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik", + publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik", series = "LIPIcs", volume = "235" } diff --git a/literatur.bib b/literatur.bib index e513d56..f37c8f9 100644 --- a/literatur.bib +++ b/literatur.bib @@ -1776,7 +1776,7 @@ @Article{bogomolov-et-al-sttt2015 @InProceedings{bolander-lequen-dali2020, author = "Thomas Bolander and Arnaud Lequen", title = "Parameterized Complexity of Dynamic Belief Updates", - booktitle = "Proceedings of Dynamic Logic: New Trends and Applications (DaL{\'{i}}), + booktitle = "Proceedings of Dynamic Logic: New Trends and Applications (DaL{\'i}), Revised Selected Papers", series = lncs, volume = "12569", @@ -3510,7 +3510,7 @@ @InProceedings{cook-stoc1971 @InProceedings{cooper-et-al-cp2022, author = "Martin C. Cooper and Arnaud Lequen and - Fr{\'{e}}d{\'{e}}ric Maris", + Fr{\'e}d{\'e}ric Maris", title = "Isomorphisms Between {STRIPS} Problems and Sub-Problems", crossref = "cp2022", pages = "13:1--13:16", @@ -11213,7 +11213,7 @@ @InProceedings{lequen-ecai2024 @Article{lequen-et-al-ci2024, author = "Arnaud Lequen and Martin C. Cooper and - Fr{\'{e}}d{\'{e}}ric Maris", + Fr{\'e}d{\'e}ric Maris", title = "Homomorphisms and Embeddings of {STRIPS} Planning Models", journal = "Computational Intelligence", volume = "40", From dfb28c1ae4c51170c8bbe2ad7358d0124f1f5549 Mon Sep 17 00:00:00 2001 From: arnaudlequen Date: Wed, 25 Feb 2026 11:39:36 +0100 Subject: [PATCH 3/3] Add ICAPS2026 and papers --- crossref-short.bib | 6 ++++++ crossref.bib | 8 ++++++++ literatur.bib | 14 +++++++++++++- 3 files changed, 27 insertions(+), 1 deletion(-) diff --git a/crossref-short.bib b/crossref-short.bib index 61661f0..446ba6d 100644 --- a/crossref-short.bib +++ b/crossref-short.bib @@ -1156,6 +1156,12 @@ @Proceedings{icaps2025wshaxp year = "2025" } +@Proceedings{icaps2026, + title = "Proc.\ ICAPS 2026", + booktitle = "Proc.\ ICAPS 2026", + year = "2026" +} + @Proceedings{iccad1990, title = "Proc.\ ICCAD 1990", booktitle = "Proc.\ ICCAD 1990", diff --git a/crossref.bib b/crossref.bib index a04738b..47a8cc8 100644 --- a/crossref.bib +++ b/crossref.bib @@ -1783,6 +1783,14 @@ @Proceedings{icaps2025wshaxp year = "2025" } +@Proceedings{icaps2026, + title = "Proceedings of the Thirty-Sixth International Conference on + Automated Planning and Scheduling (ICAPS 2026)", + booktitle = "Proceedings of the Thirty-Sixth International Conference on + Automated Planning and Scheduling (ICAPS 2026)", + year = "2026", +} + % No source cites the editor @Proceedings{iccad1990, title = "Proceedings of the 1990 IEEE/ACM International diff --git a/literatur.bib b/literatur.bib index 6f546f6..98acc43 100644 --- a/literatur.bib +++ b/literatur.bib @@ -8082,6 +8082,12 @@ @InProceedings{harabor-botea-aiide2010 pages = "33--38" } +@InProceedings{haratian-et-al-icaps2026, + author = "Arash Haratian and Arnaud Lequen and Daniel Gnad and Jendrik Seipp", + title = "Domain Model Acquisition From Binary Traces", + crossref = "icaps2026" +} + @Article{hart-et-al-ieeessc1968, author = "Peter E. Hart and Nils J. Nilsson and Bertram Raphael", title = "A Formal Basis for the Heuristic Determination of @@ -11599,7 +11605,13 @@ @Article{lequen-et-al-ci2024 journal = "Computational Intelligence", volume = "40", number = "6", - year = "2024", + year = "2024" +} + +@InProceedings{lequen-et-al-icaps2026, + author = "Arnaud Lequen and Oliver Joergensen and Windy Phung and Elliot Gestrin and Damien Van Meerbeeck and Markus Fritzsche and Dominik Drexler and Jendrik Seipp", + title = "Planner Museum: Evaluating Classical Planners Over Time", + crossref = "icaps2026" } @Article{levesque-et-al-jlp1997,