Logic programming and non-monotonic reasoningde Luis Moniz Pereira, Anil NerodeMateriasLogic programmingCongressesReasoningNonmonotonic reasoningNichtmonotone LogikNichtmonotones Schlie©enLogisch programmerenKongre©Logische ProgrammierungArtificial intelligence
