In his classic paper on frame semantics, Charles Fillmore says that it comes from traditions of empirical semantics rather than formal semantics. In this paper we will try to draw a closer connection between empirical and formal semantics and suggest that a notion of frame closely related to that found in FrameNet can be usefully exploited in formal semantics based on a particular type theory w...

there are different processes to form new words in every language, including compounding, derivation, inflection, etc. in compounding, two lexical stems form a compound. in derivation and inflection, new words are coined by affixation or some phonetic changes. this kind of affixation is applied on the simple or compound stem. here our compound stem is a bound compound stem, consisting of a noun...

FrameNet Project is being developed by ICSI at Berkeley, with the goal of documenting the English language lexicon based on Frame Semantics. For Brazilian Portuguese, the FrameNet-Br Project, hosted at UFJF, follows the same theoretical and methodological perspective. This work presents a service-based infrastructure that combines Semantic Web technologies with FrameNet-like databases, by consi...

In this paper we investigate minimal semantics for Propositional Dynamic Logic formulas. The goal is to be able to write action speciications in a declarative pre/post-condition style. The declarative speciication of actions comes with some well known problems: the frame problem, the qualiication problem and the ram-iication problem. We incorporate the assumptions that are inherent to both the ...

In this paper we investigate preferential semantics for declarative speciications in a First Order Modal Action Logic. We address some well known problems: the frame problem, the qualiication problem and the ramiication problem. We incorporate the assumptions that are inherent to both the frame and qualiication problem into the semantics of the modal Action Logic by deening orderings over Dynam...

We propose a robust method of automatically constructing a bilingual word sense dictionary from readily available monolingual ontologies by using estimation-maximization, without any annotated training data or manual tuning. We demonstrate our method on the English FrameNet and Chinese HowNet structures. Owing to the robustness of EM iterations in improving translation likelihoods, our word sen...

This paper explores models for arithmetics in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent. We will start to fill in the picture in this paper by examining frame semantics for the substructural logics C (linear logic plus distribution), R (relevant logic) and CK (C plus weakening). The eventual goal is to find ...