Strict-Tolerant Conditional Logics.

Lin Chen Xuefeng Wen

Published in: WoLLIC (2024)

Keyphrases

conditional logic
default reasoning
belief revision
nonmonotonic reasoning
higher order logic
modal logic
nonmonotonic inference
knowledge representation and reasoning
logic programming
higher order
search algorithm
sequent calculi
machine learning
pairwise
logic programs