We study interactions between Skolem Arithmetic and certain classes of Constraint Satisfaction Problems (CSPs). We revisit results of Glaßer et al. [17] in the context of CSPs and settle the major open question from that paper, finding a certain satisfaction problem on circuits to be decidable. This we prove using the decidability of Skolem Arithmetic. We continue by studying first-order expans...

Ideally designed software allow users to explore and pursue interleaving plans, making it challenging to automatically recognize user interactions. The recognition algorithms presented use constraint satisfaction techniques to compare user interaction histories to a set of ideal solutions. We evaluate these algorithms on data obtained from user interactions with a commercially available pedagog...

Combining machine learning [13, 16] and constraint satisfaction techniques is attracting considerable attention from a variety of researchers in the constraints community. In this talk we will review several examples of how techniques from the field of machine learning can be successfully exploited in the domain of constraint satisfaction. In particular, we will consider how we can exploit mach...

While game theory is widely used to model strategic interactions, a natural question is where do the game representations come from? One answer is to learn the representations from data. If one wants to learn both the payoffs and the players’ strategies, a naive approach is to learn them both directly from the data. This approach ignores the fact the players might be playing reasonably good str...

understanding the antecedents and consequences of customer satisfaction in the mobile communications market is important. this study explores the effects of service quality, trust and perceived value on customer satisfaction, which, in turn, affects continuance intention of mobile services. service quality and customer satisfaction were measured by multiple dimensions. a research model was deve...

This study explores the mediating effect of two aspects of group development (workgroup cohesion and conflict management) on five aspects of satisfaction (solution satisfaction, solution confidence, interaction process satisfaction, perceived decision quality, and level of teamwork). The independent variable, interaction mode, has two treatments: mixed-mode, a combination of faceto-face (FtF) a...

We developed and tested a behavioral measure to better understand the entire experience and related satisfaction for a commercial packaged food. Measures were performed at home considering the entire food experience, i.e. food unpacking, food preparation and consumption. Participants filmed their interaction at home with the food and also scored in a questionnaire their satisfaction for a list ...

OBJECTIVE To explore the severity of Anxiety Symptoms (AS) among Greek oncology nursing personnel, the degree of satisfaction from professional relationships, and potential association between them. METHOD A descriptive cross-sectional correlational study was performed in 2 Greek Oncology Hospitals, in 72 members of nursing personnel. Hamilton Anxiety Scale was used for the assessment of AS s...

Two longitudinal studies of marital interaction were conducted using observational coding of couples attempting to resolve a high-conflict issue. We found that a different pattern of results predicts con-current marital satisfaction than predicts change in marital satisfaction over 3 years. Results suggest that some marital interaction patterns, such as disagreement and anger exchanges, which h...