In this paper we define a model, namely the recursive ECATNets (Recatnets) based on a sound combination of Extended Concurrent Algebraic Term nets and Recursive Petri nets, allowing a concise modeling of dynamic reconfiguration mechanisms of flexible workflow processes. The descriptive power of Recatnes is well-suited for collaborative workflows modeling. Moreover the use of model checking tech...

This paper carries out a descriptive study on Portuguese adjectives. Our aim is to describe the semantics of the legal domain adjectives in order to construct an ontology which may improve Information Retrieval Systems. For this, we present an approach based on valency and semantic relations. The ontology proposed here is a first step aiming to build a legal ontology based on top-level concepts.

Events in natural language semantics, conceived as strings of observations, are extracted from formulas of linear temporal logic, and collected in regular languages. Infinite strings of sets of atomic formulas (fully specifying truth) are truncated and partialized, in line with the bounded temporal extent and descriptive content of events. Branching from that line, counterfactual events are ana...

We close the gap in complexity classification of the subsumption problem in the simple description logic FL0, which allows for conjunctions and universal value restriction only. We prove that subsumption in FL0 is PSPACE-complete when cyclic definitions with descriptive semantics are allowed. Our proof uses automata theory and as a by-product the PSPACE-completeness of a certain decision proble...

New automatic theorem proving (ATP) techniques for application in control syst~nR and artificial intelligence is proposed. We consider new logical languages in descrip~ive and constructive semantics. These languages censist of 1-st c~der fc~muins with type quantifie~s. We de’he logical calculi of classical and intuitionistic types as well as strategies of automated reasoning. In. formation on r...

This paper investigates how linguistic knowledge mined from large text corpora can aid the generation of natural language descriptions of videos. Specifically, we integrate both a neural language model and distributional semantics trained on large text corpora into a recent LSTM-based architecture for video description. We evaluate our approach on a collection of Youtube videos as well as two l...

We describe a new approach for the speciication of the static semantics for typed programming languages. Name and scope rules are speciied operational by a Abstract State Machines, constraints on types are deened descriptive by rst order formulas. In particular, we show how overloading, subtype-polymorphism, and genericity can be handled. We deene the notion of correctness of a program wrt. suc...

Foreword This technical report contains a research paper, development or tutorial article, which has been submitted for publication in a journal or for consideration by the commissioning organization. The report represents the ideas of its author, and should not be taken as the official views of the School or the University. Any discussion of the content of the report should be sent to the auth...

In this paper we develop a computational framework for the measurement of different factors or abilities which are usually found in intelligent behaviours. For this, we first develop a scale for measuring the complexity of an instance of a problem, depending on the descriptional complexity (Levin LT variant) of the ‘explanation’ of the answer to the problem. We centre on the establishment of ei...