The following pages link to Sven Thiele (Q498923):
Displaying 8 items.
- Learning Boolean logic models of signaling networks with ASP (Q498928) (← links)
- An ASP Application in Integrative Biology: Identification of Functional Gene Units (Q2851251) (← links)
- Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming (Q2851257) (← links)
- Detecting inconsistencies in large biological networks with answer set programming (Q3008410) (← links)
- COBA 2.0: A Consistency-Based Belief Change System (Q3524920) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473975) (← links)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (Q5504653) (← links)
- Engineering an Incremental ASP Solver (Q5504656) (← links)
