diff --git a/content/community/logic-group.md b/content/community/logic-group.md index 35d08c4..b44c6f9 100644 --- a/content/community/logic-group.md +++ b/content/community/logic-group.md @@ -15,6 +15,8 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic- I presented the following: +01/31/2024: An original talk titled "Planning under Qualitative Uncertainty - Initial Thoughts" + 01/24/2024: An original talk titled "Spectra: STRIPS-Inspired AI Planner based on Automated Reasoning" 10/25/2023: An original talk titled "Introduction to Goal Recognition as Planning" diff --git a/content/research/_index.md b/content/research/_index.md index 082fa7f..3d70532 100644 --- a/content/research/_index.md +++ b/content/research/_index.md @@ -36,7 +36,7 @@ unification algorithms, to building tools for interactive theorem provers. - With Andrew Marshall and Kimberly Cornell, we're currently developing a new syntactic AC algorithm. -- With Thomas Ferguson and James Oswald we formaliezd a model theory for a fragment of the Deontic Cognitive Event Calculus. +- With Thomas Ferguson and James Oswald we formalized a model theory for a fragment of the Deontic Cognitive Event Calculus. - With James Oswald we've built interactive theorem provers and showed validity of large proofs in parallel using a high performance cluster.