Krypton: A Functional Approach to Knowledge Representation

Authors:
R. J. Brachman;R. E. Fikes;H. J. Levesque
Affiliations:
Fairchild Laboratory for Artificial Intelligence Research;-;-
Venue:
Computer
Year:
1983

Citing 0
Cited 29

A theory for the representation of knowledge

IBM Journal of Research and Development
OKBC: a programmatic foundation for knowledge base interoperability

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A Knowledge-Based Configurator that Supports Sales, Engineering, and Manufacturing at AT&T Network Systems

IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
MEBN: A language for first-order Bayesian knowledge bases

Artificial Intelligence
Knowledge-based user interface design

Human-Computer Interaction
The Ontological Level: Revisiting 30 Years of Knowledge Representation

Conceptual Modeling: Foundations and Applications
A semantics and complete algorithm for subsumption in the classic description logic

Journal of Artificial Intelligence Research
Automated deduction by theory resolution

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A representation for natural category systems

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
On definitional processes in knowledge reconstruction systems

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
The layered architecture of a system for reasoning about programs

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
The restricted language architecture of a hybrid representation system

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Mapping visual to textual knowledge representation

Knowledge-Based Systems
Non-standard inferences in description logics

Non-standard inferences in description logics
Towards a Functional Approach to Modular Ontologies using Institutions

Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Joshua: uniform access to heterogeneous knowledge structures or why joshing is better than conniving or planning

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Semantically sound inheritance for a formally defined frame language with defaults

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Joshua: uniform access to heterogeneous knowledge structures or why joshing is better than conniving or planning

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Semantically sound inheritance for a formally defined frame language with defaults

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
On analytical and similarity-based classification

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
The future of knowledge representation

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Computing least common subsumers in description logics

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
An integrated e-service to support the realization of local agenda 21 plans

MMACTEE'09 Proceedings of the 11th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
The interaction between assertional and terminological knowledge in krypton

PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Small can be beautiful in knowledge representation

PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots

A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
Acquiring Knowledge in Extended Hierarchical Censored Production Rules (EHCPRS) System

International Journal of Artificial Life Research
Towards a Functional Approach to Modular Ontologies Using Institutions

Studia Logica

Quantified Score

Hi-index	4.10

Visualization

Abstract

First Page of the Article