2009

• Uniting A Priori and A Posteriori Knowledge: A Research Framework
  in Knowledge Representation (IR-KR): Proceedings of the IJCAI-09 workshop, pp. 22-28, Pasadena, CA.
  Witbrock, M., Coppock, E., & Kahlert, R. C.


• A Translation from Logic to English with Dynamic Semantics
  in Proceedings of Logic and Engineering in Natural Language Semantics VI, Tokyo, Japan.
  Coppock, E., & Baxter, D.


• Methods of Rule Acquisition in the TextLearner System
  in S. Nirenburg & T. Oates: Proceedings of the 2009 AAAI Spring Symposium on Learning by Reading and Learning to Read, pp. 22-28, Palo Alto, AAAI Press.
  Curtis, J., Baxter, D., Wagner, P., Cabral, J., Schneider, D., Witbrock, M.


• Capturing Document Semantics for Ontology Generation and Document Summarization
  in J. Davies, M. Grobelnik, and D. Mladenic (Eds.): Semantic Knowledge Management: Integrating Ontology Management, Knowledge Discovery, and Human Language Technologies, pp. 141-154, Springer 2009.
  Baxter, D., Klimt, B., Grobelnik, M., Schneider, D., Witbrock, M., Mladenic, D.

2008

• Towards LarKC: a Platform for Web-scale Reasoning
  in Proceedings of the Second IEEE International Conference on Semantic Computing, IEEE-ICSC2008, Santa Clara, CA, USA, August 4-7, 2008
  Fensel, D., van Harmelen, F., Andersson, B., Brennan, P., Cunningham, H., Valle, E.D., Fischer, F., Huang, Z., Kiryakov, A., Lee, T.K., Schooler, L., Tresp, V., Wesner, S., Witbrock, M., Zhong, N.


• Danto's Recipe for Clio: Leveraging Narrative Insights for Modeling Historiography in Symbolic Knowledge Bases
  in The International Journal of Interdisciplinary Social Sciences", Volume 2, 2008,
  Kahlert, R.C.

2007

• Representational Reformulation in Hypothesis-Driven Recognition
  in AAAI 2007 Fall Symposium on Computational Approaches to Representation Change during Learning and Development", AAAI Press, 2007.
  Kahlert, R.C., Rode, B.


• Autonomous Classification of Knowledge into an Ontology
  in Proceedings of the Twentieth International FLAIRS Conference, Key West, FL, May 2007.
  Taylor, M.E., Matuszek, C., Klimt, B., Witbrock, M.


• Strategies for Hypothesis-Driven Recognition in Rule-Based Systems
  in AAAI 2006 Fall Symposium on Capturing and Using Patterns for Evidence Detection", AAAI Press, 2007,
  Rode, B.


• Tracking Quantity Fluctuations Using STT
  in AAAI 2006 Fall Symposium on Capturing and Using Patterns for Evidence Detection, AAAI 2006 Fall Symposium on Capturing and Using Patterns for Evidence Detection Technical Report AAAI Press, 2007.
  Kahlert, R.C., Rode, B., Baxter, D., Witbrock, M., Forbus, K., Birnbaum, L., Shah, P., Schneider, D., Panton, K., Belasco, A., Crabbe D.


• Guiding Inference with Policy Search Reinforcement Learning
  In press; in Proceedings of the Twentieth International FLAIRS Conference, Key West, FL, May 2007.
  Taylor, M.E., Matuszek, C.,Reagan Smith, P., Witbrock, M.

2006

• Large-Scale Concept Ontology for Multimedia
  2006. IEEE MultiMedia 13, 3 (Jul. 2006), 86-91.
  Naphade, M., Smith, J. R., Tesic, J., Chang, S., Hsu, W., Kennedy, L., Hauptmann, A., Curtis, J.


• Tracking Quantity Fluctuations using STT
  In Proceedings of the 2006 AAAI Fall Symposium on Evidence Extraction, Arlington, VA, October 2006.
  Kahlert, R.C., Rode, B., Baxter, D., Witbrock, M., Forbus, K., Birnbaum, L., Shah, P., Schneider, D., Panton, K., Belasco, A., Crabbe, D.


• Common Sense Reasoning – From Cyc to Intelligent Assistant
  In Yang Cai and Julio Abascal (eds.), Ambient Intelligence in Everyday Life, pp. 1-31, LNAI 3864, Springer, 2006.
  Panton, K., Matuszek, C., Lenat, D.B., Schneider, D., Witbrock, M., Siegel, N., Shepard, B.


• On the Application of the Cyc Ontology to Word Sense Disambiguation
  In Proceedings of the Nineteenth International FLAIRS Conference, pp. 652-657, Melbourne Beach, FL, May 2006.
  Curtis, J., Baxter, D., Cabral, J.


