conftrace_

belief modality

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

automated reasoning (2) doxastic logic (1) logical system (1) limited belief (1) clause subsumption (1) doxastic strategies (1) belief modalities (1) doxastic strategy (1) unit propagation (1) formal logic (1)

Papers

The Logic of Doxastic Strategies AAAI 2024 Limbo: A Reasoning System for Limited Belief IJCAI 2017