brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-11-13 20:27:29 -05:00
Code Issues Projects Releases Packages Wiki Activity

Compare commits

base: brozek:8b8fd37cf6abdd318c1fc133a5ff8144d78b8c76
Branches Tags
brozek:main
...
compare: brozek:d39037c9dedb8fbcbbd1064ac029564154861c49
Branches Tags
brozek:main

2 commits
8b8fd37cf6 ... d39037c9de

Author SHA1 Message Date
Brandon Rozek
d39037c9de
Added acronyms 2024-04-30 15:55:08 -04:00
Brandon Rozek
cbbf3eafd0
Paper updates 2024-04-30 15:52:08 -04:00
1 changed files with 15 additions and 10 deletions
Show stats Expand all files Collapse all files

25
content/publications.md
View file

@ -10,12 +10,12 @@ aliases:
(Forthcoming) Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals (Forthcoming) Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
- Authors: James T. Oswald, *Brandon Rozek*, and Thomas M. Ferguson - Authors: James T. Oswald, *Brandon Rozek*, and Thomas M. Ferguson
- Venue: Künstliche Intelligenz, 2024 - Venue: Künstliche Intelligenz (KI), 2024
- Paper to appear late 2024 - Paper to appear late 2024
(Forthcoming) Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning (Forthcoming) Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
- Authors: *Brandon Rozek* and Selmer Bringsjord - Authors: *Brandon Rozek* and Selmer Bringsjord
- Venue: Künstliche Intelligenz, 2024 - Venue: Künstliche Intelligenz (KI), 2024
- Paper to appear late 2024 - Paper to appear late 2024
[Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)](/paper/2403.01) [Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract)](/paper/2403.01)
@ -25,47 +25,52 @@ aliases:
[Parallel Verification of Natural Deduction Proof Graphs](/paper/2311.01/) [Parallel Verification of Natural Deduction Proof Graphs](/paper/2311.01/)
- Authors: James Oswald and *Brandon Rozek* - Authors: James Oswald and *Brandon Rozek*
- Venue: Logical Frameworks and Meta-Languages: Theory and Practice, 2023. - Venue: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), 2023.
- [Paper](https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LFMTP23.4.pdf) | [Slides](/files/slides/lfmtp23.pdf) - [Paper](https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LFMTP23.4.pdf) | [Slides](/files/slides/lfmtp23.pdf)
[The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds](/paper/2305.01/) [The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds](/paper/2305.01/)
- Authors: S Bringsjord, JT Oswald, M Giancola, *B Rozek*, NS Govindarajulu - Authors: S Bringsjord, JT Oswald, M Giancola, *B Rozek*, NS Govindarajulu
- Venue: International Conference on Artificial General Intelligence, 2023. - Venue: International Conference on Artificial General Intelligence (AGI), 2023.
- [Paper](http://kryten.mm.rpi.edu/M_launch.pdf) - [Paper](http://kryten.mm.rpi.edu/M_launch.pdf)
[CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation](/paper/2209.01/) [CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation](/paper/2209.01/)
- Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, *B Rozek*. - Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, *B Rozek*.
- Venue: International Symposium on Games, Automata, Logic, and Formal Verification, 2022. - Venue: International Symposium on Games, Automata, Logic, and Formal Verification (GandALF), 2022.
- [Paper](https://cgi.cse.unsw.edu.au/~eptcs/Published/GandALF2022/Proceedings.pdf#page=157) - [Paper](https://cgi.cse.unsw.edu.au/~eptcs/Published/GandALF2022/Proceedings.pdf#page=157)
[A Framework for Testimony-Infused Automated Adjudicative Dynamic [A Framework for Testimony-Infused Automated Adjudicative Dynamic
Multi-Agent Reasoning in Ethically Charged Scenarios](/paper/2207.01/) Multi-Agent Reasoning in Ethically Charged Scenarios](/paper/2207.01/)
- Authors: *Brandon Rozek*, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu - Authors: *Brandon Rozek*, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
- Venue: International Conference on Robot Ethics and Standards, 2022. - Venue: International Conference on Robot Ethics and Standards (ICRES), 2022.
- [Paper](https://www.clawar.org/icres2022/wp-content/uploads/2022/07/ICRES2022-Proceedings-manuscript.pdf#page=61) - [Paper](https://www.clawar.org/icres2022/wp-content/uploads/2022/07/ICRES2022-Proceedings-manuscript.pdf#page=61)
[Algorithmic Problems in the Symbolic Approach to the [Algorithmic Problems in the Symbolic Approach to the
Verification of Automatically Synthesized Cryptosystems ](/paper/2109.01/) Verification of Automatically Synthesized Cryptosystems ](/paper/2109.01/)
- Authors: Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, *Brandon Rozek* - Authors: Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, *Brandon Rozek*
- Venue: International Symposium on Frontiers of Combining Systems, 2021. - Venue: International Symposium on Frontiers of Combining Systems (FROCOS), 2021.
- [Paper](https://link.springer.com/chapter/10.1007/978-3-030-86205-3_14) - [Paper](https://link.springer.com/chapter/10.1007/978-3-030-86205-3_14)
## Papers ## Papers
Initial Steps in Planning under Qualitative Uncertainty
- Authors: *Brandon Rozek* and Selmer Bringsjord
- Venue: International Workshop on Human-Aware and Explainable Planning (HAXP), 2024
- Paper to appear mid 2024
Guiding Hiearchical Reinforcement Learning in Partially Observable Environments with AI Planning Guiding Hiearchical Reinforcement Learning in Partially Observable Environments with AI Planning
- Authors: *Brandon Rozek*, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi - Authors: *Brandon Rozek*, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi
- Venue: PRL Workshop Series, 2024 - Venue: International Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), 2024
- Paper to appear mid 2024 - Paper to appear mid 2024
[CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms](/paper/2203.01/) [CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms](/paper/2203.01/)
- Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, *B Rozek* - Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, *B Rozek*
- Venue: International Workshop on Rewriting Logic and its Applications, 2022. - Venue: International Workshop on Rewriting Logic and its Applications (WRLA), 2022.
- [Paper](http://sv.postech.ac.kr/wrla2022/assets/files/pre-proceedings-WRLA2022.pdf#page=12) | [Slides](/files/slides/wrla2022-slides.pdf) - [Paper](http://sv.postech.ac.kr/wrla2022/assets/files/pre-proceedings-WRLA2022.pdf#page=12) | [Slides](/files/slides/wrla2022-slides.pdf)
[Algorithmic Problems in Synthesized Cryptosystems](/paper/2006.01/) [Algorithmic Problems in Synthesized Cryptosystems](/paper/2006.01/)
- Authors: Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, *Brandon Rozek* - Authors: Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, *Brandon Rozek*
- Venue: International Workshop on Unification, 2020. - Venue: International Workshop on Unification (UNIF), 2020.
- [Paper](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58) - [Paper](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58)
## Thesis ## Thesis