虚拟论证 论法律人及其他论证者的论证助手设计

本书涉及人工智能、逻辑、论证和法律等多领域，作者关注于在法律中出现的可废止论证，对论证软件的设计研究进行了概述，并提出和构建论证助手模型及在此基础上逐步进行的各种改进和反思。本书不仅适用于从事人工...

规范、逻辑与法律论证

本书研究规范理论与逻辑理论在法律论证中的运用及其限度。它主要包括这样一些问题：规范是不是逻辑规训的对象？假如是的话，是否存在独特的规范逻辑（法律逻辑）？如果存在的话，那么规范逻辑包括哪些类型？从这些不......

对话法律 法律证成和论证的对话模型

本书是作者1998年博士论文的扩展版，作者为刻画法律证成而发展了一种对话模型——对话法律（DiaLaw），进一步还基于逻辑程序（Prolog）实现了该对话模型。本书的目的是为了人工智能在法律领域中的应用提供哲学基础和实...

装备需求论证工程化理论与技术

作为理论资源的中国文论 古代文学理论研究 第42辑

本书包括“情感、美感与诗的审美价值——梁启超后期诗论述评之一”、“《文赋》在美国：从方志彤到麦克雷什”、“论古代文论研究的困境与新机遇”、“论孔颖达经学美学的历史意义与影响”、“明前期台阁文人...

船型技术经济论证

民国时期法律解释的理论与实践

民国时期法律解释的理论与实践

中青年法律科学文库 公司法律形态的理论探索与制度设计

高中生议论文论点论据论证第1范本

本书为高中生议论文论点论据论证素材用书。