Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Frost:1985:USC,
author = "R. A. Frost",
title = "Using Semantic Concepts to Characterise Various
Knowledge Representation Formalisms: a Method of
Facilitating the Interface of Knowledge Base System
Components",
journal = j-COMP-J,
volume = "28",
number = "2",
pages = "112--116",
month = may,
year = "1985",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/28.2.112",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "68T30",
MRnumber = "800 324",
bibdate = "Tue Dec 4 14:48:18 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/28/2.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_02/",
URL = "http://comjnl.oxfordjournals.org/content/28/2/112.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_02/tiff/112.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_02/tiff/113.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_02/tiff/114.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_02/tiff/115.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_02/tiff/116.tif",
acknowledgement = ack-nhfb,
affiliation = "Univ of Glasgow, Dep of Computer Science, Glasgow,
Scotl",
affiliationaddress = "Univ of Glasgow, Dep of Computer Science,
Glasgow, Scotl",
classcodes = "C1230 (Artificial intelligence); C4200 (Computer
theory); C6170 (Expert systems); C7000 (Computer
applications)",
classification = "723; 912",
corpsource = "Dept. of Comput. Sci., Glasgow Univ., UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "artificial intelligence; Artificial Intelligence;
closed-world assumption; database models; expert
systems; formal logics; hardware-based; knowledge base
system components; knowledge base systems; knowledge
representation formalisms; logic programming languages;
logical; negation; pragmatic criteria; production;
research; semantic concepts; semantic nets; systems;
systems science and cybernetics; terminologies",
treatment = "P Practical",
}
Related entries
- artificial,
25(1)37,
25(1)105,
25(1)135,
26(1)1,
26(3)255,
28(4)375,
29(3)235,
29(3)241,
29(4)340,
29(5)385,
31(1)41,
31(5)445,
31(6)481,
31(6)525,
32(2)98,
32(2)187,
32(6)541
- assumption,
31(4)289
- base,
23(1)9,
23(1)22,
23(1)36,
23(1)41,
23(2)152-1,
23(3)201,
24(1)31,
24(1)48,
24(1)52,
24(1)62,
24(2)112,
24(2)125,
24(3)200,
24(4)384-2,
25(1)83,
25(1)160,
25(3)400-400,
29(6)572,
30(3)193,
30(5)404,
31(1)12,
31(1)65,
31(5)445,
31(6)525,
31(6)550
- component,
24(1)3,
25(1)17,
25(3)327,
28(4)357,
30(2)176,
30(3)258,
31(2)125,
31(4)336,
32(6)541
- concept,
23(3)211,
23(4)369,
24(2)97,
25(1)34,
25(1)135,
25(2)183,
26(3)235,
27(1)67,
29(2)135,
30(4)316,
30(6)487,
32(2)175
- criteria,
23(1)90,
24(1)29,
28(2)128,
28(3)200,
29(4)315,
31(1)17,
31(3)201,
32(5)453
- cybernetics,
23(2)98,
24(3)278,
26(1)1,
26(3)255,
28(4)375,
29(2)161,
30(5)413,
30(5)458,
31(5)445
- expert,
23(4)369,
24(2)191-1,
26(1)1,
26(3)255,
28(4)366,
28(4)375,
29(3)235,
29(3)241,
29(4)340,
29(5)385,
29(5)460,
30(2)97,
30(3)193,
30(5)404,
31(2)125,
31(5)445,
31(6)481,
31(6)525
- formal,
27(2)121,
28(1)59,
28(2)162,
28(5)474,
28(5)480,
29(6)481,
30(2)134,
30(2)183,
30(4)316,
30(4)328,
30(4)337,
30(6)507,
31(4)313,
31(4)325,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)1,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(4)305,
32(4)351,
32(5)385,
32(5)399,
32(5)413,
32(5)422,
32(5)432,
32(5)445
- formalism,
25(1)63,
26(2)142
- Frost, R. A.,
24(4)383-1,
25(1)158,
25(3)358,
26(2)124,
26(3)228,
29(6)572
- intelligence,
23(2)106,
23(3)229,
25(1)37,
25(1)105,
25(1)135,
26(1)1,
26(3)255,
27(1)67,
28(3)231,
28(4)375,
29(3)235,
29(3)241,
29(4)340,
29(5)385,
31(1)41,
31(6)481,
31(6)525,
32(2)98,
32(2)187,
32(6)541
- knowledge,
26(1)1,
26(3)255,
28(3)195,
28(3)200,
29(3)241,
29(4)340,
29(5)385,
29(6)572,
30(1)8,
30(3)193,
30(5)404,
31(4)289,
31(5)445,
31(6)481,
31(6)525
- logic,
23(2)165,
23(2)191,
25(1)140,
25(2)218,
25(2)287,
27(3)260,
28(5)474,
28(5)487,
29(1)9,
29(1)12,
29(1)17,
29(3)241,
29(3)246,
29(6)481,
29(6)495,
29(6)545,
30(1)77,
30(2)134,
30(2)183,
30(3)258,
30(3)283,
30(5)386,
30(5)393,
31(2)133,
31(3)220,
31(4)336,
31(6)510,
31(6)525,
31(6)564,
32(1)29,
32(1)36,
32(1)90,
32(1)91,
32(4)290,
32(5)399,
32(5)445,
32(5)453
- logical,
23(1)41,
23(4)380,
23(4)381,
25(1)68,
27(4)301,
28(2)170,
28(3)330,
29(1)12,
29(2)176,
29(5)472,
29(6)481,
31(2)116,
31(6)510,
32(3)252
- method,
22(2)105,
24(2)139,
24(2)190,
24(3)230,
24(4)320,
25(1)7,
25(1)56,
25(1)61,
25(3)327,
25(3)353,
26(1)6,
26(2)187,
26(3)199,
26(3)283,
27(3)218,
27(3)238,
28(2)184,
28(3)330,
28(4)372,
28(4)379,
28(4)417,
28(4)433,
28(4)444,
28(5)498,
29(2)97,
29(2)118,
29(2)167,
29(5)416,
29(5)434,
30(1)70,
30(2)149,
30(2)163,
30(2)189,
30(3)268,
30(3)277,
30(4)289,
30(4)295,
30(4)316,
30(4)337,
30(4)376,
30(6)535,
31(1)83,
31(6)510,
31(6)565,
31(6)570,
32(1)93,
32(2)108,
32(2)142,
32(2)187,
32(3)220,
32(3)238,
32(3)241,
32(3)281,
32(4)305,
32(4)374,
32(4)377,
32(5)385,
32(5)432,
32(6)563
- net,
25(1)129,
29(2)151,
30(1)16,
30(5)413,
32(1)1
- pragmatic,
32(2)127
- production,
26(1)1,
28(4)366,
30(2)168,
32(2)108,
32(6)482
- representation,
23(4)332,
25(4)442,
25(4)471,
26(3)235,
26(4)344,
27(2)171,
27(3)225,
28(1)73,
28(2)184,
28(4)379,
28(4)433,
29(3)241,
29(5)467,
30(2)128,
30(3)214,
30(5)404,
31(1)12,
31(1)17,
31(3)229,
31(3)258,
31(6)525,
32(1)45,
32(1)76,
32(4)333,
32(5)445,
32(6)494,
32(6)549,
32(6)554
- research,
23(2)131,
23(2)131-1,
23(3)222,
23(4)338,
25(1)52,
25(3)353,
28(3)206,
28(3)211,
29(3)212,
29(6)572,
31(5)386,
32(4)374
- science,
23(2)98,
23(2)114-1,
23(2)146-1,
23(4)377,
24(1)91,
24(3)278,
25(1)2,
25(1)135,
25(2)183,
25(3)307,
26(1)1,
26(1)79,
26(2)142,
26(3)255,
26(3)270,
28(1)82,
28(3)195,
28(3)200,
28(3)203,
28(3)206,
28(3)211,
28(4)375,
29(1)83,
29(1)90,
29(2)161,
29(2)189,
29(2)189-1,
29(3)212,
29(3)277,
29(5)460,
29(5)467,
29(6)481,
30(1)52,
30(3)239,
30(4)343,
30(5)413,
30(5)458,
30(5)469,
30(6)485,
31(1)1,
31(2)182,
31(3)248,
31(5)386,
31(5)391,
31(5)398,
31(5)409,
31(5)420,
31(5)426,
31(5)431,
31(5)437,
31(5)445,
31(5)457,
31(5)465,
31(6)525,
31(6)531,
32(2)108,
32(3)262,
32(6)516
- semantic,
23(2)132,
23(3)212,
23(4)317,
24(1)56,
24(2)125,
25(1)63,
25(2)264,
25(3)331,
26(2)124,
26(2)164,
26(3)228,
27(1)83,
27(3)233,
28(2)162,
28(3)250,
28(4)357,
28(5)480,
29(1)33,
29(2)151,
29(3)241,
29(5)404,
30(2)128,
30(3)239,
30(4)328,
30(6)498,
31(1)9,
31(2)141,
31(3)193,
32(1)90,
32(2)108,
32(2)152,
32(4)290,
32(5)422
- terminology,
25(4)410
- using,
23(1)41,
23(2)142,
23(4)380,
23(4)381,
24(2)118,
24(3)263,
24(3)271,
24(4)295,
24(4)324,
25(1)63,
25(1)84,
26(2)113,
26(4)344,
28(4)409,
28(4)414,
29(2)118,
29(2)176,
29(2)182,
29(3)201,
29(5)423,
29(6)564,
30(1)87,
30(2)176,
30(4)298,
30(4)343,
30(5)437,
30(6)541,
31(3)201,
31(3)269,
31(4)289,
31(6)525,
31(6)567,
31(6)570,
32(2)142,
32(3)273,
32(4)341,
32(5)470
- Various,
29(4)289