Normal Form Nested (NFN ) programs have recently been introduced in order to allow for enriching the syntax of disjunctive logic programs under the answer sets semantics. In particular, heads of rules can be disjunctions of conjunctions, while bodies can be conjunctions of disjunctions. Different to many other proposals of this kind, NFN programs may contain variables, and a notion of safety ha...

The purpose of this paper is to describe an investigation into an ontology-based computational recognition of children’s jokes. While humor has been studied for centuries, computational humor has received very little attention. This may in part be due to the difficulty of the task: at the very least, it requires formal methods for humor generation/recognition and ‘‘being able to produce/interpr...

We all know that conflict creates displacement. Life becomes untenable in different ways, and people are forced to move; the majority ending up as internally displaced within nation-state, while others wind refugee camps neighboring countries, a very few seek asylum faraway places. The recent war Ukraine Syria since 2011 seemingly fit into this classical conception of why how displaced. Sudden ...

Let A \mathfrak A be a type 1 subdiagonal algebra in alttex...

Numerical simulations involving multiple, physically different domains can be solved effectively by coupling simulation programs, or solvers. The coordination of the different solvers is commonly handled by a coupling shell. A coupling shell synchronizes the execution of the solvers and handles the transfer of data from one physical domain to another. In this paper, we introduce Flecs, a flexib...

A common problem of CSCL (Computer-Supported Cooperative Learning) is addressed: How can we coordinate goal-directed, effective interaction in a group of learners? We introduce the concept of learning protocols which originates in script theory. We then discuss which dimensions of cooperative learning can be supported by learning protocols and propose how learning protocols can be integrated in...