2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 2 cited
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo +1
We present algorithms based on satisfiability problem (SAT) solving, as well as answer set programming (ASP), for solving the problem of determining inconsistency degrees in propos…
physics.soc-ph2014
Crowd Research at School: Crossing Flows
Johanna Bamberger, Anna-Lena Geßler, Peter Heitzelmann +8
It has become widely known that when two flows of pedestrians cross stripes emerge spontaneously by which the pedestrians of the two walking directions manage to pass each other in…