Publications

2015

Witbrock M, Pittman K, Moszkowicz J, Beck A, Lenat DB.  2015.  Cyc and the Big C: Reading that Produces and Uses Hypotheses about Complex Molecular Biology Mechanisms. AAAI-15.  Google Scholar RTF

2014

Lenat DB, Durlach PJ.  2014.  Reinforcing Math Knowledge by Immersing Students in a Simulated Learning-By-Teaching Experience. International Journal of Artificial Intelligence in Education. Google Scholar RTF

2013

Sharma A, Forbus KD.  2013.  Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases. Proceedings of AAAI: Twenty-Seventh Conference on Artificial Intelligence. Google Scholar RTF

2012

Sharma A, Forbus KD.  2012.  Modeling the Evolution of Knowledge in Learning Systems. Twenty Sixth Conference on Artificial Intelligence. Google Scholar RTF

Pierce CD, Booth D, Ogbuji C, Deaton C, Blackstone E, Lenat D.  2012.  SemanticDB: A Semantic Web Infrastructure for Clinical Research and Quality Reporting. Current Bioinfomatics. 7(3) Google Scholar RTF

Fortuna C., Vucnik M., Fortuna B., Kenda K., Moraru A., Mladenić D.  2012.  Towards Building a Global Oracle: a Physical Mashup Using Artificial Intelligence Technology. Third International Workshop on the Web of Things. PDF

2011

Lenat DB.  2011.  Developing and Harnessing a Teachable Agent to Achieve Learning as Effective as a Personal Tutor. Google Scholar RTF

Ludwig J, Davis A, Abrams M, Curtis J.  2011.  A Hidden Domain for Human and Electronic Students. IJCAI Workshop on Agents Learning Interactively from Human Teachers, Barcelona, Spain July 16-17, 2011. Google Scholar RTF

Cheptsov A, Assel M, Gallizo G, Celino I, Dell’Aglio D, Bradesko L, Witbrock M, Della Valle E.  2011.  Large Knowledge Collider. A Service-oriented Platform for Large-scale Semantic Reasoning. International Conference on Web Intelligence, Mining and Semantics (WIMS’11), ACM International Conference Proceedings Series, Sogndal, Norway, May 2011. PDF

Cheng H, Tamrakar A, Ali S, Yu Q, Javed O, Liu J, Divakaran A, Sawhney H, Hauptmann A, Shah M et al.  2011.  Team SRI-Sarnoff’s AURORA System @ TRECVID 2011. NIST TRECVID Workshop. Google Scholar RTF

2010

Foxvog D.  2010.  Cyc. Theory and Applications of Ontology: Computer Applications. :259-278. Google Scholar RTF

Lenat D, Witbrock M, Baxter D, Blackstone E, Deaton C, Schneider D, Scott J, Shepard B.  2010.  Harnessing Cyc to Answer Clinical Researchers’ ad hoc Queries. AI Magazine. :31,3. Google Scholar RTF

Grobelnik M, Mladeniċ D, Witbrock M, Sammut C, Webb GI.  2010.  Text Mining for the Semantic Web. Encyclopedia of Machine Learning. :Part21,978-980. PDF

2009

Baxter D, Klimt B, Grobelnik M, Schneider D, Witbrock M, Mladeniċ D, Davies J, Grobelnik M, Mladeniċ D.  2009.  Capturing Document Semantics for Ontology Generation and Document Summarization. Semantic Knowledge Management: Integrating Ontology Management, Knowledge Discovery, and Human Language Technologies. :pp.141-154.

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

Coppock E, Baxter D.  2009.  A Translation from Logic to English with Dynamic Semantics. Logic and Engineering in Natural Language Semantics VI. Google Scholar RTF

Witbrock M, Coppock E, Kahlert RC.  2009.  Uniting A Priori and A Posteriori Knowledge: A Research Framework. IJCAI-09 workshop. :pp.22-28. Google Scholar RTF

2008

Kahlert RC.  2008.  Danto’s Recipe for Clio: Leveraging Narrative Insights for Modeling Historiography in Symbolic Knowledge Bases. The International Journal of Interdisciplinary Social Sciences. Volume 2

Kahlert RC, Rode B.  2008.  Representational Reformulation in Hypothesis-Driven Recognition. AAAI 2007 Fall Symposium on Computational Approaches to Representation Change during Learning and Development. Google Scholar RTF

Fensel D, van Harmelen F, Andersson B, Brennan P, Cunningham H, Valle ED, Fischer F, Huang Z, Kiryakov A, Lee TK et al.  2008.  Towards LarKC: a Platform for Web-scale Reasoning. Second IEEE International Conference on Semantic Computing IEEE-ICSC2008. PDF

