G. Attardi and M. Simi. A formalization of viewpoints. Technical Report TR-93-062, International Computer Science Institute, University of California, Berkeley, CA, 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....theories of truth, they are not needed for describing states of affairs which hold in particular contexts. Therefore, the loss of expressive power due to lack of self referential formulas will not be missed in our logic. The latter approach, of reifying formulas, is taken by Attardi and Simi in [1]. We further discuss their work in and its relation to our system in [3] 2.2 Semantics To explain the semantics we first introduces a naive notion of a model, which is then refined in two stages. Naively, a context is modelled by a set of truth assignments, that describe the possible states of ....

Giuseppe Attardi and Maria Simi. A formalization of viewpoints. Technical Report TR-93-062, International Computer Science Institute, Berkeley, California 947041105, 1993.

....theories of truth, they are not needed for describing states of affairs which hold in particular contexts. Therefore, the loss of expressive power due to lack of selfreferential formulas will not be missed in our logic. The latter approach, of reifying formulas, is taken by Attardi and Simi in [1]. We further discuss their work in x7. 2.2 Semantics We begin with a system which makes as few semantic restrictions as possible. Other systems, defined in section x3, are obtained by placing restrictions on the models. To explain the semantics we first introduces a naive notion of a model, which ....

....allow formulas in one context to be inferred based on facts derived in another context. Giunchiglia s research emphasizes a proof theoretic approach. Although never made precise, his semantics seems to have a strong procedural flavor. Attardi and Simi s motivation for the theory of viewpoints, [1], is similar to those of contexts. However, their formalization differs from ours in a number of ways. They have a syntactic approach to modality. This means that rather then introducing a modal operator, they extend the ontology by introducing names of sentences as first class objects. Thus their ....

Giuseppe Attardi and Maria Simi. A formalization of viewpoints. Technical Report TR-93-062, International Computer Science Institute, Berkeley, California 947041105, 1993.

....copying collector. The report alsoimo BB possibility toimB HD t other concurrent collectors. Their interfaceresem bles ours but heavy dependence on the EVMim OD w tationmt es it di#cult toaccomB date their work to otherprogram3# language imguage tations. Customisable memory manager (CMM)[1] is an API o#ered to the C application program O toimA3BAB t application specific mific mific B#O t system Acustom mstom mstom # t capability can be added to the existing C class via inheritance. In this way, CMM provides for a way tocustomA a m3# m3# # t in a per class basis. Though ....

Giuseppe Attardi and Tito Flagella. A customisable memory managementfL3jA work. Technical Report TR-94-010, International Computer Science Institute, Berkeley, 1994.

No context found.

Attardi G., M. Simi, A formalisation of viewpoints, TR-93-062, International Computer Science Institute, Berkeley, 1993.

No context found.

G. Attardi and M. Simi. A formalization of viewpoints. Technical Report TR-93-062, International Computer Science Institute, University of California, Berkeley, CA, 1993.

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