Composition of hierarchic default specifications

[no abstract

The appraisal of Facebook online community: An exposition of mobile commerce in social media reviews

Peer reviewe

Modular Specifications with Supernormal Defaults

. We add a simple module system to specifications with supernormal defaults. It allows to distinguish between "defining" and "calling" occurrences of predicates. This greatly improves the understandability of large default specifications and especially helps to solve the problem of unwanted contrapositions of rules. Our approach is similar to the distinction between head and body of logic programming rules, but it works on the higher level of default theories. So our results can help to integrate both approaches --- at least on the semantical side for specification purposes. We also clarify the relation to prioritized defaults and argue that modular specifications are often preferable. Finally, we give a theoretical basis for query evaluation. 1 Introduction In this paper we try to improve logical specifications with supernormal defaults by adding a simple module system. Supernormal or Poole-type defaults are of the form true: ffi =ffi, i.e. the formula ffi should be assumed if this ..

Modular Specifications with Supernormal Defaults

We add a simple module system to specifications with supernormal defaults. It allows to distinguish between “defining” and “calling” occurrences of predicates. This greatly improves the understandability of large default specifications and especially helps to solve the problem of unwanted contrapositions of rules. Our approach is similar to the distinction between head and body of logic programming rules, but it works on the higher level of default theories. So our results can help to integrate both approaches — at least on the semantical side for specification purposes. We also clarify the relation to prioritized defaults and argue that modular specifications are often preferable. Finally, we give a theoretical basis for query evaluation

Information Management in Supply Chain Partnering: Improving Maintenance Processes in Dutch Housing Associations

From the article: "Abstract Maintenance processes of Dutch housing associations are often still organized in a traditional manner. Contracts are based on lowest price instead of ‘best quality for lowest price’ considering users’ demands. Dutch housing associations acknowledge the need to improve their maintenance processes in order to lower maintenance cost, but are not sure how. In this research, this problem is addressed by investigating different supply chain partnering principles and the role of information management. The main question is “How can the organisation of maintenance processes of Dutch housing associations, in different supply chain partnering principles and the related information management, be improved?” The answer is sought through case study research.