This paper provides an overview of the use of Prolog and its derivatives to sustain research and development in the fields of bioinformatics and computational biology. A number of applications in this domain have been enabled by the declarative …
In this chapter, the authors discuss a number of formal tools collectively driving them to Hybrid Automata. Automata have a long and rich history in computer science, and they have been used in a variety of ways to render (formally) many basic and …
Multi-channel contact centers are an increasingly important component of today's business world. They serve as a primary customer-facing channel for firms in many different industries, and employ millions of operators across the globe. During their …
The understanding of biological systems and processes requires the development of dynamical models characterized by nonlinear laws and often intricate regulation architectures. Differential and difference equations are common formalisms to …
This chapter provides a broad overview of howlogic programming, and more specifically Answer Set Programming (ASP), can be used to model and solve some popular and challenging classes of problems in the general domain of bioinformatics. In …
We introduce loose graph simulations (LGS), a new notion about labelled graphs which subsumes in an intuitive and natural way subgraph isomorphism (SGI), regular language pattern matching (RLPM) and graph simulation (GS). Being a unification of all …