diff --git a/content/paper/2006.01.md b/content/paper/2006.01.md index 7aedc7d..e453204 100644 --- a/content/paper/2006.01.md +++ b/content/paper/2006.01.md @@ -7,6 +7,7 @@ authors: [ "Veena Ravishankar", "Brandon Rozek" ] +date: 2020-06 publish_date: "2020/6" conference: "International Workshop on Unification" firstpage: 58 diff --git a/content/paper/2109.01.md b/content/paper/2109.01.md index 35a93a9..8391d33 100644 --- a/content/paper/2109.01.md +++ b/content/paper/2109.01.md @@ -9,6 +9,7 @@ authors: [ "Veena Ravishankar", "Brandon Rozek" ] +date: 2021-09-08 publish_date: "2021/09/08" conference: "International Symposium on Frontiers of Combining Systems" isbn: "978-3-030-86205-3" diff --git a/content/paper/2203.01.md b/content/paper/2203.01.md index a4ef7dc..5cf7a3b 100644 --- a/content/paper/2203.01.md +++ b/content/paper/2203.01.md @@ -13,6 +13,7 @@ authors: [ "Luis Rovira", "Brandon Rozek" ] +date: 2022-03-14 publish_date: "2022/3/14" conference: "International Workshop on Rewriting Logic and its Applications" firstpage: 6 diff --git a/content/paper/2207.01.md b/content/paper/2207.01.md index d9c9c96..2392ab2 100644 --- a/content/paper/2207.01.md +++ b/content/paper/2207.01.md @@ -7,6 +7,7 @@ authors: [ "Selmer Bringsjord", "Naveen Sundar Govindarajulu" ] +date: 2022-07 publish_date: "2022/07" conference: "International Conference on Robot Ethics and Standards" isbn: "978-1-7396142-0-1" diff --git a/content/paper/2209.01.md b/content/paper/2209.01.md index 9574bc4..850b8e6 100644 --- a/content/paper/2209.01.md +++ b/content/paper/2209.01.md @@ -14,6 +14,7 @@ authors: [ "Luis Rovira", "Brandon Rozek" ] +date: 2022-09-20 publish_date: "2022/09/20" conference: "International Symposium on Games, Automata, Logic, and Formal Verification" diff --git a/content/paper/2305.01.md b/content/paper/2305.01.md index 6b67439..8d1f30e 100644 --- a/content/paper/2305.01.md +++ b/content/paper/2305.01.md @@ -8,6 +8,7 @@ authors: [ "Brandon Rozek", "Naveen Sundar Govindarajulu" ] +date: 2023-05-24 publish_date: "2023/05/24" conference: "International Conference on Artificial General Intelligence" diff --git a/content/paper/2311.01.md b/content/paper/2311.01.md index ef65b9e..91f0560 100644 --- a/content/paper/2311.01.md +++ b/content/paper/2311.01.md @@ -5,6 +5,7 @@ authors: [ "James T Oswald", "Brandon Rozek" ] +date: 2023-11-27 publish_date: "2023/11/17" conference: "International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice"