|
• Articles • Previous Articles Next Articles
Yu Sun1,2, Yue-Fei Sui1, and You-Ming Xia2
[1] Yule G. Pragmatics. Oxford: Oxford University Press, 1996. [2] Peccei J. Pragmatics. Taylor & Francis Limited, UK, 1999. [3] Jacob L Mey. Pragmatics: An Introduction.Blackwell Publisher Limited, UK, 2001. [4] Surav M, Akman V. Modelling Context with Situations. In Proc. The IJCAI-95 Workshop on Modelling Context in KnowledgeRepresentation and Reasoning, Research Report 95/11, LAFORIA, 1995,pp.145--156. [5] Akman V, Surav M. The use of situation theory in contextmodelling. Computational Intelligence, 1997, 13(3): 427--438. [6] Barwise J, Perry J. Situations and Attitudes (ExpandedReissue). Stanford CSLI Publications, 1999. [7] McCarthy J, Suvac S. Formalizing Context (ExpandedNotes). In Computing Natural Language, Aliseda A, van Glabbeek RJ, Weaterstahl D (eds.), CSLI Lecture Notes, 1998, Vol.81, pp.13--50. [8] Serafini L. Quantificational logic of contexts revisited.Technical Report 0105-01, ITC-IRST, 2001. [9] Bouquet P, Serafini L. Two formalizations ofcontext: A comparison. In Proc. Third International andInterdisciplinary Conference, Context'01, Dundee, Scotland, 2001, pp.87--102. [10] Guha R, McCarthy J. Varieties of contexts. In Proc. Fourth International and Interdisciplinary Conference,Context'03, Stanford, California, USA, 2003, pp.164--177. [11] Buvac S, Buvac V, Mason I A. Metamathematics ofcontexts. Fundamenta Informaticae, 1995, 23(3): 263--301. [12] Ganter B, Wille R. Formal Concept Analysis:Mathematical Foundations. Springer-Verlag, Berlin, Heidelberg, 1999,pp.17--58. |
[1] | Su Feng. Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions [J]. , 2005, 20(4): 496-513 . |
[2] | SUN Yongqiang(孙永强),LIN Kai(林凯)and LU Chaojun(陆朝俊). Partial Completion of Equational Theories [J]. , 2000, 15(6): 0-0. |
[3] | SUN Yongqiang; LIN Kai; LU Chaojun;. Partial Completion of Equational Theories [J]. , 2000, 15(6): 552-559. |
[4] | Chen Yiyun;. Head Boundedness of Nonterminating Rewritings [J]. , 1995, 10(3): 281-284. |
[5] | Chen Yiyun;. Nonterminating Rewritings with Head Boundedness [J]. , 1993, 8(2): 66-75. |
|
|