Inner aspect and telicity
... and quantification, so that the effects provided by the Davidsonian theory are achieved without having to introduce an additional basic type: the event argument. From the formal point of view, the meaning of the VP has many different dimensions, but the two most interesting ones appear to be those r ...
... and quantification, so that the effects provided by the Davidsonian theory are achieved without having to introduce an additional basic type: the event argument. From the formal point of view, the meaning of the VP has many different dimensions, but the two most interesting ones appear to be those r ...
Independence logic and tuple existence atoms
... Definition R relation, ~x , ~y , ~z tuples of attributes. Then R |= ~x ~y | ~z if and only if, for all r , r 0 ∈ R such that r (~x ) = r 0 (~x ) there exists a r 00 ∈ R such that r 00 (~x ~y ) = r (~x ~y ) and r 00 (~x ~z ) = r (~x ~z ). Huge literature on the topic; If ~x ~y ~z contains all attri ...
... Definition R relation, ~x , ~y , ~z tuples of attributes. Then R |= ~x ~y | ~z if and only if, for all r , r 0 ∈ R such that r (~x ) = r 0 (~x ) there exists a r 00 ∈ R such that r 00 (~x ~y ) = r (~x ~y ) and r 00 (~x ~z ) = r (~x ~z ). Huge literature on the topic; If ~x ~y ~z contains all attri ...
Chapter 7: Linking syntax and semantics in complex sentences
... In this chapter the linking between semantic representations and syntactic representations in complex sentences is explored. An important question to be investigated is the extent to which the linking algorithms proposed in Chapter 5 for simple sentences must be modified to deal with complex sentenc ...
... In this chapter the linking between semantic representations and syntactic representations in complex sentences is explored. An important question to be investigated is the extent to which the linking algorithms proposed in Chapter 5 for simple sentences must be modified to deal with complex sentenc ...
Interactive narrative generation using computational verb theory Marius Smit
... is related to the overall design considerations and goals. A prototype of the CVTNG system is implemented and tested against a suite of natural language sentences. The behaviour and performance of the CVTNG system prototype are discussed in relation to the CVTNG system’s design principles. Results ...
... is related to the overall design considerations and goals. A prototype of the CVTNG system is implemented and tested against a suite of natural language sentences. The behaviour and performance of the CVTNG system prototype are discussed in relation to the CVTNG system’s design principles. Results ...
Model Theory of Modal Logic, Chapter in: Handbook of Modal Logic
... between the (first-order) Kripke structure semantics and the (second-order) frame semantics, give rise to very distinct model theoretic flavours, each with their own tradition in the model theory of modal logic. Still, these two semantics meet through the notion of a general frame (closely related to ...
... between the (first-order) Kripke structure semantics and the (second-order) frame semantics, give rise to very distinct model theoretic flavours, each with their own tradition in the model theory of modal logic. Still, these two semantics meet through the notion of a general frame (closely related to ...
Problems on Discrete Mathematics1 (Part I)
... correct. But, in general, we are not able to do so because the domain is usually an infinite set, and even worse, the domain can be uncountable, e.g., real numbers. To overcome this problem, we divide the domain into several categories and make sure that those categories cover the domain. Then we ex ...
... correct. But, in general, we are not able to do so because the domain is usually an infinite set, and even worse, the domain can be uncountable, e.g., real numbers. To overcome this problem, we divide the domain into several categories and make sure that those categories cover the domain. Then we ex ...