• Automated Population of Cyc: Extracting Information about Named-entities from the Web
  In Proceedings of the Nineteenth International FLAIRS Conference, pp. 153-158, Melbourne Beach, FL, May 2006.
  Shah, P., Schneider, D., Matuszek, C., Kahlert, R.C., Aldag, B., Baxter, D., Cabral, J. M. Witbrock, J. Curtis.


• An Introduction to the Syntax and Content of Cyc
  In Proceedings of the 2006 AAAI Spring Symposium on Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Stanford, CA, March 2006.
  Matuszek, C., Cabral, J., Witbrock, M., DeOliveira, J.


• CEARCH: Cognition Enabled Architecture
  In Proceedings of the Tenth Annual High Performance Embedded Computing Workshop, Lexington, MA, September 19-21, 2006.
  Crago, S.P., McMahon, J.O., et al.

2005

• Interactive Natural Language Explanations of Cyc Inferences
  In AAAI 2005: International Symposium on Explanation-aware Computing, Washington, DC, November 2005.
  Baxter, D., Shepard, B., Siegel, N., Gottesman, B., Schneider, D.


• Converting Semantic Meta-Knowledge into Inductive Bias
  In Proceedings of the 15th International Conference on Inductive Logic Programming, Bonn, Germany, August 2005.
  Cabral, J., Kahlert, R.C., Matuszek, C., Witbrock, M., Summers, B.


• Searching for Common Sense: Populating Cyc from the Web
  In Proceedings of the Twentieth National Conference on Artificial Intelligence, Pittsburgh, Pennsylvania, July 2005.
  Matuszek, C., Witbrock, M.,Kahlert, R., Cabral, J., Schneider,D., Shah, P., Lenat., D.B.


• A Knowledge-Based Approach to Network Security: Applying Cyc in the Domain of Network Risk Assessment
  In Proceedings of the Seventeenth Innovative Applications of Artificial Intelligence Conference, Pittsburgh, Pennsylvania, July 2005.
  Shepard, B., Matuszek, C., Fraser, C.B., Wechtenhiser, W., Crabbe, D., Güngördü, Z., Jantos, J., Hughes, T., Lefkowitz, L., Witbrock, M., Lenat, D.B., Larson, E.


• First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology
  In Papers from the AAAI Workshop on Contexts and Ontologies: Theory, Practice and Applications. Pittsburgh, Pennsylvania, July 2005.
  Ramachandran, D., Reagan, P., Goolsbey, K.


• Gathering and Managing Facts for Intelligence Analysis
  In Proceedings of the 2005 International Conference on Intelligence Analysis, McLean, Virginia, May 2005.
  Schneider, D., Matuszek, C., Shah, P., Kahlert, R., Baxter, D., Cabral, J., Witbrock, M., Lenat., D.B.


• Combining analogy, intelligent information retrieval, and knowledge integration for analysis: A preliminary report
  In Proceedings of the 2005 International Conference on Intelligence Analysis, McLean, Virginia, May 2005.
  Forbus, K., Birnbaum, L., Wagner, E., Baker, J., Witbrock, M.


• The Comprehensive Terrorism Knowledge Base in Cyc
  In Proceedings of the 2005 International Conference on Intelligence Analysis, McLean, Virginia, May 2005.
  Deaton, C., Shepard, B., Klein, C., Mayans, C., Summers, B., Brusseau, A., Witbrock, M.


• Towards a Model of Pattern Recovery in Relational Data
  In Proceedings of the 2005 International Conference on Intelligence Analysis, McLean, Virginia, May 2005.
  Rode, B.


• Hypothesis Generation and Evidence Assembly for Intelligence Analysis: Cycorp's Nooscape Application
  In Proceedings of the 2005 International Conference on Intelligence Analysis, McLean, Virginia, May 2005.
  Siegel, N., Shepard, B., Cabral, J., Witbrock, M.


• On the Effective Use of Cyc in a Question Answering System
  in Papers from the IJCAI Workshop on Knowledge and Reasoning for Answering Questions, Edinburgh, Scotland: 2005.
  Curtis, J., Matthews, G., Baxter, D.


• Knowledge Begets Knowledge: Steps towards Assisted Knowledge Acquisition in Cyc
  in Papers from the 2005 AAAI Spring Symposium on Knowledge Collection from Volunteer Contributors (KCVC), pp. 99-105. Stanford, California, March 2005.
  Witbrock, M., Matuszek, C., Brusseau, A., Kahlert, R.C., Fraser, C.B., Lenat, D.B.

before 2005

• "Representing Knowledge Gaps Effectively"
  In D. Karagiannis, U. Reimer (Eds.): Practical Aspects of Knowledge Management, Proceedings of PAKM 2004, Vienna, Austria, December 2-3, 2004, Springer-Verlag, Berlin Heidelberg.
  Belasco, A., Curtis, J., Kahlert, R.C., Klein, C., Mayans, C., Reagan, P.


