License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2018.23
URN: urn:nbn:de:0030-drops-98892
URL: https://drops.dagstuhl.de/opus/volltexte/2018/9889/
Go to the corresponding OASIcs Volume Portal


Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T.

Model Revision of Logical Regulatory Networks Using Logic-Based Tools

pdf-format:
OASIcs-ICLP-2018-23.pdf (0.4 MB)


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.

BibTeX - Entry

@InProceedings{gouveia_et_al:OASIcs:2018:9889,
  author =	{Filipe Gouveia and Inês Lynce and Pedro T. Monteiro},
  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 =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9889},
  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}
}

Keywords: Logical Regulatory Networks, Model Revision, Answer Set Programming, Boolean Satisfiability, Logic-based tools
Collection: Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Issue Date: 2018
Date of publication: 19.11.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI