Abstract In this paper, we analyze the physical puzzle IcoSoKu, a game about placing some given triangular tiles on faces of an icosahedron in order to fill capacities its vertices, and propose generalization called 3coSoKu, admitting arbitrary playing field with faces, set tiles. First, prove strong NP-completeness even when is convex polyhedron equilateral triangles as faces. Second, encode 3...

Declarative variables of self-description have a long-standing tradition in matchmaking media. With the advent online dating platforms and their brand positioning, volume semantics vary greatly across apps. However, variable landscape multiple platforms, providing an in-depth understanding structure offered to users, has hitherto been absent literature. In this study, more than 300 declarative ...

The area of declarative data analytics explores the application paradigm on science and machine learning. It proposes languages for expressing analysis tasks develops systems which optimize programs written in those languages. execution engine can be either centralized or distributed, as advocates independence from particular physical implementations. survey a wide range frameworks by examining...

We put forward Answer Set Programming (ASP) as a solution approach for three classical problems in Declarative Process Mining: Log Generation, Query Checking, and Conformance Checking. These correspond to different ways of analyzing business processes under execution, starting from sequences recorded events, a.k.a. event logs. tackle them their data-aware variant, i.e., by considering events th...