Ecosyste.ms: Papers

An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.

Projects: pypi: clingo

https://packages.ecosyste.ms/registries/pypi.org/packages/clingo

CFFI-based bindings to the clingo solver.
6 versions
Latest release: almost 2 years ago
22 dependent packages
10,544 downloads last month

Papers Mentioning clingo 9

Repairing Boolean logical models from time-series data using Answer Set Programming
Cited by: 3
Author(s): Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
Software Mentions: 3
Published: over 5 years ago

10.1186/s12859-018-2034-4

Discriminate the response of Acute Myeloid Leukemia patients to treatment by using proteomics data and Answer Set Programming
Cited by: 6
Author(s): Lokmane Chebouba, Bertrand Miannay, Dalila Boughaci, Carito Guziołowski
Software Mentions: 2
Published: over 6 years ago

10.1186/s12859-021-04158-9

A detailed map of coupled circadian clock and cell cycle with qualitative dynamics validation
Cited by: 3
Author(s): Adrien Rougny, Loı̈c Paulevé, Michèle Teboul, Franck Delaunay
Software Mentions: 2
Published: over 3 years ago

10.1186/s12918-016-0285-0

Qualitative dynamics semantics for SBGN process description
Cited by: 5
Author(s): Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loı̈c Paulevé
Software Mentions: 2
Published: over 8 years ago

10.1186/s13015-017-0110-3

Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
Cited by: 7
Author(s): Louis Fippo Fitime, Olivier Roux, Carito Guziołowski, Loı̈c Paulevé
Software Mentions: 2
Published: about 7 years ago

10.1371/journal.pone.0040946

Identifying Novel Drug Indications through Automated Reasoning
Cited by: 16
Author(s): Luis Tari, Nguyen Vo, Shanshan Liang, Jagruti Patel, Chitta Baral, James J. Cai
Software Mentions: 2
Published: about 12 years ago

10.1371/journal.pcbi.1006538

Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data
Cited by: 24
Author(s): Misbah Razzaq, Loı̈c Paulevé, Anne Siegel, Julio Sáez-Rodríguez, Jérémie Bourdon, Carito Guziołowski
Software Mentions: 1
Published: almost 6 years ago

10.1038/s41598-018-26006-2

A logic-based method to build signaling networks and propose experimental plans
Cited by: 5
Author(s): Adrien Rougny, Pauline Gloaguen, Nathalie Langonné, Eric Reiter, Pascale Crépieux, Anne Poupon, Christine Froidevaux
Software Mentions: 1
Published: over 6 years ago

10.1186/s12918-018-0551-4

Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data
Cited by: 3
Author(s): Bertrand Miannay, Stéphane Minvielle, Florence Magrangeas, Carito Guziołowski
Software Mentions: 1
Published: over 6 years ago