New recipe

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"

content/menu/_index.md

@@ -73,6 +73,7 @@ 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

@@ -0,0 +1,30 @@
+---
+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 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.