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