Designing miRNA-Based Synthetic Cell Classifier Circuits Using Answer Set Programming [PDF]
Frontiers in Bioengineering and Biotechnology, 2018 Cell classifier circuits are synthetic biological circuits capable of distinguishing between different cell states depending on specific cellular markers and engendering a state-specific response.
Katinka Becker +4 more
doaj +3 more sources
Discriminate the response of Acute Myeloid Leukemia patients to treatment by using proteomics data and Answer Set Programming [PDF]
BMC Bioinformatics, 2018 Background During the last years, several approaches were applied on biomedical data to detect disease specific proteins and genes in order to better target drugs.
Lokmane Chebouba +3 more
doaj +4 more sources
Reactive Answer Set Programming [PDF]
Theory and Practice of Logic Programming, 2022 AbstractLogic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the states of the database.
Krysia Broda +2 more
openalex +6 more sources
Predicting weighted unobserved nodes in a regulatory network using answer set programming [PDF]
BMC Bioinformatics, 2023 Background The impact of a perturbation, over-expression, or repression of a key node on an organism, can be modelled based on a regulatory and/or metabolic network.
Sophie Le Bars +3 more
doaj +2 more sources
Repairing Boolean logical models from time-series data using Answer Set Programming [PDF]
Algorithms for Molecular Biology, 2019 Background Boolean models of biological signalling-regulatory networks are increasingly used to formally describe and understand complex biological processes. These models may become inconsistent as new data become available and need to be repaired.
Alexandre Lemos +2 more
doaj +2 more sources
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming [PDF]
Algorithms for Molecular Biology, 2017 Background Numerous cellular differentiation processes can be captured using discrete qualitative models of biological regulatory networks. These models describe the temporal evolution of the state of the network subject to different competing ...
Louis Fippo Fitime +3 more
doaj +2 more sources
onlineSPARC: a Programming Environment for Answer Set Programming [PDF]
Theory and Practice of Logic Programming, 2018 AbstractRecent progress in logic programming (e.g. the development of the answer set programming (ASP) paradigm) has made it possible to teach it to general undergraduate and even middle/high school students. Given the limited exposure of these students to computer science, the complexity of downloading, installing, and using tools for writing logic ...
Elias Marcopoulos, Yuanlin Zhang
openalex +5 more sources
Imperative Program Synthesis from Answer Set Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Our research concerns generating imperative programs from Answer Set Programming Specifications. ASP is highly declarative and is ideal for writing specifications.
Sarat Chandra Varanasi
doaj +2 more sources
Efficient Quantum Answer Set Programming Solver Using Partial Diffusion and Entanglement
IEEE AccessThe relation between answer set programming (ASP) and combinatorial problems, especially the satisfiability problem (SAT), has attracted significant interest in the academic literature.
Esraa Ebdelrehime +2 more
doaj +2 more sources
Using answer set programming to integrate RNA expression with signalling pathway information to infer how mutations affect ageing. [PDF]
PLoS ONE, 2012 A challenge of systems biology is to integrate incomplete knowledge on pathways with existing experimental data sets and relate these to measured phenotypes.
Irene Papatheodorou +5 more
doaj +2 more sources