@inproceedings{DBLP:conf/flops/Schaub08, title = {Model-Based Knowledge Representation and Reasoning Via Answer Set Programming}, author = {Schaub, Torsten}, booktitle = {{FLOPS}}, pages = {1--2}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4989}, year = {2008} }