In this paper we report our work on a new constraint domain, where variables can take structured values. Earth-science data processing (ESDP) is a planning domain that requires the ability to represent and reason about complex constraints over structured data, such as satellite images. This paper reports on a constraint-based planner for ESDP and similar domains. We discuss our approach for tra...

We study the complexity of the model checking problem, for fixed model A, over certain fragments L of first-order logic. These are sometimes known as the expression complexities of L. We obtain various complexity classification theorems for these logics L as each ranges over models A, in the spirit of the dichotomy conjecture for the Constraint Satisfaction Problem – which itself may be seen as...

In constraint satisfaction, basic inferences rely on some properties of constraint networks, called consistencies, that allow the identification of inconsistent instantiations or nogoods. Two main families of consistencies have been introduced so far : those that permit to reason from variables such as (i, j)-consistency and those that permit to reason from constraints such as relational (i, j)...

security is one of the most important human needs. researchers believe that the need for security has a strong and close relationship with the physical characteristics of the environment and people’s satisfaction. to study the relationship between security and environmental (physical and social) satisfaction, ‘’cpted’’ approach and its principals in design and environmental planning and urban l...

introduction: nowadays, organizations perform segmentation of their customers in order to maximize profits and minimize costs. however, in addition to segmentation, an optimal combination of the customers, i.e. the number of the customers or their percentage, is required to be specified in order to invest on development of products and services. in this study, by maximizing the customers’ satis...

customer satisfaction is the most important element for developing and sustaining organizational priorities and practices. thus, we examined farmers’ overall satisfaction with agricultural extension services and its determinants using data collected from 150 beneficiary farmers in north west ethiopia. the findings show that about 55% of the interviewees were satisfied whereas 45% of them were d...

the doctor-patient relationship (dpr) is one of the most important subjects in medical sociology and health policy. due to mutual understanding, undistorted dprs not only result in satisfaction of both doctors and patients, but also help to reduce financial burdens for patients and the health care system. the purpose of this research was to identify a dpr based on the qualitative paradigm model...

In this paper we consider a new class of logic programs, called weight constraint programs with functions, which are lparse programs incorporating functions over non-Herbrand domains. We define answer sets for these programs and develop a computational mechanism based on loop completion. We present our results in two stages. First, we formulate loop formulas for lparse programs (without functio...

this research aimed at   applying servqual model to examine the relationship between mobile banking services and customer satisfaction. while the previous researchers had already examined the effect of qualities services on banking customer satisfaction, no previous study was done on mobile banking. thus, the current paper attempted to fill the gap in the literature by applying servqual model t...