Entry Yuan:1991:PTF from lncs1991.bib
Last update: Sun Jun 12 02:46:39 2016
Top |
Symbols |
Numbers |
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{Yuan:1991:PTF,
author = "L. Y. Yuan and J.-H. You and C. Wang",
title = "A Proof-Theoretic Framework for Nonmonotonic Reasoning
and Logic Programming",
journal = j-LECT-NOTES-COMP-SCI,
volume = "497",
pages = "699--??",
year = "1991",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon May 13 08:51:55 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1991.bib",
acknowledgement = ack-nhfb,
}
Related entries
- framework,
497(0)721,
506(0)75,
509(0)233,
511(0)358,
520(0)357,
522(0)39,
525(0)161,
527(0)281,
528(0)147,
531(0)214,
535(0)19,
535(0)112,
542(0)479,
549(0)137,
551(0)619,
563(0)251,
567(0)287,
571(0)411,
575(0)37
- nonmonotonic,
535(0)214,
542(0)540,
543(0)38,
543(0)74,
543(0)85,
543(0)161,
548(0)12,
548(0)352
- programming,
496(0)117,
496(0)124,
497(0)2,
497(0)207,
497(0)415,
497(0)421,
502(0)1,
502(0)529,
503(0)3,
504(0)59,
504(0)124,
504(0)228,
504(0)311,
504(0)385,
504(0)403,
506(0)220,
506(0)313,
506(0)421,
506(0)454,
510(0)20,
510(0)60,
512(0)231,
512(0)307,
516(0)287,
516(0)454,
523(0)124,
526(0)290,
526(0)311,
526(0)420,
526(0)532,
526(0)548,
528(0)75,
528(0)183,
528(0)243,
528(0)287,
528(0)395,
528(0)419,
528(0)425,
529(0)121,
532(0)84,
532(0)221,
539(0)130,
542(0)409,
542(0)450,
542(0)510,
543(0)1,
544(0)193,
545(0)358,
549(0)420,
550(0)364,
550(0)396,
551(0)11,
551(0)658,
553(0)187,
555(0)132,
557(0)199,
562(0)1,
567(0)309,
567(0)336,
567(0)366,
567(0)399,
567(0)425,
569(0)173,
575(0)92
- reasoning,
497(0)675,
497(0)733,
516(0)156,
520(0)357,
521(0)76,
521(0)223,
521(0)239,
521(0)279,
521(0)360,
521(0)377,
523(0)328,
525(0)143,
525(0)161,
531(0)136,
535(0)19,
535(0)214,
541(0)180,
542(0)203,
542(0)450,
542(0)540,
542(0)560,
543(0)38,
543(0)138,
548(0)81,
548(0)125,
548(0)141,
548(0)176,
548(0)190,
548(0)227,
548(0)232,
548(0)267,
548(0)277,
548(0)333,
548(0)352,
549(0)18,
549(0)137,
549(0)157,
549(0)430,
549(0)470,
551(0)343,
551(0)371,
553(0)141,
560(0)71,
567(0)171,
567(0)221,
567(0)336,
567(0)417
- You, J.-H.,
497(0)403
- Yuan, L. Y.,
497(0)219,
497(0)709