ENTITY
Kraus, Lehmann and Magidor
Kraus, Lehmann and Magidor
PulseAugur coverage of Kraus, Lehmann and Magidor — every cluster mentioning Kraus, Lehmann and Magidor across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New logic framework integrates defeasible beliefs with multiple viewpoints
Researchers have integrated defeasible logic with standpoint logic to create Defeasible Restricted Standpoint Logics (DRSL). This framework allows for the formal expression of knowledge that considers multiple, potentia…
-
Logic paper explores entailment complexity in cumulative propositional dependence logics
This paper delves into the complexity of entailment within cumulative propositional dependence logics and team semantics. It establishes and proves specific complexity results for these logical systems. The research con…