Given an image, we propose a hierarchical generative model that classifies the overall
scene, recognizes and segments each object component, as well as annotates the image …

Institution theory represents the fully axiomatic approach to model theory in which all
components of logical systems are treated fully abstractly by reliance on category theory …

Modern and next generation digital infrastructures are technically based on service oriented
structures, cloud services, and other architectures that compose large systems from smaller …

In this “40 years of formal methods” essay we shall first delineate, Sect. 1, what we mean by
method, formal method, computer science, computing science, software engineering, and …

There is a diversity of ontology languages in use, among them OWL, RDF, OBO, Common
Logic, and F-logic. Related languages such as UML class diagrams, entity-relationship …

We develop an initial study of interpolation for graded consequence relations, which are
many-valued consequence relations that arise in connection to many-valued/fuzzy logics …

We show that manifest domains, an understanding of which are a prerequisite for software
requirements prescriptions, can be precisely described: narrated and formalised. We show …

In his seminal paper on “Types, Abstraction and Parametric Polymorphism,” John Reynolds
called for homomorphisms to be generalized from functions to relations. He reasoned that …

We present a method for analysing and describing domains. By a domain we shall
understand a rationally describable segment of a human assisted reality, ie, of the world, its …

Abstract Traditional (classical) Floyd-Hoare logic is defined for a case of total pre-and
postconditions while programs can be partial. In the chapter we propose to extend this logic …