Abstract The paper sketches the state of affairs our understanding postverbal negation. It departs from typological finding that there is a cross-linguistic preference for negator to precede verb. Nevertheless, sizable proportion world’s languages adhere pattern with following verb, and such negators are typically morphologically bound. existence this pattern, unfavorable functional perspective...

In this paper, we apply Fangzhen Lin’s methodology of computer aided theorem discovery to discover classes of strongly equivalent logic programs with negation as failure in the head. Specifically, with the help of computers, we discover exact conditions that capture the strong equivalence between small sets of rules, which have potential applications in the theory and practice of logic programm...

The linguistic style in which legislation is normally written has many similarities with the language of logic programming. However, examples of legal language taken from the British Nationality Act 1981, the University of Michigan lease termination clause, and the London Underground emergency notice suggest several ways in which the basic model of logic programming could usefully be extended. ...

We study the usage of negation in JSON Schema data modeling. Negation is a logical operator rarely present type systems and schema description languages, since it complicates decision problems: many software tools, but also formal frameworks for working with Schema, do not fully support negation. This motivates us to whether actually used practice, which aims, could—in principle—be replaced by ...

Negation of clinical named entities is common in clinical documents and is a crucial factor to accurately compile patients' clinical conditions and to further support complex phenotype detection. In 2009, Mayo Clinic released the clinical Text Analysis and Knowledge Extraction System (cTAKES), which includes a negation annotator that identifies negation status of a named entity by searching for...