Premium
Contents
Author(s) -
OLIVER KUTZ,
Frank Wolter
Publication year - 2008
Publication title -
alzheimer's and dementia
Language(s) - Uncategorized
Resource type - Reports
SCImago Journal Rank - 6.713
H-Index - 118
eISSN - 1552-5279
pISSN - 1552-5260
DOI - 10.1016/s1552-5260(08)02677-0
Subject(s) - citation , computer science , information retrieval , library science
description systems F, 112 M, 113 R, 112 V, 112 X, 112 L, 112 Axiomatics u("), 81 (COV0), 86 (COV), 81 (SSUB), 86 Classes of structures distance MS, 15 Dd, 15 Dm, 15 Ds, 15 Dt, 15 standard frames Fd[M], 43 Fm[M], 43 Fs[M], 43 Ft[M], 43 Languages Boolean modal distance LOB[M], 33 LOB+[M], 36 correspondence LF,M, 83 first-order distance LF[M], 15 LF2[M], 16 LF2[M], 16 LF2[M], 16 modal distance LOD[M], 20 LOF[M], 20 LOF [M], 36 LOO[M][M], 17 LD[M], 20 LF[M], 20 Logics description ALC, 109, 114 SHIQ, 109 first-order distance FMi[M], 16 FMi 2[M], 16 modal distance MSOD, 41, 109 MSOD, 27 MSOF, 27 MSOi O[M], 20 MSD, 41 MSF, 38 MSi O[M], 20 product S5× S5, 158 spatial S4u, 109 temporal HS, 109 PTL, 109 Semantics consequence relations !F g , 91 !F l , 91 !g, 19