In view of the growing prominence of corporate modeling, an important area of research concerns techniques for facilitating the design and utilization of models. In this paper we show how first-order ...

Work on expressing Alloy models in first-order predicate calculus. The Alloy modeling language (see http://alloytools.org/) and the Alloy Analyzer are extremely ...

Abstract: We discuss the development of executable programs from state-based specifications written in the language of first-order predicate calculus. Notable examples of such specifications are those ...

Abstract: Social computing needs a capability to reason with qualitatively fuzzy relations and analogy if it is to be capable of pattern matching using commonsense reasoning. The paper proper begins ...