Results 1  10
of
1,154,325
Notes On Formalizing Context
, 1993
"... These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizat ..."
Abstract

Cited by 420 (9 self)
 Add to MetaCart
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit
Formalizing Context (Expanded Notes)
, 1995
"... this article was going through many versions as the ideas developed, and the mutual influences cannot be specified. This work was partly supported by DARPA contract NAG2703 and ARPA/ONR grant N000149410775 ..."
Abstract

Cited by 122 (5 self)
 Add to MetaCart
this article was going through many versions as the ideas developed, and the mutual influences cannot be specified. This work was partly supported by DARPA contract NAG2703 and ARPA/ONR grant N000149410775
Steps Toward Formalizing Context
 AI Magazine
, 1996
"... I wish honorable gentlemen would have the fairness to give the entire context of what I did say, and not pick out detached words. (Cobden, Speeches 46, 1849, quoted intheOED) The importance of contextual reasoning is emphasized by various researchers in AI. ..."
Abstract

Cited by 84 (5 self)
 Add to MetaCart
I wish honorable gentlemen would have the fairness to give the entire context of what I did say, and not pick out detached words. (Cobden, Speeches 46, 1849, quoted intheOED) The importance of contextual reasoning is emphasized by various researchers in AI.
The Scaffolding of a Formal Context
"... Abstract. The scaffolding of a complete lattice L of finite length was introduced by Rudolf Wille in 1976 as a relative subsemilattice of L that can be constructed using subdirect decomposition. The lattice is uniquely defined by its scaffolding and can be reconstructed from it. Using bonds, we demo ..."
Abstract
 Add to MetaCart
demonstrate how the scaffolding can be constructed from a given formal context and thereby extend the notion of the scaffolding to doubly founded lattices. Further, we explain the creation of a suitable graphical representation of the scaffolding from the context. Key words: scaffolding, subcontext, bond
Notes On Formalizing Context
, 1993
"... These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axio ..."
Abstract
 Add to MetaCart
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit
NOTES ON FORMALIZING CONTEXT *
"... These notes discuss formalizing contexts as first class objects. The basic relation is ist(c,p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizati ..."
Abstract
 Add to MetaCart
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c,p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit
Formal context for cryptographic models
, 2000
"... To clarify what is involved in linking models to instruments, we adapt quantum mechanics to define models that display explicitly the points at which they can be linked to statistics of results of the use of instruments. Extending an earlier proof that linking models to instruments takes guesswork, ..."
Abstract
 Add to MetaCart
To clarify what is involved in linking models to instruments, we adapt quantum mechanics to define models that display explicitly the points at which they can be linked to statistics of results of the use of instruments. Extending an earlier proof that linking models to instruments takes guesswork, we show: Any model of cryptographic instruments can be enveloped, nonuniquely, by another model that expresses conditions of instruments that must be met if the first model is to fit a set of measured outcomes. As a result, model α of key distribution can be enveloped in various ways to reveal alternative models that Eve can try to implement, in conflict with model α and its promise of security. A different enveloping model can help Alice and Bob by expressing necessities of synchronization that they manipulate to improve their detection of eavesdropping. Finally we show that models based on prequantum physics are also open to envelopment.
Relation Algebra Operations on Formal Contexts
"... www.upriss.org.uk Abstract. This paper discusses the use of relation algebra operations on formal contexts. These operations are a generalisation of some of the context operations that are described in the standard FCA textbook (Ganter & Wille, 1999). This paper extends previous research in this ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
www.upriss.org.uk Abstract. This paper discusses the use of relation algebra operations on formal contexts. These operations are a generalisation of some of the context operations that are described in the standard FCA textbook (Ganter & Wille, 1999). This paper extends previous research
Formal Ontology and Information Systems
, 1998
"... Research on ontology is becoming increasingly widespread in the computer science community, and its importance is being recognized in a multiplicity of research fields and application areas, including knowledge engineering, database design and integration, information retrieval and extraction. We sh ..."
Abstract

Cited by 878 (11 self)
 Add to MetaCart
Research on ontology is becoming increasingly widespread in the computer science community, and its importance is being recognized in a multiplicity of research fields and application areas, including knowledge engineering, database design and integration, information retrieval and extraction. We shall use the generic term information systems, in its broadest sense, to collectively refer to these application perspectives. We argue in this paper that socalled ontologies present their own methodological and architectural peculiarities: on the methodological side, their main peculiarity is the adoption of a highly interdisciplinary approach, while on the architectural side the most interesting aspect is the centrality of the role they can play in an information system, leading to the perspective of ontologydriven information systems.
Results 1  10
of
1,154,325