← Search

Junming Qiu

2 accepted papers

2024

On the Logic of Theory Change Iteration of KM-Update, Revised

IJCAI 2024poster

Belief revision and update, two significant types of belief change, both focus on how an agent modifies her beliefs in presence of new information. The most striking difference between them is that the former studies the change of beliefs in a static world while the latter concentrates on a dynamica…

Cited by 0SourcePDFScholar
2022

Knowledge Compilation Meets Logical Separability

AAAI 2022technical

Knowledge compilation is an alternative solution to address demanding reasoning tasks with high complexity via converting knowledge bases into a suitable target language. Interestingly, the notion of logical separability, proposed by Levesque, offers a general explanation for the tractability of cla…

Cited by 1SourcePDFScholar