• Agent Architectures: Combining the Strengths of Software Engineering and Cognitive Systems
  in Papers from the AAAI Workshop on Intelligent Agent Architectures: Combining the Strengths of Software Engineering and Cognitive Systems, Technical Report WS-04-07, pp. 74-79. Menlo Park, California: AAAI Press, 2004.
  Siegel, N., Matthews, G., Masters, J., Kahlert, R., Witbrock, M., Pittman, K.


• Automated OWL Annotation Assisted by a Large Knowledge Base
  in Workshop Notes of the 2004 Workshop on Knowledge Markup and Semantic Annotation at the 3rd International Semantic Web Conference ISWC2004, Hiroshima, Japan, November 2004, pp. 71-80.
  Witbrock, M., Panton, K., Reed, S.L., Schneider, D., Aldag, B., Reimers, M., Bertolo, S.


• Inferring Parts of Speech for Lexical Mappings via the Cyc KB
  In Proceedings of the 20th International Conference on Computational Linguistics (COLING-04), Geneva, Switzerland, August 2004.
  O'Hara, T., Bertolo, S., Witbrock, M., Aldag, B., Panton, K., Schneider, D., Salay, N., Curtis, J.


• Structured Knowledge Source Integration: A Progress Report
  In Integration of Knowledge Intensive Multiagent Systems, Cambridge, Massachusetts, USA, 2003.
  Masters, J., Güngördü, Z.


• A chapter in New Directions in Question Answering,
  Mark Maybury (ed), Fall 2003. "Holistic Query Expansion using Graphical Models"
  Mahler, D.


• Inducing criteria for mass noun lexical mappings using the Cyc Knowledge Base and its Extension to WordNet
  In Proceedings of the Fifth International Workshop on Computational Semantics, Tilburg, 2003.
  O'Hara, T., Salay, N., Witbrock, M., et al.


• An Interactive Dialogue System for Knowledge Acquisition in Cyc
  In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 2003.
  Witbrock, M., Baxter, D., Curtis, J., et al.


• A Process Ontology
  In Proceedings of EKAW 2002, p. 108-113, Siguenza, Spain, October 1-4, 2002.
  Stuart Aitken, J., Curtis, J.


• Knowledge Formation and Dialogue Using the KRAKEN Toolset
  In Proceedings of the Fourteenth National Conference on Innovative Applications of Artificial Intelligence, p. 900-905. Edmonton, Canada, 2002.
  Panton, K., Miraglia, P., Salay, N., et al.


• Structured Knowledge Source Integration and its applications to information fusion
  In Proceedings of the Fifth International Conference on Information Fusion, Annapolis, MD, July 2002.
  Masters, J.


• Mapping Ontologies into Cyc
  In AAAI 2002 Conference Workshop on Ontologies For The Semantic Web, Edmonton, Canada, July 2002.
  Reed, S., Lenat, D.B.


• Putting Flesh on the Bones: Issues that Arise in Creating Anatomical Knowledge Bases with Rich Relational Structures
  AAAI Technical Report WS-98-04,1998.
  Lehmann, F., Foxvog, D.


• From 2001 to 2001: Common Sense and the Mind of HAL
  A chapter in Hal's Legacy: 2001 as Dream and Reality, D.G. Stork, editor, MIT Press, 1996.
  Lenat, D.B.


• Steps to Sharing Knowledge
  In Toward Very Large Knowledge Bases, edited by N.J.I. Mars. IOS Press, 1995.
  Lenat, D.B.


• Artificial Intelligence
  Scientific American, September 1995.
  Lenat, D.B.


• Cyc: A Large-Scale Investment in Knowledge Infrastructure.
  Communications of the ACM 38, no. 11, November 1995. See also other articles in this special issue.
  Lenat, D.B.


• Enabling Agents to Work Together
  Communications of the ACM 37, no. 7, July 1994.
  Lenat, D.B., Guha, R.V.


• Strategic Automatic Discovery System
  in (P. A. Fishwick, R. B. Modjeski, eds.) Knowledge-based simulation: methodology and application, New York: SpringerVerlag, 1991, pp. 223-260. (18MB PDF File)
  Oresky, C.M., Lenat, D.B., Clarkson, A., Kaisler, S.


• Cyc: A Midterm Report
  Communications of the ACM 33, no. 8, August 1990.
  Guha, R.V., Lenat, D.B., Pittman, K., Pratt, D., Shepherd, M.


• Cyc: A Midterm Report
  AI Magazine, Fall 1990.
  Guha, R.V., Lenat, D.B.


• Building Large Knowledge Based Systems
  Reading, Massachusetts: Addison Wesley, 1990.
  Guha, R.V., Lenat, D.B.