brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-10-31 13:51:13 +00:00
Code Issues Projects Releases Packages Activity

Added ShareIt link

Browse source
This commit is contained in:
Brandon Rozek 2024-05-26 11:47:48 -04:00
parent 6fc76d1631
commit e0d34f46e8
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
content/publications.md
View file

@ -11,7 +11,7 @@ aliases:
[Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals](/paper/2405.02) [Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals](/paper/2405.02)
- Authors: James T. Oswald, *Brandon Rozek*, and Thomas M. Ferguson - Authors: James T. Oswald, *Brandon Rozek*, and Thomas M. Ferguson
- Venue: Künstliche Intelligenz (KI), 2024 - Venue: Künstliche Intelligenz (KI), 2024
- [Paper](https://link.springer.com/article/10.1007/s13218-024-00848-7) - [Paper](https://link.springer.com/article/10.1007/s13218-024-00848-7) | [Paper](https://rdcu.be/dIW21)
[Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning](/paper/2405.01) [Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning](/paper/2405.01)
- Authors: *Brandon Rozek* and Selmer Bringsjord - Authors: *Brandon Rozek* and Selmer Bringsjord