Abstract This paper investigates the ordering of connecting subordinate and coordinate clauses in Japanese-Thai translation to examine whether it is possible maintain information flow from source text. Japanese preposed were translated using both postposed Thai Preposed used widely when they provided: 1) listed information; 2) grounded for comprehending main clauses; 3) framework within which a...

The main contribution of the paper is a PTIME decision procedure for the satisfiability problem in a class of first-order Horn clauses. Our result is an extension of the tractable classes of Horn clauses of Basin & Ganzinger in several respects. For instance, our clauses may contain atomic formulas S ` t where ` is a predicate symbol and S is a finite set of terms instead of a term. ` is used t...

The desirability of Horn clauses in logical deductive systems has long been recognized. The reasons are at least threefold. Firstly, while inference algorithms for full logics of any reasonable extent are typically intractable, for systems restricted to Horn clauses the picture is much better. (For example, in ordinary propositional logic, while the full satissability problem is NP-complete, a ...

Preference Logic Programming (PLP) is an extension of Constraint Logic Programming (CLP) for declaratively specifying optimization problems. In the PLP framework, the deenite clauses of a CLP program are augmented by two new kinds of clauses: optimization clauses and arbiter clauses. Optimization clauses specify which predicates are to be optimized and arbiter clauses specify the criteria to be...

Two eye-monitoring studies examined when unexpressed schematic participant information specified by verbs is used during sentence processing. Experiment 1 compared the processing of sentences with passive and intransitive verbs hypothesized to introduce or not introduce, respectively, an agent when their main clauses were preceded by either agent-dependent rationale clauses or adverbial clause ...

this research work attempts to compare the legal and technical criteria of locating household and municipal landfills and discuss them along with legal and technical principles. for this purpose, it was attempted to discuss and compare the related most important national an international standards. due to say, employing the legal standards of locating household and municipal landfills in corpo...

this research work attempts to compare the legal and technical criteria of locating household and municipal landfills and discuss them along with legal and technical principles. for this purpose, it was attempted to discuss and compare the related most important national an international standards. due to say, employing the legal standards of locating household and municipal landfills in corpor...

Sanghoun Song. 2014. Information Structure of Relative Clauses in English: a Flexible and Computationally Tractable Model. Language and Information 18.2 , 1–29. Relativization is one of the common syntactic operations to merge two different clauses into a single information unit. This operation plays a pivotal role to structuralize multiple clauses cohesively as well as serves to specify the pr...

In Bach and Cooper (1978) a semantics is proposed for adjoined relative clauses in Hittite and for the NP S analysis of English relatives within the general framework of Montague (1974). The aim of their analysis is to show that a potentially serious set of counterexamples to the compositionality thesis the thesis that the interpretation of a construction is a function of the interpretations of...

This paper focuses on legal aspects of intelligent search agents, with respect to the status of exclusion clauses often found on websites. These clauses were initially meant to stop search bots from websites that are not meant for public access. It is a question whether these clauses also hold for intelligent search agents.