diff --git a/content/community/logic-group.md b/content/community/logic-group.md index b44c6f9..35d08c4 100644 --- a/content/community/logic-group.md +++ b/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" diff --git a/content/menu/_index.md b/content/menu/_index.md index 9677da9..5b6946d 100644 --- a/content/menu/_index.md +++ b/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 diff --git a/content/menu/jambalaya.md b/content/menu/jambalaya.md deleted file mode 100644 index 80ac3cb..0000000 --- a/content/menu/jambalaya.md +++ /dev/null @@ -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 \ No newline at end of file diff --git a/content/research/_index.md b/content/research/_index.md index 3d70532..082fa7f 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 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.