J. Ke, T. Gong, and W. Wang. Int. J. Mod. Phys. C, (2007)Originally presented at the The 5th Conference on Language evolution, Leipzig, Germany, March 2004..
J. Ponte, and B. Croft. SIGIR '98: Proceedings of the 21st annual international ACM SIGIR conference on Research and development in information retrieval, page 275--281. New York, NY, USA, ACM Press, (1998)
U. Priss, and L. Old. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 310-320. Berlin, Heidelberg, Springer-Verlag, (July 2007)
L. Zhang, and Y. Yu. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 44-57. Springer, (2001)
J. Sarbo, and J. Farkas. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 1-14. Springer, (2001)
S. Boytcheva, A. Strupchanska, and G. Angelova. Proceedings of the 10th International Conference on Conceptual Structures (ICCS 2002), volume 2393 of Lecture Notes in Computer Science, page 137-150. Springer, (2002)
U. Priss, and L. Old. Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Artificial Intelligence, page 310-320. Berlin, Heidelberg, Springer-Verlag, (July 2007)
G. Streeter, and A. Potter. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), volume 3127 of Lecture Notes in Computer Science, page 361-374. Springer, (2004)
J. Sowa. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), volume 3127 of Lecture Notes in Computer Science, page 31-51. Springer, (2004)
C. Jacquelinet. Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), volume 3127 of Lecture Notes in Computer Science, page 142-155. Springer, (2004)
N. Fuchs. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 51-51. Springer, (2005)
G. Angelova. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 367-380. Springer, (2005)
P. Hitzler, and M. Krötzsch. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume 4068 of Lecture Notes in Computer Science, page 260-273. Springer, (2006)
S. Caldeira, D. Coutinho, and G. Teixeira. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
A. Kalampokis, K. Kosmidis, and P. Argyrakis. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
M. Carey, D. DeWitt, and S. Vandenberg. Proceedings of the 13th Annual ACM Conference on
the Management of Data, page 413--423. Chicago, Illinois, (June 1988)
K. Lochbaum, B. Grosz, and C. Sidner. Proceedings of the Eighth National Conference on Artificial Intelligence, page 485-490. Menlo Park, California, AAAI Press, (1990)
L. Wittgenstein. University Of Chicago Press, Chicago, (October 1989)characterizes mathematical propositions: - Do not have a temporal sense (pp. 34). - Are rules of expression. "the connection between a mathematical proposition and its application is roughly that between a rule of expression and the expression itself in use" (pp. 47). A rule of expression defines what is meaningful and what not, how a particular form should be used, etc. - Is invented to suit experience and then made independent of experience (pp. 43). "In mathematics we have propositions which contain the same symbols as, for example, "write down the integral of..", etc., with the difference that when we have a mathemaitical proposition time doesn't enter into it and in the other it does. Now this is not a metaphisical statement." (pp 34).