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
Sketched Answer Set Programming [PDF]
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018 Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial. We propose a novel method, called Sketched Answer Set Programming (SkASP), aiming at supporting the user in resolving ...
Bessiere, Christian +3 more
core +5 more sources
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 +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
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 +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
Temporal Answer Set Programming [PDF]
, 2012 Answer Set Programming (ASP) has become a popular way for representing different kinds of scenarios from knowledge representation in Artificial Intelligence. Frequently, these scenarios involve a temporal component which must be considered. In ASP, time
core +6 more sources
Open Answer Set Programming with Guarded Programs [PDF]
ACM Transactions on Computational Logic, 2007 Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants.
Clark K. L. +13 more
core +5 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
On the Semantics of Hybrid ASP Systems Based on Clingo
Algorithms, 2023 Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems.
Pedro Cabalar +3 more
doaj +1 more source