×

找到7个文档(结果1-7)

在多智能体系统中构建单个词汇之间的翻译。 (英语) 兹伯利0927.03051

Giunchiglia,Fausto(编辑),《人工智能:方法、系统和应用》。第八届国际会议,AIMSA’98。保加利亚索佐波尔,1998年9月21日至23日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1480, 240-253 (1998).
PDF格式BibTeX公司 XML格式引用

表示非连贯知识的模态逻辑。 (英语) Zbl 0932.03018号

Besnard,Philippe(编辑)等人,《可废止推理和不确定性管理系统手册》。第二卷:用实际矛盾和潜在矛盾进行推理。多德雷赫特:Kluwer学术出版社。37-75 (1998).
PDF格式BibTeX公司 XML格式引用

道义逻辑在信息系统规范中的作用。 (英语) Zbl 0906.03032号

Chomicki,Jan(编辑)等人,《数据库和信息系统的逻辑》。马萨诸塞州波士顿:Kluwer学术出版社。Kluwer国际服务。工程计算。科学。436, 71-115 (1998).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

主字段