回答集编程是语法上类似逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败。在传统逻辑编程中，否定为失败指示推导失败；在回答集编程中，它指示一个文字的一致性。
限制是约翰·麦卡锡建立的非单调逻辑，它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中，限制最小化了某些谓词的外延，这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。
缺省逻辑是Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑。
有疏漏性逻辑是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在有疏漏性逻辑中，有事实、规则及优势关系三种不同类型的命题。而规则部分，又分为严格规则、有疏漏性规则、以及否决质询规则三种：
有疏漏性逻辑是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题：
Mini wiki
