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...

Lexical and syntactic mismatches between languages are the main challenge for every translation (especially formidable for Machine Translation; see Mel’čuk & Wanner 2001, 2006). An example of mismatches in English-to-Russian translation: a. The demonstrators were brutally beaten and tear-gassed by the police. b. Rus. Demonstranty podverglis ́ zverskomu izbieniju so storony policii; protiv nix by...

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.