Results 1 - 10 of 1,199

Knowledge Interchange Format Version 3.0 Reference Manual

by Michael Genesereth, Richard E. Fikes, Ronald Brachman, Thomas Gruber, Patrick Hayes, Reed Letsinger, Vladimir Lifschitz, Robert Macgregor, John Mccarthy, Peter Norvig, Ramesh Patil , 1992
"... : Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); ..."
Abstract - Cited by 484 (14 self) - Add to MetaCart
: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions

Towards an argument interchange format

by Carlos Chesnevar, Jarred McGinnis, Sanjay Modgil, Iyad Rahwan, Chris Reed, Guillermo Simari, Matthew South, Gerard Vreeswijk, Steven Willmott
"... The theory of argumentation is a rich, interdisciplinary area of research straddling the fields of artificial intelligence, philosophy, communication studies, linguistics and psychology. In the last few years, significant progress has been made in understanding the theoretical properties of differen ..."
Abstract - Cited by 74 (17 self) - Add to MetaCart
of different argumentation logics. However, one major barrier to the development and practical deployment of argumentation systems is the lack of a shared, agreed notation or ‘interchange format’ for argumentation and arguments. In this paper, we describe a draft specification for an argument interchange

INTERCHANGE FORMATS FOR SPATIAL AUDIO

by Stephen Travis Pope
"... Space has been a central parameter in electroacoustic music composition and performance since its origins. Nevertheless, the design of a standardized interchange format for spatial audio performances is a complex task that poses a diverse set of constraints and problems. This position paper attempts ..."
Abstract - Add to MetaCart
Space has been a central parameter in electroacoustic music composition and performance since its origins. Nevertheless, the design of a standardized interchange format for spatial audio performances is a complex task that poses a diverse set of constraints and problems. This position paper

Modularity in the Rule Interchange Format

by C. V. Damásio, A. Analyti, G. Antoniou
"... Abstract. The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason, ..."
Abstract - Add to MetaCart
Abstract. The adoption of standards by the knowledge representation and logic programming communities is essential for their visibility and impact. The Rule Interchange Format is a fundamental effort in this direction that should be supported by users, developers and theoreticians. For this reason

On the Design of Multimedia Interchange Formats

by John Koegel - In: Proceedings of the 3rd International Workshop on Network and Operating System Support for Digital Audio and Video , 1992
"... Although it is generally believed that a standard interchange format will play a crucial role in the growth of the multimedia application market, different proposals currently being developed have divergent models and each appears to have primarily evolved using an experimental methodology. In this ..."
Abstract - Cited by 9 (1 self) - Add to MetaCart
Although it is generally believed that a standard interchange format will play a crucial role in the growth of the multimedia application market, different proposals currently being developed have divergent models and each appears to have primarily evolved using an experimental methodology

The Process Interchange Format and Framework

by M I Chael Grun Inger, Yan J I N, Thomas Malone
"... This document provides the specification of the Process Interchange Format (PIF) version 1.2. The goal of this work is to develop an interchange format to help automatically exchange process descriptions among a wide variety of business process modelling and support systems such as workflow software ..."
Abstract - Add to MetaCart
This document provides the specification of the Process Interchange Format (PIF) version 1.2. The goal of this work is to develop an interchange format to help automatically exchange process descriptions among a wide variety of business process modelling and support systems such as workflow

Rule Interchange Format: The Framework

by Michael Kifer
"... Abstract. The Rule Interchange Format (RIF) is an activity within the World Wide Web Consortium aimed at developing a Web standard for exchanging rules. The need for rule-based information processing on the Semantic Web has been felt ever since RDF was introduced in the late 90’s. As ontology develo ..."
Abstract - Cited by 17 (0 self) - Add to MetaCart
Abstract. The Rule Interchange Format (RIF) is an activity within the World Wide Web Consortium aimed at developing a Web standard for exchanging rules. The need for rule-based information processing on the Semantic Web has been felt ever since RDF was introduced in the late 90’s. As ontology

A Semantics for the Knowledge Interchange Format

by Patrick Hayes, Christopher Menzel - In IJCAI 2001 Workshop on the IEEE Standard Upper Ontology , 2001
"... We give a precise semantics for a proposed revised version of the Knowledge Interchange Format. We show that quantification over relations is possible in a first-order logic, but sequence variables take the language beyond first-order. ..."
Abstract - Cited by 36 (0 self) - Add to MetaCart
We give a precise semantics for a proposed revised version of the Knowledge Interchange Format. We show that quantification over relations is possible in a first-order logic, but sequence variables take the language beyond first-order.

A Survey on Design Criteria for Interchange Formats

by Jan Mendling , 2004
"... This paper describes interchange formats as an important subject of standardization. ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
This paper describes interchange formats as an important subject of standardization.

Knowledge Interchange Format: The KIF of Death

by Matthew L. Ginsberg - AI Magazine , 1991
"... There has been a good deal of discussion recently about the possibility of standardizing knowledge representation efforts, including the development of an interlingua, or KIF (knowledge interchange format) that would allow developers of declarative knowledge to share their results with other AI rese ..."
Abstract - Cited by 34 (0 self) - Add to MetaCart
There has been a good deal of discussion recently about the possibility of standardizing knowledge representation efforts, including the development of an interlingua, or KIF (knowledge interchange format) that would allow developers of declarative knowledge to share their results with other AI
Results 1 - 10 of 1,199