Stav dette: Logics in artificial intelligence :