We present an extension of Alternating-time Temporal Logic ATL, called ATLP (Parametric ATL), where parameters are allowed in place of concrete groups of agents. We devise a procedure to find all instantiations for the parameters in a given formula φ of ATLP so that φ is true in a given model. We propose a formalisation of the problem and symbolic algorithms for its solution. We discuss an expe...

Mappings in most federated databases are conceptualized and implemented as black-box transformations between source schemas and a federated schema. This approach does not allow specific mappings to be declared once and reused in other situations. We present an alternative approach, in which data-level mappings are represented independent of source and federated schemas as a network between “con...

For several decades, production systems have been the dominant framework in which (primarily) symbolic cognitive models have been developed. This paper proposes a different approach, cognitive code, in which behavioral models are developed directly in a modern programming language. However, unlike standard code, cognitive code has simulated timing and error characteristics intended to mimic tho...

In this paper the advantages of verification and validation to support changes of an existing PLC program are shown. The controller is defined using Signal Interpreted Petri Nets (SIPN) and verification and validation are performed using symbolic model-checking. The main focus of this paper is to show the process and the benefits of verification and validation for the reliability of the control...

There are many different notations that can define relationships between sets, some of which are diagrammatic and others symbolic. Even when a notation is selected, there are choices to be made between semantically equivalent, yet syntactically different, statements. Syntactic choices include variations in both abstract syntax and concrete syntax where graphical and topological properties can d...

During recent decades social theory has struggled with the attempt to overcome both subjectivist and structuralist conceptions. In this effort, actors have been understood to construct social reality through their practices. Thus, social practices are socially constructed at the same time. Neither subjects nor objects existed prior to this work of construction; the nature of reality is therefor...

Symbolic integration deals with the evaluation of integrals in closed form. We present an overview of Risch’s algorithm including recent developments. The algorithms discussed are suited for both indefinite and definite integration. They can also be used to compute linear relations among integrals and to find identities for special functions given by parameter integrals. The aim of this present...

Automated individual tree crown (ITC) delineation plays an important role in forest remote sensing. Accurate ITC benefits biomass estimation, allometry and species classification among other related tasks, all of which are used to monitor health make decisions management. In this paper, we introduce Neuro-Symbolic DeepForest, a convolutional neural network (CNN) based algorithm that uses neuro-...

We have recently shown that symbolic execution together with the implicit path enumeration technique can successfully be applied in the Worst-Case Execution Time (WCET) analysis of programs. Symbolic execution offers a precise framework for program analysis and tracks complex program properties by analyzing single program paths in isolation. This path-wise program exploration of symbolic execut...