The DARPA Knowledge Sharing Effort: Progress Report

The DARPA Knowledge Sharing Effort: Progress Report (1998)

Cached

Download Links

by Ramesh Patil , Don Mckay , Tim Finin , Richard Fikes , Thomas Gruber , Peter F. Patel-Schneider , Robert Neches

Venue:	PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR92
Citations:	100 - 11 self

BibTeX

@INPROCEEDINGS{Patil98thedarpa,
    author = {Ramesh Patil and Don Mckay and Tim Finin and Richard Fikes and Thomas Gruber and Peter F. Patel-Schneider and Robert Neches},
    title = {The DARPA Knowledge Sharing Effort: Progress Report},
    booktitle = {PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR92},
    year = {1998},
    pages = {777--788},
    publisher = {Morgan Kaufman}
}

Bookmark

OpenURL

Abstract

Citations

452	gIBIS: A hypertext tooling for exploratory policy discussion - Conklin, Begeman
364	Knowledge Interchange Format Version 3 Reference Manual - Genesereth, Fikes - 1992
327	CLASSIC: A Structural Data Model for Objects - Borgida, Brachman, et al. - 1989
254	W.R.: Enabling Technology for Knowledge Sharing - Neches, Fikes, et al. - 1991
219	The complexity of concept languages - Donini, Lenzerini, et al. - 1997
216	in Living with CLASSIC: When and How to Use a KL-ONE-like Language - Brachman, McGuiness, et al. - 1990
195	Compositional modeling: Finding the right model for the job - Falkenhainer, Forbus - 1991
195	Ontolingua: A Mechanism to Support Portable Ontologies - Gruber - 1991
167	The tractability of subsumption in frame-based description languages - Brachman, Levesque - 1984
136	Terminological reasoning is inherently intractable - Nebel - 1990
127	PACT: An experiment in integrating concurrent engineering systems - Cutkosky, Engelmore, et al. - 1993
117	Knowledge Interchange Format - Genesereth, Fikes - 1992
103	The role of a common ontology in achieving sharable, reusable knowledge bases - Gruber - 1991
93	Terminological cycles: Semantics and computational properties. In: Principles of Semantic Networks - Nebel - 1991
82	Multistage negotiation in distributed planning - Conry, Meyer, et al. - 1988
64	A formal study of distributed meeting scheduling - Sen, Durfee - 1998
49	An Organizational Framework for Cooperative Intelligent - Papazoglou - 1992
46	Terminological knowledge representation: a proposal for a terminological logic - Baader, Burckert, et al. - 1990
44	An overview of kqml: A knowledge query and manipulation language - Chalupsky, Finin, et al. - 1992
41	Undecidability of subsumption in NIKL - Patel-Schneider - 1989
34	A language and protocol to support intelligent agent interoperability - Finin, Fritzson, et al. - 1992
23	Knowledge Sharing Technology Project Overview - Fikes, Cutkosky, et al. - 1991
15	View-concepts: Knowledge-based access to databases - Pastor, McKay, et al. - 1992
14	Upper Modeling: A General Organization of Knowledge for Natural Language - Bateman - 1990
13	The intelligent database interface - McKay, Finin, et al. - 1990
13	Overcoming the limitations of role-limiting methods - Musen - 1992
7	A DAI communication aide - Huhns, Bridgeland, et al. - 1990
4	An overview of KQML: A knowledge query and manipulation language - al - 1992
4	DARPA/Rolm Laboratory Planning and Scheduling Initiative, Knowledge Representation Speci cation Language: KRSL Version 2.0. Language speci cation and manual - Lehrer - 1992
3	PACT: An experiment inintegrating concurrent engineering systems - Cutkosky, Engelmore, et al. - 1993
3	Backtalk: A generalized dynamic communication system for DAI - Sayre, Gray - 1991
2	Knowledge Representation and Inference System\|system description. Technical Memo TM-90-13, Deutsches Forschungszentrum fur Kunstliche Intelligenz - KRIS - 1990
2	The BACK system revisited. KIT-Report 75 - Peltason, Schmiedel, et al. - 1989
2	The complexity ofconcept languages - Donini, Lenzerini, et al. - 1991
1	Hans-Jurgen Pro tlich. Terminological knowledge representation: A proposal for a terminological logic. A DFKI note - Baader, Burckert, et al. - 1991
1	Je rey Van Baalen. Knowledge sharing technology project overview - Fikes, Cutkosky, et al. - 1991
1	A language and protocol to support intelligent agent interoperability - al - 1992
1	Loom users manual. Working - MacGregor - 1990