%0 Journal Article %1 journals/tplp/BaralGPS10 %A Baral, Chitta %A Gelfond, Gregory %A Pontelli, Enrico %A Son, Tran Cao %D 2010 %J Theory Pract. Log. Program. %K dblp %N 4-6 %P 675-690 %T Logic programming for finding models in the logics of knowledge and its applications: A case study. %U http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#BaralGPS10 %V 10

@article{journals/tplp/BaralGPS10, added-at = {2020-10-26T00:00:00.000+0100}, author = {Baral, Chitta and Gelfond, Gregory and Pontelli, Enrico and Son, Tran Cao}, biburl = {https://www.bibsonomy.org/bibtex/2419456f898efa2f063976d746ea32c3f/dblp}, ee = {https://doi.org/10.1017/S1471068410000359}, interhash = {aa5f4e94d2600e2cc48a61249e4818a6}, intrahash = {419456f898efa2f063976d746ea32c3f}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-6}, pages = {675-690}, timestamp = {2020-10-27T12:59:47.000+0100}, title = {Logic programming for finding models in the logics of knowledge and its applications: A case study.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp10.html#BaralGPS10}, volume = 10, year = 2010 }