《建模法律论证的逻辑工具:法律可废止推理》内容有人工智能、逻辑与法律推理：一般性评论、法律推理中逻辑的作用、非单调推理的逻辑、非标准特征的人工智能与法程序、容不一致性推理的现有形式化、几个实现系统的逻辑分析等。