content/community/logic-group.md

@@ -15,8 +15,6 @@ 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"

content/menu/_index.md

@@ -73,7 +73,6 @@ The following menu contains meals that are in rotation at my home. These are mad
 Pork
 - [Pork/Chicken Katsu](pork-chicken-katsu/)
 - Pulled Pork Sandwiches
-- [Jambalaya](jambalaya/)
 
 
 Beef

content/menu/jambalaya.md

@@ -1,30 +0,0 @@
----
-title: "Jambalaya"
-date: 2024-03-12
-hideDate: true
-draft: false
----
-
-## Ingredients
-- 2 tablespoons vegetable oil
-- 1/2 yellow onion diced
-- 1 green pepper, diced
-- 1 1/2 cup of rice
-- 1 can of tomatos (undraied)
-- 1 3/4 cup of chicken broth
-- 1 1/2 tablespoon garlic powder
-- 1/2 tablespoon paprika
-- 1/2 tablespoon oregano
-- 1/4 tablespoon salt
-- 1 teaspoon cayenne
-- Sprinkle of sugar
-- Cooked sausage
-- Cooked chicken
-
-## Recipe
-
-1. Add oil, set instant pot to sautee. Sautee onion and pepper.
-2. Add rice to pot with tomatoes, broth, and spices
-3. Cook using high manual pressure cook for 5 minutes. Additionally let the natural release occur for 5 minutes
-4. Add cooked chicken and sausage. Mix the rice.
-5. Serve

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 formalized a model theory for a fragment of the Deontic Cognitive Event Calculus.
+- With Thomas Ferguson and James Oswald we formaliezd 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.