We continue the investigations begun in [10]. We shall define a semantics that is build on a new notion of frame, called coherence frames. In these frames, objects are transcendental (world–independent), as in the standard constant–domain semantics. This will remove the asymmetry between constants and variables of the counterpart semantics of [10]. We demonstrate the completeness of (general) c...

A term in one language rarely has an absolute synonymous meaning in the same language; besides, it rarely has an equivalent meaning in an L2. English synonyms of seeing and hearing are particularly grammatically and semantically different. Frame semantics is a good tool for discovering differences between synonymous words in L2 and differences between supposed L1 and L2 equivalents. Vocabulary ...

A characteristic shared by most approaches to natural language understanding and generation is the use of symbolic representations of word and sentence meanings. Frames and semantic nets are two popular current approaches. Symbolic methods alone are inadequate for applications such as conversational robotics that require natural language semantics to be linked to perception and motor control. T...

An integrated framework for automatic extraction of the most characteristic frames or scenes of a video sequence is presented in this paper. This is accomplished by extracting a collection of a small number of frames or scenes that provide sufficient information about the video sequence. The scene/frame selection mechanism is based on a transformation from the image to a feature domain, which i...

Possibility semantics. Possibility semantics for modal logic is a generalization of standard Kripke semantics. In this semantics, a possibility frame has a refinement relation which is a partial order between states, in addition to the accessibility relation for modalities. From an algebraic perspective, full possibility frames are dually equivalent to complete Boolean algebras with complete op...

Separation logic is a concise method for specifying programs that manipulatedynamically allocated storage. Partially inspired by separation logic, Implicit DynamicFrames has recently been proposed, aiming at first-order tool support. In this paper,we precisely connect the semantics of these two logics. We define a logic whose syntaxsubsumes both that of a standard separation log...

We demonstrate significant improvement on the MCTest question answering task (Richardson et al., 2013) by augmenting baseline features with features based on syntax, frame semantics, coreference, and word embeddings, and combining them in a max-margin learning framework. We achieve the best results we are aware of on this dataset, outperforming concurrentlypublished results. These results demon...

As mentioned in Sec. 3 of the main paper, we use registered depth frames of 62 different real-world scenes collected from Analysis-by-Synthesis [6], 7-Scenes [5], SUN3D [7], RGB-D Scenes v.2 [4], and Halber et al. [3], with 54 scenes for training and 8 scenes for testing. For selected scenes of the SUN3D dataset, we use the method from Halber et al. to estimate camera poses. For the precise tra...

Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic. In [4] it is shown that the theory of relational semantics is also available in the more general setting of substructural logic, at least in an algebraic guise. Building on these ideas, in [5] a type of frames is described which generalize Kripke frames and provide semantics for ...

Conditional logic is a sub-discipline of philosophical logic. It aims to provide an alternative account of conditionals in contrast to the traditional material implication analysis. The present thesis focuses on a specific possible worlds semantics for conditional logics, the Chellas-Segerberg (CS) semantics (Chellas, 1975; Segerberg, 1989), which has not been widely investigated, save by Nejdl...