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