MUCs in zeitlicher LogikMUCs in zeitlicher Logikvon Inkonsistenzen in der Logik.Ein neuer Ansatz zur IdentifizierungKünstliche IntelligenzMinimale Unzufriedenstellende Kerne in Temporaler Logik identifizierenEine neue Methode zur Findung minimaler unbefriedigbarer Kerne in linearer Zeitlogik.Jun 12, 2025 ― 5 min Lesedauer