Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme