From 889e1ccbde24275700bf5adec35f411f5d44de56 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Mon, 22 Apr 2024 22:43:15 -0400 Subject: [PATCH] Paper updates --- content/publications.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/content/publications.md b/content/publications.md index 3b6c8d8..c81cd31 100644 --- a/content/publications.md +++ b/content/publications.md @@ -8,6 +8,16 @@ aliases: ## Publications +(Forthcoming) Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals +- Authors: James T. Oswald, *Brandon Rozek*, and Thomas M. Ferguson +- Venue: Künstliche Intelligenz, 2024 +- Paper to appear late 2024 + +(Forthcoming) Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning +- Authors: *Brandon Rozek* and Selmer Bringsjord +- Venue: Künstliche Intelligenz, 2024 +- Paper to appear late 2024 + [Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)](/paper/2403.01) - Authors: *Brandon Rozek*, Junkyu Lee, Harsha Kokel, Michael Katz and Shirin Sohrabi - Venue: AAAI Conference on Artificial Intelligence, 2024.