《建模法律论证的逻辑工具:法律可废止推理研究》是作者1993年著名博士学位论文之完全扩充修改版。为了为人工智能的法律应用提供哲学基础,它研究了法律推理的逻辑方面。它尊重法律推理常常发生在争论背景之下,注意到了法律给出不一致以足够空间,这意味着律师的推理是在有例外可能性之下进行的,并且伴有矛盾的法源,在没有非演绎推理如类比推理前的情况下是无法进行时推理的。《建模法律论证的逻辑工具:法律可废止推理研究》表明,与通常所说的相反,如果使用在逻辑与人工智能领域中关于所谓非单调推理和可废止论证的最新进展,并且如果逻辑被认为是一种工具而不是法律论证的模型,那么这些特征逃脱不了逻辑分析。《建模法律论证的逻辑工具:法律可废止推理研究》与法哲学、人工智能、逻辑以及论证理论领域的学者相关,并且也能作为人工智能与法、非单调推理和法律论证的研究生课程教科书。