default search action

combined dblp search
author search
venue search
publication search

ask others

Brandon Rozek

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/OswaldRF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/OswaldRF24
James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson:
Modeling $\mathscr {C}^{0}$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals. Künstliche Intell. 38(1): 45-59 (2024)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/RozekB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/RozekB24
Brandon Rozek, Selmer Bringsjord:
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning. Künstliche Intell. 38(1): 69-77 (2024)
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Rozek0K0S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Rozek0K0S24
Brandon Rozek, Junkyu Lee, Harsha Kokel, Michael Katz, Shirin Sohrabi:
Partially Observable Hierarchical Reinforcement Learning with AI Planning (Student Abstract). AAAI 2024: 23635-23636
2023
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/agi/BringsjordOGRG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agi/BringsjordOGRG23
Selmer Bringsjord, James T. Oswald, Michael Giancola, Brandon Rozek, Naveen Sundar Govindarajulu:
The M Cognitive Meta-architecture as Touchstone for Standard Modeling of AGI-Level Minds. AGI 2023: 62-73
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-10440
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-10440
James T. Oswald, Brandon Rozek:
Parallel Verification of Natural Deduction Proof Graphs. LFMTP@FSCD 2023: 36-51
2022
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10321
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek:
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF 2022: 147-161
2021
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/LinLMMNRR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/LinLMMNRR21
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS 2021: 253-270
2020
[c1]
- view
  - electronic edition @ jku.at (open access)
  - details & citations
- export record
  dblp key:
  - conf/unif/MarshallMNRR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/MarshallMNRR20
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF 2020: 10:1-10:6

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.