conftrace_

agent reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

belief base (1) modal operator (1) cognitive attitude (1) modal logic (1) automata theory (1) model checking (1)

Papers

A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025