Abstract This study compares standard negation in the indigenous languages of South America to rest world. We show that American not only prefer postverbal preverbal and negative morphology syntax, but morphological any other strategy. The predominance this strategy makes distinct from macro-areas. also considers areal distribution on continent. It shows strategies each have their own concentra...

Modern explanatory ILP methods like Progol, Residue procedure, CF-induction, HAIL and Imparo use the principle of Inverse Entailment (IE). It is based on the fact that the negation of a hypothesis is derived from a prior background theory and the negation of examples. IE-based methods commonly compute a hypothesis in two steps: by first constructing an intermediate theory and next by generalizi...

The current paper presents an approach for analyzing the Electronic Health Records (EHRs) with the goal of automatically identifying morphologic negation such that swapping the truth values of concepts introduced by negation does not interfere with understanding the medical discourse. To identify morphologic negation we propose the RoPreNex strategy that represents the adaptation of our PreNex ...

Abstract Given a specification as Boolean relation between inputs and outputs, functional synthesis generates function, called Skolem for each output in terms of the such that is satisfied. In general, there may be many possibilities functions satisfying same specification, criteria to pick one or other vary from specification. this paper, we develop technique represent space criteria-agnostic ...

Four experiments examined the relation between behavioral expressions of dominance and the heterosexual attractiveness of males and females. Predictions concerning the relation between dominance and heterosexual attraction were derived from a consideration of sex role norms and from the comparative biological literature. All four experiments indicated an interaction between dominance and sex of...

Negation as failure is an important language feature within the logic programming paradigm. The natural notion generalizing negation as failure in a functional logic setting is that of finite failure of reduction. In previous works we have shown the interest of using such programming construct when writing functional logic programs, and we have given a logical status to failure by means of proo...

We present an approach for the verification of Statechart specifications. In contrast to other work on Statecharts verification, our approach satisfies the synchrony assumption and handles trigger expressions with negations in a satisfactory way. Our semantic model uses two transition relations. A macrostep relation describes the observable behaviour of the statechart. It is defined through a m...