本文为Buvac的context逻辑定义了一个二阶扩充SOQLC，它能为许多常识现象提供更简单自然的描述．作为本文的重要结论，我们证明了SOQLC对......

Ｉｎｔｅｒｎｅｔ的发展要求能同时使用来自不同知识源的信息。本文定义了一个两层的多ｃｏｎｔｅｘｔ逻辑结构ＤＢＣＬ．第１层的每个ｃｏｎｔｅｘｔ都是一个传统的多类逻辑理论。对应于一个......

...

本文为Ｂｕｖａｃ的ｃｏｎｔｅｘｔ逻辑定义了一个二阶扩充ＳＯＱＬＣ，它能为许多常识现象提供更简单自然的描述。......

针对普适计算隐私保护问题，研究基于策略的用户隐私信息控制方法。根据多类逻辑，定义了隐私策略的形式化模型，采用本体和规则推理技术......