TY  - RPRT
TI  - Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study
AU  - Chitta Baral
AU  - Gregory Gelfond
AU  - Enrico Pontelli
AU  - Tran Cao Son
PY  - 2010
DO  - 10.1017/s1471068410000359
UR  - https://arxiv.org/abs/1007.3700
ID  - 1007.3700
ER  -