出版:2013-10-01

多目标序贯决策综述

D.M.Roijers、P.Vamplew、S.Whiteson、R.Dazeley

67-113

多单位需求在线机制及其在插电式混合动力电动汽车充电中的应用

V.Robu、E.H.Gerding、S.Stein、D.C.Parkes、A.Rogers、N.R.Jennings

175-230

表达描述逻辑中的Beth Defability

B.ten Cate、E.Franconi、I.Seylan

347-414

基于可失效继承的描述逻辑

G.卡西尼,U.斯特拉契亚

415-473

Horn子句收缩函数

J.P.Delgrand、R.Wassermann

475-511

DL-Lite中否定问句解释的推理

D.Calvanee、M.Ortiz、M.Simkus、G.Stefanoni

635-669

从OWL本体生成自然语言描述:NaturalOWL系统

I.Androutsopoulos、G.Lampouras、D.Galanis

671-715

多目标启发式搜索中的病理学案例

J.L.Pérez de la Cruz、L.Mandow、E.Machuca

717-732

从无权力到绝对权力的平稳过渡

E.Mossel、A.D.Procaccia、M.Z.Racz

923-951

柔性蛋白质模型的约束求解器

F.Campeotto、A.Dal Paló、A.Dovier、F.Fioretto、E.Pontelli

953-1000