Strong inconsistency. - Brewka, Gerhard; Thimm, Matthias; Ulbricht, Markus (Artificial Intelligence, 2019)