1 citations · 1 across the 8 of their papers we have counts for
4 papers · 1 filter
Walk-In Multi-Stage Patient Flow Scheduling: An ASP Model with DES-Based Evaluation
Ngoc-Mai Pham, Trang-Linh Nguyen, Thi-Hai-Yen Vuong +2
An effective examination and test schedule for patients plays a crucial role in hospital resource management. In this work, we formulate a new reactive patient-flow scheduling prob…
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
Samuel Pastva, Van-Giang Trinh
We present BAss (BDD-based ADF symbolic solver), a novel analysis tool for Abstract Dialectical Frameworks (ADFs) based on Binary Decision Diagrams (BDDs). It supports the fully sy…
Relating biomarkers and phenotypes using dynamical trap spaces
Samuel Pastva, Kyu Hyong Park, Jordan C. Rozum +2
Connecting the dynamics of biomolecular networks to experimentally measurable cell phenotypes remains a central challenge in systems biology. Here we introduce a model-based defini…
On the Trap Space Semantics of Normal Logic Programs
Van-Giang Trinh, Sylvain Soliman, François Fages +1
The logical semantics of normal logic programs has traditionally been based on the notions of Clark's completion and two-valued or three-valued canonical models, including supporte…