Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Becker, Arvid"'
Autor:
Becker, Arvid, Cabalar, Pedro, Diéguez, Martín, Fariñas, Luis, Schaub, Torsten, Schuhmann, Anna
In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated
Externí odkaz:
http://arxiv.org/abs/2401.10781
In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated
Externí odkaz:
http://arxiv.org/abs/2304.14778
Autor:
Alidousty, Christina, Becker, Arvid, Binot, Elke, Hillmer, Axel M., Merkelbach-Bruse, Sabine, Budde, Birgit, Bäßmann, Ingelore, Rappl, Gunter, Wolf, Jürgen, Eich, Marie-Lisa, Noh, Ka-Won, Buettner, Reinhard, Schultheis, Anne Maria
Publikováno v:
In Gene 15 February 2024 895
Autor:
Becker, Arvid, Cabalar, Pedro, Diéguez, Martín, Farinas del Cerro, Luis, Schaub, Torsten, Schuhmann, Anna
Publikováno v:
Journal of Applied Non-Classical Logics; October 2023, Vol. 33 Issue: 3-4 p495-519, 25p