Our goal is to integrate the paradigms of object-oriented structuring and of rule-based speciications for databases. In this paper, we consider hierarchical spec-iications of objects and object types with attributes deened by logical rules, and we explain their local (single object) semantics as well as their composite (object society) semantics. In order to allow inheritance with exceptions (o...

In this paper I implement the core of an event semantics for LFG using the resource-logic semantic framework of Dalrymple et al. (1997). The interaction of event variables with tense, aspect, adverbs, and quantified NPs is explored. The particular analysis given here is motivated by certain problems and results from categorial grammar treatments. 1 Event semantics in categorial grammar Followin...

Suppose we have a feature system, and we wish to add default values in a well-deened way. We might start with Kasper-Rounds logic, and use Reiter's example to form it into a default logic. Giving a node a default value would be equivalent to saying \if it is consistent for this node to have that value, then it does." Then we could use default theories to describe feature structures. The particu...

We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic type system for the π-calculus, which may be instantiated for specific notions of typing by extension with adequate subtyping principles. Soundness of our type system is established using a logical predicate technique, ...

Referential actions rac s are specialized triggers used to au tomatically maintain referential integrity While their local e ects can be grasped easily it is far from obvious what the global semantics of a set RA of interacting rac s should be To capture the intended meaning of RA we rst present an abstract non constructive semantics By formal izing RA as a logic program PRA a constructive sema...

Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of programs using SOS rules. But it does not ensure deterministic executions for all programs and all inputs. As non-deterministic programs have to be rejected...

Our goal is to integrate the paradigms of object-oriented structuring and of rule-based specifications for databases. In this paper, we consider hierarchical specifications of objects and object types with attributes defined by logical rules, and we explain their local (single object) semantics as well as their composite (object society) semantics. In order to allow inheritance with exceptions ...

Tree-structured recursive neural networks (TreeRNNs) for sentence meaning have been successful for many applications, but it remains an open question whether the fixed-length representations that they learn can support tasks as demanding as logical deduction. We pursue this question by evaluating whether two such models— plain TreeRNNs and tree-structured neural tensor networks (TreeRNTNs)—can ...

Proving that two programs are contextually equivalent is notoriously hard, particularly for functional languages with references (i.e., local states). Many operational techniques have been designed to prove such equivalences, and fully abstract denotational model, using game semantics, have been built for such languages. In this work, we marry ideas coming from trace semantics, an operational v...