Entry Cimatti:1995:MAR from lncs1995a.bib
Last update: Mon Mar 13 02:22:13 MDT 2017
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{Cimatti:1995:MAR,
author = "A. Cimatti and L. Serafini",
title = "Multi-Agent Reasoning with Belief Contexts: the
Approach and a Case Study",
journal = j-LECT-NOTES-COMP-SCI,
volume = "890",
pages = "71--??",
year = "1995",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Sat May 11 13:45:32 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1995a.bib",
acknowledgement = ack-nhfb,
}
Related entries
- Agent, Multi-,
890(0)102,
890(0)129,
890(0)179
- approach,
888(0)169,
890(0)233,
890(0)371,
892(0)16,
892(0)155,
892(0)391,
894(0)33,
894(0)119,
894(0)376,
894(0)436,
895(0)31,
895(0)187,
895(0)223,
895(0)339,
895(0)389,
895(0)409,
900(0)14,
901(0)165,
903(0)38,
905(0)242,
906(0)188,
911(0)469,
911(0)509,
912(0)151,
912(0)327,
912(0)356,
913(0)179,
915(0)232,
915(0)772,
916(0)225,
917(0)387,
919(0)102,
919(0)130,
919(0)678,
919(0)709,
919(0)717,
919(0)729,
919(0)748,
919(0)844,
923(0)85,
926(0)16,
927(0)127,
929(0)246,
930(0)478,
930(0)728,
930(0)868,
932(0)26,
932(0)269,
934(0)129,
934(0)251,
934(0)379,
934(0)413,
934(0)429,
937(0)128,
937(0)366,
938(0)214,
939(0)267,
939(0)309,
944(0)429,
945(0)223,
945(0)380,
945(0)473,
946(0)18,
946(0)36,
946(0)180,
946(0)267,
946(0)379,
947(0)282,
949(0)1
- Belief,
934(0)403,
945(0)62,
945(0)77,
946(0)189,
946(0)217,
946(0)251
- case,
890(0)203,
895(0)339,
900(0)503,
900(0)628,
901(0)52,
904(0)342,
905(0)523,
906(0)1,
912(0)55,
913(0)60,
915(0)424,
915(0)636,
920(0)244,
920(0)329,
922(0)165,
929(0)657,
933(0)309,
934(0)401,
936(0)475,
948(0)183
- Context,
915(0)62,
934(0)423
- Multi-Agent,
890(0)102,
890(0)129,
890(0)179
- reasoning,
901(0)13,
901(0)126,
901(0)298,
908(0)99,
909(0)170,
912(0)3,
912(0)138,
915(0)202,
915(0)531,
928(0)175,
928(0)273,
932(0)68,
933(0)264,
934(0)79,
934(0)403,
935(0)218,
936(0)292,
936(0)416,
939(0)54,
941(0)27,
945(0)389,
945(0)418,
946(0)36,
946(0)44,
946(0)125,
946(0)189,
946(0)277,
946(0)293,
946(0)344,
946(0)379,
946(0)420,
951(0)259
- study,
901(0)52,
901(0)126,
905(0)439,
913(0)60,
915(0)636,
919(0)248,
919(0)306,
920(0)80,
922(0)165,
929(0)657,
930(0)308,
932(0)341,
936(0)475,
945(0)149