While clause resolution is central to logic programming, practical eeorts to optimize resolution have largely concerned eecient clause indexing. One recent exception is Uniication Factoring 5], which optimizes backtracking through clause heads. Here we consider the problem of optimizing clause resolution in a more general setting than Uniication Factoring. One fundamental change is to use mode ...

This paper introduces a new decision procedure for PLTL based on labelled superposition. Its main idea is to treat temporal formulas as infinite sets of purely propositional clauses over an extended signature. These infinite sets are then represented by finite sets of labelled propositional clauses. The new representation enables the replacement of the complex temporal resolution rule, suggeste...

This document describes some possible applications of logic grammars to schema processing as described in the XML Schema specification. The term logic grammar is used to denote grammars written in logic-programming systems; the best known logic grammars are probably definite-clause grammars (DCGs), which are a built-in part of most Prolog systems. This paper works with definite-clause translati...

This article examined whether semantic indeterminacy plays a role in comprehension of complex structures such as object relative clauses. Study 1 used a gated sentence completion task to assess which alternative interpretations are dominant as the relative clause unfolds; Study 2 compared reading times in object relative clauses containing different animacy configurations to unambiguous passive...

a jurisprudential and legal survey on reflection of fairness in the special legal acts siroos shahriyari [1] hamid miri (ph.d.) [2]     abstract with a view to foreign and domestic law and jurisprudence, it is appeared that there are streaks of making attention to the fairness factor behind of confronting some special legal acts such as usury and mortgage contracts, penal and non-liability clau...

MOTIVATION Supervised biomedical relation extraction plays an important role in biomedical natural language processing, endeavoring to obtain the relations between biomedical entities. Drug-drug interactions, which are investigated in the present paper, are notably among the critical biomedical relations. Thus far many methods have been developed with the aim of extracting DDI relations. Howeve...

Contrastively focused constituents in Malagasy, a verb-initial language, occur at the left edge of the clause, separated from the remainder of the clause by the particle no (previous work has shown that no forms a constituent with what follows it, here called the NO-PHRASE). The Malagasy focus construction is usually analyzed as a pseudo-cleft: the focus phrase constitutes the main predicate of...

The paper describes a rule-based system for tagging clause boundaries, implemented for annotating the Estonian Reference Corpus of the University of Tartu, a collection of written texts containing ca 245 million running words and available for querying via Keeleveeb language portal. The system needs information about parts of speech and grammatical categories coded in the word-forms, i.e. it ta...

This paper presents some new arguments in favour of the biclausal analysis of the socalled periphrastic tenses. It is argued that in these constructions, the main verbs as well as the auxiliaries are marked for tense. It is also claimed that every clause contains two temporal heads: a higher T(Past) and a lower T(Future). The biclausality of periphrastic tenses is then a consequence of the way ...