12 citations found. Retrieving documents...
Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14--21

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Supporting Plan Authoring and Analysis - Kim, Blythe (2003)   (Correct)

....this function such as a way of employing more explainable language. 111 . Providing a focused report: a) old interface (b) The new interface explains why the condition has failed. Figure 3: improving KANAL interface Many of KANAL s checks make use of SHAKEN s background knowledge on actions [1] which include knowledge about general action types (such as Move) and more special knowledge that is needed for checking domain dependent conditions and effects. For example Move in general requires that the object being moved shouldn t be restrained and the objects involved should be known but ....

Barker, K., Clark, P. and Porter, B., A Library of Generic Concepts for Composing Knowledge Bases. Proceedings of 115 the First International Conference on Knowledge Capture (K-CAP-2001.


A Template-Based Approach Toward Acquisition of Logical.. - Hou, Noy, Musen (2002)   (1 citation)  (Correct)

....axioms at a conceptually high level of abstraction. Researchers have applied this idea not only to specifying single axioms but also to specifying sets of axioms. In some cases, a set of axioms represents a complex knowledge base component, such as the description of a physical process [1,2]. In other cases, a set of parameterised axioms represents a new constraint that cannot be directly expressed in the corresponding language [10] As a result, the task of the knowledge base designer is greatly simplified, since all he needs to do is to instantiate a particular pattern rather ....

Barker, K., Clark, P. and Porter, B. A Library of Generic Concepts for Composing Knowledge Bases. In: 1st Int Conf on Knowledge Capture (K-Cap'01). Victoria, BC, 2001.


Project Halo: Towards a Digital Aristotle - Noah Friedland Paul (2004)   Self-citation (Barker Porter Clark)   (Correct)

No context found.

Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14--21


Towards a Quantitative, Platform-Independent.. - Friedland, Allen, .. (2004)   Self-citation (Barker Porter Clark)   (Correct)

No context found.

Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14-21.


Towards a Quantitative, Platform-Independent.. - Friedland, Allen, .. (2004)   Self-citation (Barker Porter Clark)   (Correct)

No context found.

Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14--21.


Project Halo: Towards a Digital Aristotle - Noah Friedland Paul (2004)   Self-citation (Barker Porter Clark)   (Correct)

No context found.

Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14--21


Knowledge Entry as the Graphical Assembly of Components - Clark, Thompson, Barker, .. (2001)   (5 citations)  Self-citation (Barker Porter Clark)   (Correct)

....of first order logic (FOL) axioms about a particular concept, gathered into a single data structure, encoding a coherent description of that concept [5] The user is provided with a pre built library of such components to work with. Creating this library is a separate, major goal of our project [1]) For example, consider a (much simplified) component describing the process of Invasion . It might include axioms stating that: The defending object has some barrier to protect it During an invasion, the invader penetrates that defensive barrier, then enters through it, then takes ....

....agent is a tangible entity etc. Statements such of these are encoded in first order logic in the KB using (in our case) the frame based language KM [6] A simplified example of this notion of invade looks (in KM notation, with examples of equivalent FOL notation as footnotes) [1] The invading agent is a tangible entity ; 2] The subevents of an invasion are a penetrate, an enter, and a take control. 3] During the penetrate, the invader penetrates ; the defensive barrier of the attacked object. 4] The first subevent is a penetrate event ; ....

[Article contains additional citation context not shown here]

K. Barker, B. Porter, and P. Clark. A library of generic concepts for composing knowledge bases. In Proc. 1st Int Conf on Knowledge Capture (K-Cap'01), 2001.


Knowledge Entry as the Graphical Assembly of Components - Clark, Thompson, Barker, .. (2001)   (5 citations)  Self-citation (Barker Porter Clark)   (Correct)

....of first order logic (FOL) axioms about a particular concept, gathered into a single data structure, encoding a coherent description of that concept [5] The user is provided with a pre built library of such components to work with. Creating this library is a separate, major goal of our project [1]) For example, consider a (much simplified) component describing the process of Invasion . It might include axioms stating that: The defending object has some barrier to protect it . During an invasion, the invader penetrates that defensive barrier, then enters through it, then takes ....

....agent is a tangible entity . etc. Statements such of these are encoded in first order logic in the KB using (in our case) the frame based language KM [6] A simplified example of this notion of invade looks (in KM notation, with examples of equivalent FOL notation as footnotes) 1 : [1] The invading agent is a tangible entity ; 2] The subevents of an invasion are a penetrate, an enter, and a take control. 3] During the penetrate, the invader penetrates ; the defensive barrier of the attacked object. 4] The first subevent is a penetrate event ; ....

[Article contains additional citation context not shown here]

K. Barker, B. Porter, and P. Clark. A library of generic concepts for composing knowledge bases. In Proc. 1st Int Conf on Knowledge Capture (K-Cap'01), 2001.


Ontology-Based Discourse Understanding for a Persistent.. - John Niekrasz And (2005)   (Correct)

No context found.

Barker, K.; Porter, B.; and Clark, P. 2001. A library of generic concepts for composing knowledge bases. In Proceedings of the First International Conference on Knowledge Capture.


Meeting Structure Annotation: Data and Tools - Gruenstein, Niekrasz, Purver (2005)   (Correct)

No context found.

Ken Barker, Bruce Porter, and Peter Clark. 2001. A library of generic concepts for composing knowledge bases. In Proceedings of the First International Conference on Knowledge Capture, October 21-23.


A Multimodal Discourse Ontology for Meeting Understanding - Niekrasz, Purver (2005)   (1 citation)  (Correct)

No context found.

Barker, K., Porter, B., Clark, P.: A library of generic concepts for composing knowledge bases. In: Proc. 1st International Conference on Knowledge Capture. (2001)


The SPARK Agent Framework - David Morley Karen (2004)   (1 citation)  (Correct)

No context found.

K. Barker, B. Porter, and P. Clark. A library of generic concepts for composing knowledge bases. In Proc. of the First Int. Conf. on Knowledge Capture (K-Cap'01), 2001.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC