Search papers, labs, and topics across Lattice.
University of Hagen
2
0
2
Ranking arguments based on discussion semantics, previously an open question for computational complexity, can now be done in polynomial time.
Cumulative propositional dependence logics, foundational to System C, can be precisely modeled using existing cumulative models, while team semantics require asymmetric models.
