Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF. In this work, we focus on dependencies based on syntactically connected variables. We generalize our previous ideas for efficiently representing dependency sets of universal variables to existential ones. We obtain a dep...

Organizational and human issues are often crucial to the successful use of technology in organizations. Enterprise models that make these issues explicit can assist in analyzing issues, finding solutions, and in evaluating alternatives. This paper outlines the i* modelling framework, in which organizations and work processes are modelled in terms of dependency relationships among strategic actors.

Usually unsupervised dependency parsing tries to optimize the probability of a corpus by modifying the dependency model that was presumably used to generate the corpus. In this article we explore a different view in which a dependency structure is among other things a partial order on the nodes in terms of centrality or saliency. Under this assumption we model the partial order directly and der...

In this paper, the performance of two dependency parsers, namely Stanford and Minipar, on biomedical texts has been reported. The performance of the parsers to assign dependencies between two biomedical concepts that are already proved to be connected is not satisfying. Both Stanford and Minipar, being statistical parsers, fail to assign dependency relation between two connected concepts if the...

The aim of this study is to determine the effect levels on organizational agility abilities as a result implementation Industry 4.0. Organizational was examined in terms four basic criteria: responsiveness, flexibility, quickness and competence study. In addition, twelve sub-criteria have been defined relation criteria. order sub-criteria, related studies were first conceptually then expert opi...

We introduce an approach based on using the dependency grammar representations of sentences to compute sentence similarity for extractive multi-document summarization. We adapt and investigate the effects of two untyped dependency tree kernels, which have originally been proposed for relation extraction, to the multi-document summarization problem. In addition, we propose a series of novel depe...