A blue social bookmark and publication sharing system.
publications
David H.D. Warren 76. Dept. of Computational Logic, University of Edinburgh School of Artificial Intelligence, June1974. to AI by diego_ma on Dec 14, 2007, 2:48 AMJ.F. Sowa IBM Systems Journal41(3):331-349(
2002)
to AI by diego_ma and 2 other people on Dec 14, 2007, 2:46 AMLinda C. Smith Information Processing \& Management12(3):189-222(
1976)
to inf_retrieval AI by diego_ma and 1 other person on Dec 14, 2007, 2:46 AMYoav Shoham Morgan Kaufmann, (
1994)
to prolog AI by diego_ma on Dec 14, 2007, 2:46 AMErik T. Mueller (
1999)
myurlhttp://www.signiform.com/tt/htm/overview.htm
.
to AI ThoughtTreasure by diego_ma on Dec 14, 2007, 2:44 AMErik T. Mueller (
2000)
myurlhttp://arXiv.org/abs/cs/0003003
.
to NLP AI by diego_ma and 1 other person on Dec 14, 2007, 2:44 AM- to situation_theory AI by diego_ma and 6 other people on Dec 14, 2007, 2:43 AM
John McCarthy Formalizing Common Sense, Ablex, Norwood, NJ, (
1976)
to AI by diego_ma on Dec 14, 2007, 2:43 AMJohn McCarthy Communications of the ACM30(12):1030-1035(
1987)
Also in myurlhttp://www-formal.stanford.edu/jmc/
.
to AI by diego_ma and 3 other people on Dec 14, 2007, 2:43 AMAlon Y. Levy and Daniel S. Weld Artificial Intelligence(
2000)
to AI web by diego_ma and 1 other person on Dec 14, 2007, 2:42 AMAlon Y. Levy Special issue of LNAI: Artificial Intelligence Today; RecentTrends and Developments(
1999)
to AI by diego_ma on Dec 14, 2007, 2:42 AMLongin Latecki and Manfred Pinkal (
1990)
To appear in: Jurgen Allgayer (ed), Proc. of the Workshop on Plurals and Quantifiers, GWAI
.
to anaphora syntax AI quantification semantics by diego_ma on Dec 14, 2007, 2:42 AMMark Johnson and Edward Klein 86-63. Stanford University, October1986. to discourse AI logic_programming DRT by diego_ma on Dec 14, 2007, 2:41 AM- to AI by diego_ma and 2 other people on Dec 14, 2007, 2:41 AM
- to AI by diego_ma and 1 other person on Dec 14, 2007, 2:36 AM