@inproceedings{DBLP:conf/sum/Schaub10, author = {Schaub, Torsten}, title = {Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning}, booktitle = {{SUM}}, series = {Lecture Notes in Computer Science}, volume = {6379}, pages = {2}, publisher = {Springer}, year = {2010} }