Travelled to:1 × Canada
1 × Italy
1 × USA
Collaborated with:T.Schaub M.Gebser P.Veber B.Usadel R.Kaminski B.Kaufmann M.Ostrowski C.Guziolowski M.Ivanchev A.Siegel
Talks about:program (3) network (3) answer (3) set (3) inconsist (2) biolog (2) larg (2) increment (1) predict (1) metabol (1)
Person: Sven Thiele
DBLP: Thiele:Sven
Contributed to:
2010
20092008Wrote 4 papers:
- KR-2010-GebserGISSTV #biology #consistency #network #nondeterminism #predict #programming #scalability #set
- Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).
- ICLP-2009-SchaubT #network #programming #set
- Metabolic Network Expansion with Answer Set Programming (TS, ST), pp. 312–326.
- ICLP-2008-GebserKKOST #incremental
- Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.
- ICLP-2008-GebserSTUV #biology #consistency #detection #network #nondeterminism #programming #scalability #set
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.