This paper shows how to introduce predicative adjunction in a dependency grammar inspired from TAG, MTT and RG. The addition of predicative adjunction allows us to obtain a modular surface syntactic grammar, the derivation structures of which can be interpreted as semantic representations.

In this talk, we contend that, for NLs, the divide between model-theoretic semantics and proof-theoretic semantics has not been well-understood. In particular, the formal semantics based on modern type theories (MTTs) may be seen as both model-theoretic and prooftheoretic. To be more precise, it may be seen both ways in the sense that the NL semantics can first be represented in an MTT in a mod...

Current E-Commerce trading systems which look at electronic negotiation facilities usually uses predefined and non-adaptive negotiation mechanisms [Maes, et. al. 1999]. This paper presents a negotiation framework which applies Case-Based Reasoning(CBR) techniques to capture and reuse previously successful negotiation experiences. This experience based negotiation framework provides adaptive neg...

This paper examines the ways in which negotiation objects – objects used for boundaryspanning, bridging, or brokering purposes – mediate productive breakdowns in collaboration across distributed organizational workgroups. Objects are increasingly displacing direct social relations in the mediation of distributed work. When collaboration between organizational groups is virtually-mediated, the "...

In this qualitative study, researchers examined the coming out process experienced by 20 gay, lesbian, and bisexual students in the residence halls of a major research institution. The students ranged in age from 18-26 and included 10 men and 10 women. Eighteen were White, one was Asian American, and one was Latino American. Students reported how they disclosed their sexual orientation, factors...

The semantic annotation of dialogue corpora permits building efficient language understanding applications for supporting enjoyable and effective human-machine interactions. Nevertheless, the annotation process could be costly, time-consuming and complicated, particularly the more expressive is the semantic formalism. In this work, we propose a bootstrapping architecture for the semantic annota...

We consider first order modal logic C firstly defined by Carnap in “Meaning and Necessity” [1]. We prove elimination of nested modalities for this logic, which gives additionally the Skolem-Löwenheim theorem for C. We also evaluate the degree of unsolvability for C, by showing that it is exactly 0′. We compare this logic with the logics of Henkin quantifiers, Σ1 logic, and SO. We also shortly d...

One of the major challenges in cloud computing is the development of a service-level agreement (SLA) negotiation framework using an intelligent third-party broker negotiation strategy. Current frameworks exploit various negotiation strategies using game theoretic, heuristic, and argumentation-based approaches for obtaining optimal negotiation with a better success rate (negotiation commitment)....

This paper presents observations and analysis of an activity of reification of professional practices within a community of practice. A case is examined of a distance community of tutors using a semantic Wiki for formalising their practices and a tool for storing and classifying documents. On the basis of the instrumental genesis theory, the author highlights the process of appropriation of the...

The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules of a logic program are viewed as encoding arguments of an agent, and the meaning of the program is determined by those arguments that somehow (depending on the specific semantics) can defend themselves from the attacks of othe...