Understanding quantified categorical expressions
نویسندگان
چکیده
منابع مشابه
Generating Referring Quantified Expressions
In this paper, we describe how quantifiers can be generated in a text generation system. By taking advantage of discourse and ontological information, quantified expressions can replace entities in a text, making the text more fluent and concise. In addition to avoiding ambiguities between distributive and collective readings in universal quantification generation, we will also show how differe...
متن کاملOptimising Quantified Expressions in Constraint Models
One of the key difficulties in Constraint Modeling lies in formulating an effective constraint model of an input problem for input to a constraint solver: many different models exist for a given problem and it is often difficult even for experts to determine the model which is solved most effectively by a constraint solver. In recent years, solver-independent modelling languages (MLs) have beco...
متن کاملExecuting Quantified Expressions in the JML Run
Modern software development projects are extremely complex and often involve millions of lines of code. Using the Java Modeling Language (JML) can substantially reduce bugs and errors in software implemented in Java. The JML tool from Iowa State has many features, including static checking and run-time assertion checking of preconditions. However, the runtime assertion checking lacks the abilit...
متن کاملCategorical Perception of Morphed Facial Expressions
Using computer-generated line-drawings, Etcoff and Magee (1992) found evidence of categorical perception of facial expressions. We report four experiments that replicated and extended Etcoff and Magee’s findings with photographic-quality stimuli. Experiments 1 and 2 measured identification of the individual stimuli falling along particular expression continua (e.g. from happiness to sadness) an...
متن کاملAn Algebraic Preservation Theorem for א0-categorical Quantified Constraint Satisfaction
We prove an algebraic preservation theorem for positive Horn definability in א0-categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of a structure to be a homomorphism from the periodic power of the structure to the structure itself. Our preservation theorem states that, over an א0-categorical stru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memory & Cognition
سال: 1980
ISSN: 0090-502X,1532-5946
DOI: 10.3758/bf03211141