Quantified Boolean logic results from adding operators to for existentially and universally quantifying variables. This extends the reach of by enabling a variety applications that have been explored over decades. The existential quantification literals (variable states) its also studied in literature. In this paper, we complement studying universal literal applications, particularly explainabl...

In this paper we recast the formalism of argumentation formalismknownasDeLP (DefeasibleLogicProgramming) in game-theoretic terms. By considering a game between a Proponent and an Opponent, in which they present arguments for and against each literal we obtain a bigger gamut of truth values for those literals and their negations as they are defended and attacked. An important role in the determi...

In this paper we propose and describe a framework for evaluating and diagnosing the understanding component of a spoken dialog system which can be applied to both literal and contextual understanding. We have observed in a previous experiment that contextual understanding performance is strongly correlated to the user satisfaction. The framework uses a glassbox approach to diagnose the interpre...

We propose a novel unsupervised approach for distinguishing literal and non-literal use of idiomatic expressions. Our model combines an unsupervised and a supervised classifier. The former bases its decision on the cohesive structure of the context and labels training data for the latter, which can then take a larger feature space into account. We show that a combination of both classifiers lea...

2 Language Tutorial 4 2.1 Installation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Compiling a MiniMat source program . . . . . . . . . . . . . . . . . . . . . . 4 2.3 Tutorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.3.1 Defining a matrix literal . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3.2 Matrix size attrib...