Publications
2006. Balancing Systematic and Flexible Exploration of Social Networks. IEEE Transactions on Visualization and Computer Graphics. 12(5):693-700.
2009. Integrating Statistics and Visualization for Exploratory Power: From Long-Term Case Studies to Design Guidelines. IEEE Computer Graphics and Applications. 29(3):39-51.
2006. Using rhythms of relationships to understand e‐mail archives. Journal of the American Society for Information Science and Technology. 57(14):1936-1948.
1994. Meta-languages, reflection principles and self-reference. Handbook of logic in artificial intelligence and logic programming. :323-358.
1976. An application of compiler simulation at the source language level. The Computer Journal. 19(1):90-90.
1994. What Experts Deny, Novices Must Understand. In 3rd International Workshop on Human and Machine Cognition.
1997. Sources of, and exploiting, inconsistency: preliminary report. JOURNAL OF APPLIED NONCLASSICAL LOGICS. 7:13-24.
2000. What does it take to refer? a reply to Bojadziev Journal of Consciousness Studies. 7(5):67-69.
1987. How can a program mean. Proceedings of the 10th Int'l Joint Conference on Artificial Intelligence. :163-166.
2011. Robotson Crusoe–or–What Is Common Sense? Logical Formalizations of Commonsense Reasoning — Papers from the AAAI 2011 Spring Symposium.
1987. Circumscription as introspection. Proceedings of the Second International Symposium on Methodologies for intelligent systems. :440-444.