Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Gebser, Martin
Kaufmann, Benjamin
and
Schaub, Torsten
2012.
Conflict-driven answer set solving: From theory to practice.
Artificial Intelligence,
Vol. 187-188,
Issue. ,
p.
52.
Guerra, João
and
Lynce, Inês
2012.
Principles and Practice of Constraint Programming.
Vol. 7514,
Issue. ,
p.
941.
Samaga, Regina
and
Klamt, Steffen
2013.
Modeling approaches for qualitative and semi-quantitative analysis of cellular signaling networks.
Cell Communication and Signaling,
Vol. 11,
Issue. 1,
p.
43.
2013.
Answer Set Solving in Practice.
Melas, Ioannis N.
Samaga, Regina
Alexopoulos, Leonidas G.
Klamt, Steffen
and
Bonneau, Richard
2013.
Detecting and Removing Inconsistencies between Experimental Data and Signaling Network Topologies Using Integer Linear Programming on Interaction Graphs.
PLoS Computational Biology,
Vol. 9,
Issue. 9,
p.
e1003204.
Schaub, Torsten
2013.
Principles and Practice of Constraint Programming.
Vol. 8124,
Issue. ,
p.
3.
KAMINSKI, ROLAND
SCHAUB, TORSTEN
SIEGEL, ANNE
and
VIDELA, SANTIAGO
2013.
Minimal intervention strategies in logical signaling networks with ASP.
Theory and Practice of Logic Programming,
Vol. 13,
Issue. 4-5,
p.
675.
Schaub, Torsten
Siegel, Anne
and
Videla, Santiago
2014.
Logical Modeling of Biological Systems.
p.
49.
MARATEA, MARCO
PULINA, LUCA
and
RICCA, FRANCESCO
2014.
A multi-engine approach to answer-set programming.
Theory and Practice of Logic Programming,
Vol. 14,
Issue. 6,
p.
841.
Fichte, Johannes K.
and
Szeider, Stefan
2015.
Backdoors to Normality for Disjunctive Logic Programs.
ACM Transactions on Computational Logic,
Vol. 17,
Issue. 1,
p.
1.
Stavrakas, Vassilis
Melas, Ioannis N.
Sakellaropoulos, Theodore
Alexopoulos, Leonidas G.
and
Villoslada, Pablo
2015.
Network Reconstruction Based on Proteomic Data and Prior Knowledge of Protein Connectivity Using Graph Theory.
PLOS ONE,
Vol. 10,
Issue. 5,
p.
e0128411.
Yonga, Franck
Mefenza, Michael
and
Bobda, Christophe
2015.
ASP-Based Encoding Model of Architecture Synthesis for Smart Cameras in Distributed Networks.
ACM Transactions on Design Automation of Electronic Systems,
Vol. 20,
Issue. 2,
p.
1.
Videla, Santiago
Guziolowski, Carito
Eduati, Federica
Thiele, Sven
Gebser, Martin
Nicolas, Jacques
Saez-Rodriguez, Julio
Schaub, Torsten
and
Siegel, Anne
2015.
Learning Boolean logic models of signaling networks with ASP.
Theoretical Computer Science,
Vol. 599,
Issue. ,
p.
79.
Gebser, Martin
Maratea, Marco
and
Ricca, Francesco
2015.
Logic Programming and Nonmonotonic Reasoning.
Vol. 9345,
Issue. ,
p.
531.
Fichte, Johannes Klaus
and
Szeider, Stefan
2015.
Backdoors to tractable answer set programming.
Artificial Intelligence,
Vol. 220,
Issue. ,
p.
64.
Thiele, Sven
Cerone, Luca
Saez-Rodriguez, Julio
Siegel, Anne
Guziołowski, Carito
and
Klamt, Steffen
2015.
Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies.
BMC Bioinformatics,
Vol. 16,
Issue. 1,
Merhej, Elie
Schockaert, Steven
and
De Cock, Martine
2017.
Repairing inconsistent answer set programs using rules of thumb: A gene regulatory networks case study.
International Journal of Approximate Reasoning,
Vol. 83,
Issue. ,
p.
243.
Feng, Renyan
Li, Qianqian
Zhang, Zhenpeng
and
Wang, Yisong
2017.
A New Descriptive Method for Gripper Planning.
p.
239.
Dyoub, Abeer
Costantini, Stefania
and
De Gasperis, Giovanni
2018.
Answer set programming and agents.
The Knowledge Engineering Review,
Vol. 33,
Issue. ,
Alliot, Jean-Marc
Demolombe, Robert
Fariñas del Cerro, Luis
Diéguez, Martín
and
Obeid, Naji
2018.
Interactions Between Computational Intelligence and Mathematics.
Vol. 758,
Issue. ,
p.
43.