Kahlert RC, Rode B, Baxter D, Witbrock M, Forbus K, Birnbaum L, Shah P, Schneider D, Panton K, Belasco A et al.  2008.  Tracking Quantity Fluctuations Using STT. AAAI 2007 Fall Symposium on Computational Approaches to Representation Change during Learning and Development. Google Scholar RTF

2007

Taylor ME, Matuszek C, Klimt B, Witbrock M.  2007.  Autonomous Classification of Knowledge into an Ontology. Twentieth International FLAIRS Conference. Google Scholar RTF

Taylor ME, Matuszek C, Reagan Smith P, Witbrock M.  2007.  Guiding Inference with Policy Search Reinforcement Learning. Twentieth International FLAIRS Conference. Google Scholar RTF

Rode B.  2007.  Strategies for Hypothesis-Driven Recognition in Rule-Based Systems. Proc. AAAI 2006 Fall Symposium on Capturing and Using Patterns for Evidence Detection. Google Scholar RTF

2006

Curtis J, Baxter D, Cabral J.  2006.  On the Application of the Cyc Ontology to Word Sense Disambiguation. the Nineteenth International FLAIRS Conference. :pp.652-657. Google Scholar RTF

Shah P, Schneider D, Matuszek C, Kahlert RC, Aldag B, Baxter D, Cabral J, Witbrock M, Curtis. J.  2006.  Automated Population of Cyc: Extracting Information about Named-entities from the Web. the Nineteenth International FLAIRS Conference. :pp.153-158. Google Scholar RTF

Crago, S.P., McMahon JO, Archer C, Asanovic K, Chaung R, Goolsbey K, Hall M, Kozyrakis C, Olukotun K, O’Reilly U et al.  2006.  CEARCH: Cognition Enabled Architecture. The Tenth Annual High Performance Embedded Computing Workshop. PDF

Cai Y, Abascal J, Panton K, Matuszek C, Lenat DB, Schneider D, Witbrock M, Siegel N, Shepard B.  2006.  Common Sense Reasoning – From Cyc to Intelligent Assistant. Ambient Intelligence in Everyday Life. :pp.1-31. PDF

Matuszek C, Cabral J, Witbrock M, DeOliveira J.  2006.  An Introduction to the Syntax and Content of Cyc. 2006 AAAI Spring Symposium on Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering. Google Scholar RTF

Naphade M, Smith JR, Tesic J, Chang S, Hsu W, Kennedy L, Hauptmann A, Curtis J.  2006.  Large-Scale Concept Ontology for Multimedia. IEEE MultiMedia. :86-91. PDF

2005

Forbus K, Birnbaum L, Wagner E, Baker J, Witbrock M.  2005.  Combining analogy, intelligent information retrieval, and knowledge integration for analysis: A preliminary report. 2005 International Conference on Intelligence Analysis. Google Scholar RTF

Deaton C, Shepard B, Klein C, Mayans C, Summers B, Brusseau A, Witbrock M.  2005.  The Comprehensive Terrorism Knowledge Base in Cyc. 2005 International Conference on Intelligence Analysis. Google Scholar RTF

Cabral J, Kahlert RC, Matuszek C, Witbrock M, Summers B.  2005.  Converting Semantic Meta-Knowledge into Inductive Bias. 15th International Conference on Inductive Logic Programming. Google Scholar RTF

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

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

Schneider D, Matuszek C, Shah P, Kahlert R, Baxter D, Cabral J, Witbrock M, Lenat. DB.  2005.  Gathering and Managing Facts for Intelligence Analysis. 2005 International Conference on Intelligence Analysis. Google Scholar RTF

Siegel N, Shepard B, Cabral J, Witbrock M.  2005.  Hypothesis Generation and Evidence Assembly for Intelligence Analysis: Cycorp’s Nooscape Application. 2005 International Conference on Intelligence Analysis. Google Scholar RTF

Foxvog D.  2005.  Instances of Instances Modeled via Higher-Order Classes. Foundational Aspects of Ontologies (FOnt 2005), 28th German Conference on Artificial Intelligence. Google Scholar RTF

Baxter D, Shepard B, Siegel N, Gottesman B, Schneider D.  2005.  Interactive Natural Language Explanations of Cyc Inferences. AAAI 2005: International Symposium on Explanation-aware Computing. Google Scholar RTF

Witbrock M, Matuszek C, Brusseau A, Kahlert RC, Fraser CB, Lenat DB.  2005.  Knowledge Begets Knowledge: Steps towards Assisted Knowledge Acquisition in Cyc. Papers from the 2005 AAAI Spring Symposium on Knowledge Collection from Volunteer Contributors. :pp.99-105. Google Scholar RTF

