Model Revision of Logical Regulatory Networks Using Logic-Based Tools

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro. Model Revision of Logical Regulatory Networks Using Logic-Based Tools. In Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor, editors, Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. Volume 64 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Filipe Gouveia

This author has not been identified. Look up 'Filipe Gouveia' in Google

Inês Lynce

This author has not been identified. Look up 'Inês Lynce' in Google

Pedro T. Monteiro

This author has not been identified. Look up 'Pedro T. Monteiro' in Google