Answer Set Programming

AutoCS
The Automatic Computer Scientist
Andrew Cropper, Céline Hocquette, Filipe Gouveia
RIGA
Reasoning Over Indirect Discrimination
Inês Lynce, Filipe Gouveia, Vasco Manquinho
Code
Model Revision of Boolean Logical Models of Biological Regulatory Networks
Complex cellular processes can be represented by biological regulatory networks. Computational models of such networks are essential to …
Filipe Gouveia
PDF Cite Code Project Slides PhD Thesis
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks
Biological regulatory networks can be represented by computational models, which allow the study and the analysis of biological …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project Slides Video DOI
Semi-automatic model revision of Boolean regulatory networks: confronting time-series observations with (a)synchronous dynamics
Motivation: Complex cellular processes can be represented by biological regulatory networks. Computational models of such networks have …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI
Revision of Boolean Models of Regulatory Networks Using Stable State Observations
Models of biological regulatory networks are essential to understand cellular processes. However, the definition of such models is …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI
Model revision of boolean regulatory networks at stable state
Models of biological regulatory networks are essential to understand the cellular processes. However, the definition of such models is …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project Slides DOI
Model revision of logical regulatory networks using logic-based tools
Recently, biological data has been increasingly produced calling for the existence of computational models able to organize and …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI
Protein design using answer set programming
Different proteins have different functions determined by its structure. Proteins are a sequence of amino acids folded into a …
Filipe Gouveia
PDF Cite MSc Thesis Extended Abstract