Arne König

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Meta Level Reasoning

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

Publications

Arne König
Visualizing Answer Set Programming. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Arne König, Torsten Schaub
Monitoring and Visualizing Answer Set Solving. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub
Series 3. LPNMR (2011)
Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber
The BioASP Library: ASP Solutions for Systems Biology. ICTAI (1) (2010)
Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub
Conflict-Driven Disjunctive Answer Set Solving. KR (2008)
Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber
The System BioC for Reasoning about Biological Models in Action Language C. ICTAI (1) (2008)