基于XML的次协调推理 (2006年)

标记逻辑是一种次协调逻辑系统，将XML用于表示标记逻辑，探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题，并给出了推理实例。实例表明，使用XML能够很方便地表达标记逻辑，并且利用XML的辅助工具能够很方便地实现其推理机制。