From a42de8a368a8bad9391839093fdacb01f10f9b79 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Sat, 7 Dec 2024 17:04:54 -0500 Subject: [PATCH] Transformed list to table --- content/community/logic-group.md | 55 ++++++++++++-------------------- 1 file changed, 20 insertions(+), 35 deletions(-) diff --git a/content/community/logic-group.md b/content/community/logic-group.md index b3112b6..91728df 100644 --- a/content/community/logic-group.md +++ b/content/community/logic-group.md @@ -15,38 +15,23 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic- I presented the following: -12/04/2024: An Introduction to Situation Calculus (along with James Oswald) - -10/16/2024: Alternative Theories of Uncertainty: Dempster-Shafer and Possibility Theory - -03/27/2024: CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation - -01/31/2024: Planning under Qualitative Uncertainty - Initial Thoughts - -01/24/2024: Spectra: STRIPS-Inspired AI Planner based on Automated Reasoning - -10/25/2023: Introduction to Goal Recognition as Planning - -10/18/2023: RAIR Lab Software Overview Workshop (along with James Oswald) - -10/4/2023: Syntactic AC Unification - -09/06/2023: Hierarchical Reinforcement Learning under Partial Observability with a Discovery Planning Model - -03/22/2023: ["Automated Theorem Proving with TPTP Workshop"](https://github.com/Brandon-Rozek/TPTP-Examples) - -02/08/2023: ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/) - -02/01/2023: ["Interactive Theorem Proving with Lean Part 1"](/blog/lean3-tutorial/) - -10/19/2022: [Evaluation of the Moral Permissibility of Action Plans](https://gki.informatik.uni-freiburg.de/papers/lindner-etal-aij2020.pdf) by Felix Lindner, Robert Mattmuller, and Bernhard Nebel - -09/14/2022: [Planning Modulo Theories: Extending the Planning Paradigm](https://ojs.aaai.org/index.php/ICAPS/article/download/13505/13354) by Peter Gregory, Derek Long, Maria Fox, and J. Christopher Beck. - -08/03/2022: [Coming Up with Good Excuses: What To Do When No Plan Can be Found](https://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/viewFile/1453/1532) by Moritz Gobelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner, and Bernhard Nebel. - -06/28/2022: [Landmark-based heuristic online contingent planning](https://link.springer.com/article/10.1007/s10458-018-9389-9) by Shlomi Maliah, Guy Shani, and Ronen L. Brafman. - -06/01/2022: [AI Planning Annotation for Sample Efficient Reinforcement Learning](https://arxiv.org/pdf/2203.00669) by Junkyu Lee, Michael katz, Don Joven Agravante, Miao Liu, Geraud Nangue Tasse, Tim Linger, Shirin Sohrabi. - -05/11/2022: [The Power of Waiting in Social Laws](https://icaps21.icaps-conference.org/workshops/KEPS/Papers/KEPS_2021_paper_14.pdf) by Alexander Tuisov, Alexander Shleyfman, and Erez Karpas. +| Date | Title | +| ---------- | ------------------------------------------------------------ | +| 12/04/2024 | An Introduction to Situation Calculus (along with James Oswald) | +| 10/16/2024 | Alternative Theories of Uncertainty: Dempster-Shafer and Possibility Theory | +| 03/27/2024 | CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation | +| 01/31/2024 | Planning under Qualitative Uncertainty - Initial Thoughts | +| 01/24/2024 | Spectra: STRIPS-Inspired AI Planner based on Automated Reasoning | +| 10/25/2023 | Introduction to Goal Recognition as Planning | +| 10/18/2023 | RAIR Lab Software Overview Workshop (along with James Oswald) | +| 10/4/2023 | Syntactic AC Unification | +| 09/06/2023 | Hierarchical Reinforcement Learning under Partial Observability with a Discovery Planning Model | +| 03/22/2023 | ["Automated Theorem Proving with TPTP Workshop"](https://github.com/Brandon-Rozek/TPTP-Examples) | +| 02/08/2023 | ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/) | +| 02/01/2023 | ["Interactive Theorem Proving with Lean Part 1"](/blog/lean3-tutorial/) | +| 10/19/2022 | [Evaluation of the Moral Permissibility of Action Plans](https://gki.informatik.uni-freiburg.de/papers/lindner-etal-aij2020.pdf) by Felix Lindner, Robert Mattmuller, and Bernhard Nebel | +| 09/14/2022 | [Planning Modulo Theories: Extending the Planning Paradigm](https://ojs.aaai.org/index.php/ICAPS/article/download/13505/13354) by Peter Gregory, Derek Long, Maria Fox, and J. Christopher Beck. | +| 08/03/2022 | [Coming Up with Good Excuses: What To Do When No Plan Can be Found](https://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/viewFile/1453/1532) by Moritz Gobelbecker, Thomas Keller, Patrick Eyerich, Michael Brenner, and Bernhard Nebel. | +| 06/28/2022 | [Landmark-based heuristic online contingent planning](https://link.springer.com/article/10.1007/s10458-018-9389-9) by Shlomi Maliah, Guy Shani, and Ronen L. Brafman. | +| 06/01/2022 | [AI Planning Annotation for Sample Efficient Reinforcement Learning](https://arxiv.org/pdf/2203.00669) by Junkyu Lee, Michael katz, Don Joven Agravante, Miao Liu, Geraud Nangue Tasse, Tim Linger, Shirin Sohrabi. | +| 05/11/2022 | [The Power of Waiting in Social Laws](https://icaps21.icaps-conference.org/workshops/KEPS/Papers/KEPS_2021_paper_14.pdf) by Alexander Tuisov, Alexander Shleyfman, and Erez Karpas. |