Content: Publications

A Tutorial on Hybrid Answer Set Solving with clingo

In Proc. the Thirteenth International Summer School of the Reasoning Web, pp. 167-203

Authors:Roland Kaminski, Torsten Schaub, Philipp Wanko
Type:Article in Conference Proceedings
Publication Date:June 2017
Conference:the Thirteenth International Summer School of the Reasoning Web

Abstract: Answer Set Programming (ASP) has become an established paradigm for Knowledge Representation and Reasoning, in particular, when it comes to solving knowledge-intense combinatorial (optimization) problems. ASP’s unique pairing of a simple yet rich modeling language with highly performant solving technology has led to an increasing interest in ASP in academia as well as industry. To further boost this development and make ASP fit for real world applications it is indispensable to equip it with means for an easy integration into software environments and for adding complementary forms of reasoning.

BibTeX
@InProceedings{kascwa17a-2017,
  title =	{{A Tutorial on Hybrid Answer Set Solving with clingo}},
  author =	{Roland Kaminski and Torsten Schaub and Philipp Wanko},
  booktitle =	{Proc. of the Thirteenth International Summer School of the Reasoning Web},
  year =	{2017},
  pages =	{167-203},
}