Toward Advanced Visualization Techniques for Conceptual Modeling

In this perspective, a dialogue is made of segments just like any discourse; the semantics of each one of these segments is represented in a logical framework and linked to

Extended quantifier elimination gener- alizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for

Early and mid-term impacts of cardiopulmonary bypass on coronary artery bypass grafting in patients with poor left ventricular dysfunction: a propensity score

Nor is the idea that one may accept a theory as empirically adequate rather than as true a counter-example, since such acceptance combines belief in the truth of the

Then I will introduce a new logic language that can be used to reason about an agents belief formation and dynamical change, due to evidences pro- vided by other agents in the

Regulation and feedback laws have been shown to necessarily involve representations of the action space (Proust, 2006a). It is indeed a theorem of control theory that the

Our idea is to store information in a structure that we call common (dialogue) context, where information accessible to both participants of the dialogue appears (as introduced

This section presents the results of the two-way ANOVA, performed along with the one-way ANOVA presented in the main body of the paper, which examined the effect of gender and role