Co-occurring keywords · papers mentioning both
Papers
A Computationally Grounded Framework for Cognitive Attitudes
AAAI 2025
Generalized Safe Conditional Syntax Splitting of Belief Bases
IJCAI 2025
On the Logic of Theory Base Change: Reformulation of Belief Bases
AAAI 2025
Lexicographic Entailment, Syntax Splitting and the Drowning Problem
IJCAI 2022
A Simple Framework for Cognitive Planning
AAAI 2021
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
AAAI 2019
Shielded Base Contraction (Extended Abstract)
IJCAI 2019