Zobrazeno 1 - 10
of 1 013
pro vyhledávání: '"A. WANKO"'
We present alternative approaches to routing and scheduling in Answer Set Programming (ASP), and explore them in the context of Multi-agent Path Finding. The idea is to capture the flow of time in terms of partial orders rather than time steps attach
Externí odkaz:
http://arxiv.org/abs/2403.12153
Publikováno v:
Global Qualitative Nursing Research, Vol 11 (2024)
Undignified care of women during labor has been associated with increased preventable maternal morbidity and mortality. The purpose of this study was to explore midwives’ perspectives on undignified care of women in a midwife’s obstetric unit wit
Externí odkaz:
https://doaj.org/article/6ce96f3e9002497292e4e1226d5bd8ef
Over the last decades the development of ASP has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing the resulting construct
Externí odkaz:
http://arxiv.org/abs/2108.03061
Publikováno v:
Nature Communications, Vol 14, Iss 1, Pp 1-13 (2023)
Abstract Biosolids are byproducts of wastewater treatment. With the increasing global population, the amounts of wastewater to be treated are expanding, along with the amounts of biosolids generated. The reuse of biosolids is now accepted for diversi
Externí odkaz:
https://doaj.org/article/8c965aa997b543489db4eebc0c8ef9d6
Answer Set Programming (ASP) has become a popular and quite sophisticated approach to declarative problem solving. This is arguably due to its attractive modeling-grounding-solving workflow that provides an easy approach to problem solving, even for
Externí odkaz:
http://arxiv.org/abs/2008.06692
Publikováno v:
Theory and Practice of Logic Programming 21 (2021) 317-347
We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP). To this end, we pursue a hybrid approach that extends ASP with difference constraints to account fo
Externí odkaz:
http://arxiv.org/abs/2003.08598
Characterizing hybrid ASP solving in a generic way is difficult since one needs to abstract from specific theories. Inspired by lazy SMT solving, this is usually addressed by treating theory atoms as opaque. Unlike this, we propose a slightly more tr
Externí odkaz:
http://arxiv.org/abs/2003.04176
We elaborate upon the formal foundations of hybrid Answer Set Programming (ASP) and extend its underlying logical framework with aggregate functions over constraint values and variables. This is achieved by introducing the construct of conditional ex
Externí odkaz:
http://arxiv.org/abs/2002.06911
Autor:
Yang, Jingyue, Kakarla, Raghavi, Marzan, Tim, Sherwin, Bill, George, Mark, Bennett, Justine, Basutto, Jose, Su, Yi, Ollerenshaw, Jason, Morin, Justin, Rebière, Hervé, Maggio, Annie-Francoise, Kermaïdic, Audrey, Gervela, Elodie, Brenier, Charlotte, Civade, Corinne, Chauvey, Denis, Duperray, Françoise, Wollein, Uwe, Conti, Massimiliano, Tromp, Jan, Meyer, Simon, Wanko, Richard, Wierer, Michael, Bertrand, Marie, Rodriguez, Jason, Sommers, Cynthia, Keire, David
Publikováno v:
In Journal of Pharmaceutical Sciences October 2023 112(10):2685-2695
Autor:
Wanko, Philipp
The design of embedded systems, that are ubiquitously used in mobile devices and cars, is becoming continuously more complex such that efficient system-level design methods are becoming crucial. My research aims at developing systems that help the de
Externí odkaz:
http://arxiv.org/abs/1905.05248