DROPS

Document

DOI: 10.4230/OASIcs.ICLP.2018.23

Model Revision of Logical Regulatory Networks Using Logic-Based Tools

Authors: Filipe Gouveia, Inês Lynce, and Pedro T. Monteiro

Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)

Abstract

Recently, biological data has been increasingly produced calling for the existence of computational models able to organize and computationally reproduce existing observations. In particular, biological regulatory networks have been modeled relying on the Sign Consistency Model or the logical formalism. However, their construction still completely relies on a domain expert to choose the best functions for every network component. Due to the number of possible functions for k arguments, this is typically a process prone to error. Here, we propose to assist the modeler using logic-based tools to verify the model, identifying crucial network components responsible for model inconsistency. We intend to obtain a model building procedure capable of providing the modeler with repaired models satisfying a set of pre-defined criteria, therefore minimizing possible modeling errors.

Cite as

Filipe Gouveia, Inês Lynce, and Pedro T. Monteiro. Model Revision of Logical Regulatory Networks Using Logic-Based Tools. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 23:1-23:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{gouveia_et_al:OASIcs.ICLP.2018.23,
  author =	{Gouveia, Filipe and Lynce, In\^{e}s and Monteiro, Pedro T.},
  title =	{{Model Revision of Logical Regulatory Networks Using Logic-Based Tools}},
  booktitle =	{Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)},
  pages =	{23:1--23:10},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.23},
  URN =		{urn:nbn:de:0030-drops-98892},
  doi =		{10.4230/OASIcs.ICLP.2018.23},
  annote =	{Keywords: Logical Regulatory Networks, Model Revision, Answer Set Programming, Boolean Satisfiability, Logic-based tools}
}

Search Results

Documents authored by Gouveia, Filipe

Model Revision of Logical Regulatory Networks Using Logic-Based Tools

Abstract

Cite as

Thanks for your feedback!

Could not send message