PulseAugur
LIVE 03:57:22
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
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_41747 ·

    Paper analyzes entailment complexity in propositional dependence logics

    This paper delves into the computational complexity of entailment within cumulative propositional dependence logics and team semantics. It builds upon recent work characterizing these logics by System C and cumulative m…