Arne König

According to our database, Arne König authored at least 6 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Monitoring and Visualizing Answer Set Solving.

Arne König, Torsten Schaub

Theory Pract. Log. Program., 2013

Visualizing Answer Set Programming.

Arne König

Theory Pract. Log. Program., 2013

2011

Advances in <i>gringo</i> Series 3.

Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

The BioASP Library: ASP Solutions for Systems Biology.

Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2008

Conflict-Driven Disjunctive Answer Set Solving.

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

The System BioC for Reasoning about Biological Models in Action Language C.

Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008