太阳能（SOL for Advanced推理)是一个基于一阶从句结果发现系统。定理证明、查询回答和非单调的 推理. SOL是一个连接表演算。
引用5篇文章[sw08841]
编程范式，其根源在于非单调逻辑 推理演绎数据库和否定逻辑程序设计。被认为是非单调逻辑 推理一个有效的。
KLM逻辑的定理证明器非单调的 推理. 我们提出了一个定理证明器klmlean2.0。命题KLM逻辑非单调的 推理. klmlean2.0实现了一些分析表格计算。
论文中描述的因果逻辑”非单调逻辑因果理论”作者：恩里科·朱西格里亚、李卓容、弗拉基米尔。诺曼·麦凯恩的论文《常识中的因果关系》推理关于行动（德克萨斯大学。
域最小化是非单调的 推理粗略地说，这表达了一种猜想。
非单调的****。使用简单而强大的推理规则，称为默认值，这些逻辑系统模型推理... 违约推理，一种特殊的非单调的 推理. 在本文中，我们提出一个自动化的。
ILPME是一个非单调的从多个不同的例子学习的ILP（归纳逻辑程序设计）系统。影响了知识表示的可用性和推理人工智能系统开发中的技术。
可扩展的SAT解算器。MiniSat是一个极简主义者。
斯坦福大学的GraphBase是一个免费的收藏。