Entry Doherty:1994:CFFb from lncs1994.bib
Last update: Mon Mar 13 02:21:52 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{Doherty:1994:CFFb,
author = "P. Doherty and W. Lukaszewicz",
title = "Circumscribing features and fluents: a fluent logic
for reasoning about action and change",
journal = j-LECT-NOTES-COMP-SCI,
volume = "869",
pages = "521--??",
year = "1994",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon May 13 11:52:14 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1994.bib",
acknowledgement = ack-nhfb,
}
Related entries
- action,
770(0)1,
786(0)16,
789(0)385,
813(0)218,
827(0)48,
830(0)55,
832(0)238,
833(0)109,
836(0)367,
844(0)457,
859(0)332,
861(0)16,
861(0)226,
865(0)210,
869(0)213,
869(0)305,
869(0)458,
873(0)1,
873(0)461
- change,
763(0)357,
772(0)152,
800(0)286,
834(0)616,
838(0)86,
854(0)854,
859(0)177,
861(0)226,
875(0)107
- Circumscribing,
827(0)82
- Doherty, P.,
827(0)82
- feature,
766(0)1,
784(0)351,
797(0)475,
800(0)383,
800(0)513,
811(0)269,
825(0)381,
825(0)473,
827(0)82,
845(0)320,
851(0)393,
856(0)153,
856(0)631,
858(0)1,
862(0)45,
869(0)448
- fluent,
827(0)82
- Lukaszewicz, W.,
827(0)82,
861(0)226
- reasoning,
764(0)1,
770(0)1,
777(0)118,
777(0)139,
780(0)43,
780(0)127,
784(0)363,
800(0)189,
800(0)535,
808(0)1,
808(0)17,
808(0)31,
808(0)41,
808(0)57,
808(0)81,
808(0)107,
808(0)131,
808(0)183,
810(0)98,
810(0)160,
810(0)179,
810(0)229,
810(0)275,
810(0)310,
814(0)1,
817(0)809,
818(0)260,
820(0)328,
823(0)218,
827(0)349,
827(0)382,
833(0)109,
837(0)21,
837(0)33,
837(0)53,
837(0)144,
837(0)167,
837(0)182,
837(0)221,
837(0)246,
837(0)274,
837(0)289,
837(0)325,
837(0)365,
837(0)379,
837(0)414,
837(0)424,
838(0)182,
838(0)279,
838(0)300,
838(0)347,
844(0)230,
847(0)38,
850(0)253,
852(0)77,
856(0)690,
859(0)33,
859(0)235,
861(0)130,
861(0)142,
861(0)226,
861(0)248,
861(0)392,
863(0)488,
863(0)680,
869(0)13,
869(0)65,
869(0)114,
869(0)174,
869(0)183,
869(0)285,
869(0)458,
869(0)488,
869(0)500,
872(0)137,
872(0)210,
873(0)421,
880(0)402