Vinay K. Chaudhri

Naren Chittar

Krihshna Konakanchi

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Introduction to Logic Programming

[BibT_eX]

[DOI]

Michael R. Genesereth

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01586-1, 2020

2015

English Generation from a Knowledge Base and Overly General Classes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

Representing States in a Biology Textbook.

[BibT_eX]

[DOI]

Daniela Inclezan

Proceedings of the 2015 AAAI Spring Symposia, 2015

Achieving Intelligence Using Prototypes, Composition, and Analogy.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Comparative analysis of knowledge representation and reasoning requirements across a range of life sciences textbooks.

[BibT_eX]

[DOI]

J. Biomed. Semant., 2014

Modeling of Continuity and Change in Biology.

[BibT_eX]

[DOI]

Frank Loebe

Proceedings of the 1st Joint Workshop ONTO.COM / ODISE on Ontologies in Conceptual Modeling and Information Systems Engineering co-located with 8th International Conference on Formal Ontology in Information Systems, 2014

KB_Bio_101: Content and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

Representing Roles in a Biology Textbook.

[BibT_eX]

[DOI]

Conceptual Models of Energy Transfer and Regulation.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

An Intelligent Textbook that Answers Questions.

[BibT_eX]

[DOI]

Adam Overholtzer

Aaron Spaulding

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Inconsistency Monitoring in a Large Scientific Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Question Generation from a Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

Large-Scale Analogical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Object-Oriented Knowledge Bases in Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP.

[BibT_eX]

[DOI]

CoRR, 2013

AI Grand Challenges for Education.

[BibT_eX]

[DOI]

AI Mag., 2013

Intelligent Learning Technologies Part 2: Applications of Artificial Intelligence to Contemporary and Emerging Educational Challenges.

[BibT_eX]

[DOI]

AI Mag., 2013

Intelligent Learning Technologies: Applications of Artificial Intelligence to Contemporary and Emerging Educational Challenges.

[BibT_eX]

[DOI]

AI Mag., 2013

Inquire Biology: A Textbook that Answers Questions.

[BibT_eX]

[DOI]

AI Mag., 2013

KB_Bio_101 : A Challenge for OWL Reasoners.

[BibT_eX]

[DOI]

Michael A. Wessel

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Three Lessons in Creating a Knowledge Base to Enable Reasoning, Explanation and Dialog.

[BibT_eX]

[DOI]

Daniela Inclezan

Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 2013

Automatic Strengthening of Graph-Structured Knowledge Bases - Or: How to Identify Inherited Content in Concept Graphs.

[BibT_eX]

[DOI]

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2013

User-Controlled, Robust Natural Language Generation from an Evolving Knowledge Base.

[BibT_eX]

[DOI]

Eva Banik

Eric Kow

Proceedings of the ENLG 2013, 2013

A Vocabulary of Topological and Containment Relations for a Practical Biological Ontology.

[BibT_eX]

[DOI]

Brandon Bennett

Proceedings of the Spatial Information Theory - 11th International Conference, 2013

"What if there was no oxygen?": responding to hypothetical questions in an intelligent tutoring agent.

[BibT_eX]

[DOI]

Neil Yorke-Smith

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

KB_Bio_101: a repository of graph-structured knowledge.

[BibT_eX]

[DOI]

Michael A. Wessel

Proceedings of the 2nd International Workshop on Exploiting Large Knowledge Repositories, 2012

Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming.

[BibT_eX]

[DOI]

Tran Cao Son

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

What is hard about representing biology textbook knowledge.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Knowledge Capture (K-CAP 2011), 2011

Preliminary steps towards a knowledge factory process.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Knowledge Capture (K-CAP 2011), 2011

Modeling Issues and Solutions: Building a Taxonomy from a Biology Textbook.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Biomedical Ontology, 2011

<i>Inquire</i> for iPad: A Biology Textbook That Answers Questions.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education - 15th International Conference, 2011

2010

Introduction to the Special Issue on Question Answering.

[BibT_eX]

[DOI]

David Gunning

Chris Welty

AI Mag., 2010

Project Halo Update - Progress Toward Digital Aristotle.

[BibT_eX]

[DOI]

AI Mag., 2010

Reports of the AAAI 2010 Spring Symposia.

[BibT_eX]

[DOI]

Michael R. Genesereth

Deborah L. McGuinness

AI Mag., 2010

A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2010

2009

Representing the Component Library into Ontology Design Patterns.

[BibT_eX]

[DOI]

Aldo Gangemi

Proceedings of the Workshop on Ontology Patterns (WOP 2009) , 2009

The KBMS Project and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

2008

Using a Semantic Wiki as a Knowledge Source for Rich Modeling and Question Answering.

[BibT_eX]

[DOI]

Proceedings of the Symbiotic Relationships between Semantic Web and Knowledge Engineering, 2008

2007

Capturing and answering questions posed to a knowledge-based system.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Knowledge Capture (K-CAP 2007), 2007

Enabling experts to build knowledge bases from science textbooks.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Knowledge Capture (K-CAP 2007), 2007

AURA: Enabling Subject Matter Experts to Construct Declarative Knowledge Bases from Science Textbooks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

A Case Study in Engineering a Knowledge Base for an Intelligent Personal Assistant.

[BibT_eX]

[DOI]

Proceedings of the Semantic Desktop and Social Semantic Collaboration Workshop ( SemDesk 2006 ) located at the 5th International Semantic Web Conference ISWC 2006, 2006

Efficiently ordering subgoals with access constraints.

[BibT_eX]

[DOI]

Guizhen Yang

Michael Kifer

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Exporting Knowledge Bases into OWL.

[BibT_eX]

[DOI]

William Jarrold

John Pacheco

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Design and Implementation of the CALO Query Manager.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

Integration of Heterogeneous Knowledge Sources in the CALO Query Manager.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

2004

Project Halo: Towards a Digital Aristotle.

[BibT_eX]

[DOI]

AI Mag., 2004

Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Question-Answering System for AP Chemistry: Assessing KR&R Technologies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Graph-Based Acquisition of Expressive Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

2003

Enabling domain experts to convey questions to a machine: a modified, template-based approach.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Knowledge Capture (K-CAP 2003), 2003

A Knowledge Acquisition Tool for Course of Action Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Conference on Innovative Applications of Artificial Intelligence, 2003

2002

A Web-Based Ontology Browsing and Editing System.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Knowledge entry as the graphical assembly of components.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), 2001

2000

Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project.

[BibT_eX]

Proceedings of the KR 2000, 2000

Using Prior Knowledge: Problems and Solutions.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

A Collaborative Environment for Authoring Large Knowledge Bases.

[BibT_eX]

[DOI]

Peter D. Karp

Suzanne M. Paley

J. Intell. Inf. Syst., 1999

HIKE (HPKB Integrated Knowledge Environment) - A Query Interface and Integrated Knowledge Environment for HPKB.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Does Prior Knowledge Facilitate the Development of Knowledge-based Systems?

[BibT_eX]

[DOI]

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases.

[BibT_eX]

[DOI]

Alexander Borgida

Martin Staudt

SIGMOD Rec., 1998

Safe Locking Policies for Dynamic Databases.

[BibT_eX]

[DOI]

Vassos Hadzilacos

J. Comput. Syst. Sci., 1998

Knowledge-Intensive Query Processing.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, 1998

OKBC: A Programmatic Foundation for Knowledge Base Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Querying Schema Information.

[BibT_eX]

[DOI]