Humans are often extraordinary at performing practical reasoning. There are cases where
the human computer, slow as it is, is faster than any artificial intelligence system. Are we …

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-
Classical Logics. I put forward the methodology of labelled deductive systems to the …

The last years have seen two major advances in Knowledge Representation and
Reasoning. First, many interesting problems (ranging from Semi-structured Data to …

This thesis introduces the" method of structural refinement", which serves as a means of
transforming the relational semantics of a modal and/or constructive logic into …

We consider two styles of proof calculi for a family of tense logics, presented in a formalism
based on nested sequents. A nested sequent can be seen as a tree of traditional single …

We present the basic framework of a logic of actions and plans defined in terms of modal
logic combined with a notion of dependence. The latter is used as a weak causal connection …

In this article, we develop tableau-based decision procedures for the logics of subinterval
structures over dense linear orderings. In particular, we consider the two difficult cases: the …

Modal logics are amongst the most successful applied logical systems. Neural networks
were proved to be effective learning systems. In this paper, we propose to combine the …

In this paper we describe a generic tableaux system for building models or counter-models
and testing satisfiability of formulas in modal and description logics. This system is called …

We provide a simple translation of the satisfiability problem for regular grammar logics with
converse into GF 2, which is the intersection of the guarded fragment and the 2-variable …