mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-22 00:06:29 -05:00
Updated publications
This commit is contained in:
parent
5ed5898a1b
commit
6fc76d1631
3 changed files with 22 additions and 3 deletions
|
@ -5,7 +5,7 @@ authors: [
|
||||||
"Brandon Rozek",
|
"Brandon Rozek",
|
||||||
"Selmer Bringsjord"
|
"Selmer Bringsjord"
|
||||||
]
|
]
|
||||||
date: 2024-05-222
|
date: 2024-05-22
|
||||||
publish_date: "2024/05/22"
|
publish_date: "2024/05/22"
|
||||||
conference: "KI - Künstliche Intelligenz"
|
conference: "KI - Künstliche Intelligenz"
|
||||||
|
|
||||||
|
|
19
content/paper/2405.02.md
Normal file
19
content/paper/2405.02.md
Normal file
|
@ -0,0 +1,19 @@
|
||||||
|
---
|
||||||
|
draft: false
|
||||||
|
title: "Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals"
|
||||||
|
authors: [
|
||||||
|
"James T. Oswald",
|
||||||
|
"Brandon Rozek",
|
||||||
|
"Thomas M. Ferguson"
|
||||||
|
]
|
||||||
|
date: 2024-05-24
|
||||||
|
publish_date: "2024/05/24"
|
||||||
|
conference: "KI - Künstliche Intelligenz"
|
||||||
|
|
||||||
|
isbn: ""
|
||||||
|
doi: "10.1007/s13218-024-00848-7"
|
||||||
|
language: "English"
|
||||||
|
|
||||||
|
pdf_url: "https://link.springer.com/article/10.1007/s13218-024-00848-7"
|
||||||
|
abstract: "We introduce the C0 family of logics, which include temporalized modal operators for belief and hyperintensional modal operators for obligations and goals. We motivate the C0 family as extended doxastic fragments of the DCEC family of logics, which are cognitive calculi designed for theory-of-mind reasoning among multiple artificial agents. In the literature, DCEC family logics are defined exclusively using proof-theoretic semantics. In this work we provide a model theory for the C0 family of logics which constitutes the first steps towards providing a model theory for the DCEC cognitive calculi family as a whole. We investigate the fragment relationships between both the C0 family and the DCEC family, produce a model theory for the C0 family and prove important results establishing completeness for all C0 family logics and establish soundness for C0 fragments without time."
|
||||||
|
---
|
|
@ -8,10 +8,10 @@ aliases:
|
||||||
|
|
||||||
## Publications
|
## Publications
|
||||||
|
|
||||||
(Forthcoming) Modeling C0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
|
[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 to appear late 2024
|
- [Paper](https://link.springer.com/article/10.1007/s13218-024-00848-7)
|
||||||
|
|
||||||
[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
|
||||||
|
|
Loading…
Reference in a new issue