Bezzazi, Makinson及Pino最近系统地研究了一些非Horn型推理规则(它们强于RM规则或者与RM规则不可比),给出了P+RM+WD 与P+RM+RC非......

Ｂｅｚｚａｚｉ，Ｍａｋｉｎｓｏｎ及Ｐｉｎｏ最近系统地研究了一些非Ｈｏｒｎ型推理规则（它们强于ＲＭ规则或者与ＲＭ规则不可比），给出了Ｐ＋ＲＭ＋ＷＤ与Ｐ＋ＲＭ＋ＲＣ非单调后承的表示定理，并将另两个非单调后承Ｐ＋ＷＤ及Ｐ＋ＲＣ的表示定......