diff --git a/content/community/logic-group.md b/content/community/logic-group.md index f2cb880..f3dd870 100644 --- a/content/community/logic-group.md +++ b/content/community/logic-group.md @@ -15,6 +15,12 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic- I presented the following: +10/25/2023: An original talk titled "Introduction to Goal Recognition as Planning" + +10/18/2023: Workshop along with James Oswald titled "RAIR Lab Software Overview" + +10/4/2023: An original talk on "Syntactic AC Unification" + 03/22/2023: Original Tutorial on ["Automated Theorem Proving with TPTP"](https://github.com/Brandon-Rozek/TPTP-Examples) 02/08/2023: Original Tutorial on ["Interactive Theorem Proving with Lean Part 2"](/blog/lean3-tutorial/) diff --git a/content/publications.md b/content/publications.md index 72f8ea7..288c06e 100644 --- a/content/publications.md +++ b/content/publications.md @@ -8,10 +8,15 @@ aliases: ## Publications +Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract) +- Authors: *Brandon Rozek*, Junkyu Lee, Harsha Kokel, Michael Katz and Shirin Sohrabi +- Venue: AAAI Conference on Artificial Intelligence, 2024. +- Paper to appear in early 2024 | Poster to appear in early 2024 + Parallel Verification of Natural Deduction Proof Graphs - Authors: James Oswald and *Brandon Rozek* - Venue: Logical Frameworks and Meta-Languages: Theory and Practice, 2023. -- Paper to appear in EPTCS late 2023 | Slides to appear in August 2023 +- Paper to appear in EPTCS late 2023 | Slides to appear in late 2023 [The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds](/paper/2305.01/) - Authors: S Bringsjord, JT Oswald, M Giancola, *B Rozek*, NS Govindarajulu