Mauricio Osorio GLukG logic and its application for non-monotonic reasoning. 2007 conf/lanmr/2007 LA-NMR http://www.ceur-ws.org/Vol-286/LANMR07_08.pdf db/conf/lanmr/lanmr2007.html#Osorio07