Shepard B, Matuszek C, Fraser CB, Wechtenhiser W, Crabbe D, Güngördü Z, Jantos J, Hughes T, Lefkowitz L, Witbrock M et al. 2005.  A Knowledge-Based Approach to Network Security: Applying Cyc in the Domain of Network Risk Assessment. The Seventeenth Innovative Applications of Artificial Intelligence Conference. Google Scholar RTF

Matuszek C, Witbrock M, Kahlert R, Cabral J, Schneider D, Shah P, Lenat. DB.  2005.  Searching for Common Sense: Populating Cyc from the Web. The Twentieth National Conference on Artificial Intelligence. Google Scholar RTF

Rode B.  2005.  Towards a Model of Pattern Recovery in Relational Data. 2005 International Conference on Intelligence Analysis. Google Scholar RTF

2004

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

Witbrock M, Panton K, Reed SL, Schneider D, Aldag B, Reimers M, Bertolo S.  2004.  Automated OWL Annotation Assisted by a Large Knowledge Base. Workshop Notes of the 2004 Workshop on Knowledge Markup and Semantic Annotation at the 3rd International Semantic Web Conference. :pp.71-80. Google Scholar RTF

Siegel N, Goolsbey K, Kahlert R, Matthews G.  2004.  The Cyc System: Notes on Architecture. Google Scholar RTF

O’Hara, T., Bertolo S, Witbrock M, Aldag B, Panton K, Schneider D, Salay N, Curtis J.  2004.  Inferring Parts of Speech for Lexical Mappings via the Cyc KB. 20th International Conference on Computational Linguistics. Google Scholar RTF

Karagiannis D, Reimer U, Belasco A, Curtis J, Kahlert RC, Klein C, Mayans C, Reagan P.  2004.  “Representing Knowledge Gaps Effectively”. Practical Aspects of Knowledge Management. Google Scholar RTF

2003

Maybury M, Mahler D.  2003.  “Holistic Query Expansion using Graphical Models”.  New Directions in Question Answering. Google Scholar RTF

O’Hara T, Salay N, Witbrock M.  2003.  Inducing criteria for mass noun lexical mappings using the Cyc Knowledge Base and its Extension to WordNet. Fifth International Workshop on Computational Semantics. PDF

Witbrock M, Baxter D, Curtis J.  2003.  An Interactive Dialogue System for Knowledge Acquisition in Cyc. Eighteenth International Joint Conference on Artificial Intelligence. Google Scholar RTF

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

2002

Panton K, Miraglia P, Salay N.  2002.  Knowledge Formation and Dialogue Using the KRAKEN Toolset. Fourteenth National Conference on Innovative Applications of Artificial Intelligence. :p.900-905. Google Scholar RTF

Reed S, Lenat DB.  2002.  Mapping Ontologies into Cyc. AAAI 2002 Conference Workshop on Ontologies For The Semantic Web. Google Scholar RTF

Stuart Aitken J, Curtis J.  2002.  A Process Ontology. Proceedings of EKAW 2002. :p.108-113. Google Scholar RTF

Masters J.  2002.  Structured Knowledge Source Integration and its applications to information fusion. Fifth International Conference on Information Fusion. Google Scholar RTF

1998

Lehmann F, Foxvog D.  1998.  Putting Flesh on the Bones: Issues that Arise in Creating Anatomical Knowledge Bases with Rich Relational Structures. AAAI Technical Report. Google Scholar RTF

1996

Stork DG, Lenat DB.  1996.  From 2001 to 2001: Common Sense and the Mind of HAL. Hal’s Legacy: 2001 as Dream and Reality. PDF

1995

Lenat DB.  1995.  Artificial Intelligence. Scientific American.

Lenat DB.  1995.  Cyc: A Large-Scale Investment in Knowledge Infrastructure. Communications of the ACM. 38 Google Scholar RTF

Mars NJI, Lenat DB.  1995.  Steps to Sharing Knowledge. Toward Very Large Knowledge Bases. Google Scholar RTF

1994

Lenat DB, Guha RV.  1994.  Enabling Agents to Work Together. Communications of the ACM. 37

1991

Fishwick PA, Modjeski RB, Oresky CM, Lenat DB, Clarkson A, Kaisler S.  1991.  Strategic Automatic Discovery System. Knowledge-based simulation: methodology and application. :pp.223-260. Google Scholar RTF

1990

Guha RV, Lenat DB.  1990.  Building Large Knowledge Based Systems Reading. Addison Wesley.

Guha RV, Lenat DB.  1990.  Cyc: A Midterm Report. AI Magazine. Google Scholar RTF

Guha RV, Lenat DB, Pittman K, Pratt D, Shepherd M.  1990.  Cyc: A Midterm Report. Communications of the ACM. 33(no. 8) Google Scholar RTF