- AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI, (2011)
- Int. J. Math. Mathematical Sciences (2012)
- Operating Systems Review 45(3):15-19 (2011)
- IEEE Trans. Systems Science and Cybernetics 5(4):352-360 (1969)
- Intelligent Agents VII Agent Theories Architectures and Languages, volume 1986 of Lecture Notes in Computer Science, chapter 17, Springer Berlin Heidelberg, Berlin, Heidelberg, (Aug 24, 2001)
- SIGMOD Record 13(2):72-75 (1983)
- SIGMOD Record 22(4):81-86 (1993)
- Geophysics 76(6):WC53--WC61 (2011)
- Geophysical Research Letters 38(24):L24304+ (Dec 17, 2011)
- ACM Trans. Database Syst. 11(3):239-264 (1986)
- ICCV, page 156-165. IEEE, (1990)
- ICCV, page 535-538. IEEE, (1990)
- BIBM Workshops, page 901-903. IEEE, (2011)
- LICS, page 320-335. IEEE Computer Society, (1988)
- LICS, page 300-309. IEEE Computer Society, (1991)
- LICS, page 50-62. IEEE Computer Society, (1989)
- IEEE Computer 37(10):73-81 (2004)
- NeuroImage 58(3):761-769 (2011)
- NeuroImage 44(3):671-678 (2009)
- ICLS 3, page 125-127. International Society of the Learning Sciences, (2008)


author