Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Gessler, Anna"'
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 propositional knowledge bases. We consider six different inconsistency measu
Externí odkaz:
http://arxiv.org/abs/2304.14832
Autor:
Bamberger, Johanna, Geßler, Anna-Lena, Heitzelmann, Peter, Korn, Sara, Kahlmeyer, Rene, Lu, Xue Hao, Sang, Qi Hao, Wang, Zhi Jie, Yuan, Guan Zong, Gauß, Michael, Kretz, Tobias
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 an orderly manner. In this work, we report about the results of an ex
Externí odkaz:
http://arxiv.org/abs/1401.2038
Autor:
Bamberger, Johanna, Geßler, Anna-Lena, Heitzelmann, Peter, Korn, Sara, Kahlmeyer, Rene, Lu, Xue Hao, Sang, Qi Hao, Wang, Zhi Jie, Yuan, Guan Zong, Gauß, Michael, Kretz, Tobias
Publikováno v:
Traffic & Granular Flow '13; 2015, p137-144, 8p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.