%0 Conference Paper %1 conf/lpnmr/WardS04 %A Ward, Jeffrey %A Schlipf, John S. %B LPNMR %D 2004 %E Lifschitz, Vladimir %E Niemelä, Ilkka %I Springer %K dblp %P 302-313 %T Answer Set Programming with Clause Learning. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2004.html#WardS04 %V 2923 %@ 3-540-20721-X

@inproceedings{conf/lpnmr/WardS04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Ward, Jeffrey and Schlipf, John S.}, biburl = {https://www.bibsonomy.org/bibtex/2882b628f581a9b18e730a76de733eaa6/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2004}, editor = {Lifschitz, Vladimir and Niemelä, Ilkka}, ee = {https://doi.org/10.1007/978-3-540-24609-1_26}, interhash = {8a4a7a5ab013d8432332ffb02100a989}, intrahash = {882b628f581a9b18e730a76de733eaa6}, isbn = {3-540-20721-X}, keywords = {dblp}, pages = {302-313}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:34.000+0200}, title = {Answer Set Programming with Clause Learning.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2004.html#WardS04}, volume = 2923, year = 2004 }