We provide a simple formulation of a framework where some extensions of logic programming with non-monotonic reasoning are treated uniformly, namely two kinds of negation and abduction. The resulting semantics is purely model-theoretic, and gives meaning to any non-contradictory abductive logic program. Moreover, it embeds and generalizes some existing semantics which deal with negation and abd...

Self-organization of heterogeneous particle swarms is rich in its dynamics but hard to design in a traditional top-down manner, especially when many types of kinetically distinct particles are involved. In this chapter, we discuss how we have been addressing this problem by (1) utilizing and enhancing interactive evolutionary design methods and (2) realizing spontaneous evolution of self-organi...

Derivation of logic programs from rst-order logic speciications is nontrivial and tends to be done by hand. We describe a method for synthesising recursive logic procedures from their rst-order logic speciications that is amenable to mechanisation. The method is strictly top-down and has been implemented as part of a user-guided synthesis system in Prolog.

Background: The most fundamental step in the development of a curriculum is to determine the educational needs. This study aims to identify the educational needs from the viewpoint of students and faculty members of health-associated disciplines in order to develop an entrepreneurship-based curriculum. Methods: The study is applied in terms of purpose and descriptive-survey in terms of method. ...

Spontaneous collaboration occurs abundantly among people on the roads. We account for the outcome of three research projects and the experience of designing the applications: Placememo, Hocman and SoundPryer. They all support various types of spontaneous mobile collaborative road use activities. We emphasize the impact of setting when developing applications intended for this scope. The main is...

This paper reports on the preliminary findings of an indepth case study of the implementation of a computerized order entry (COE) system at a medium-sized, acute care hospital. In this paper, we propose a theoreticallygrounded framework, based on work by Barley [8] [9], for analyzing organizational changes that may result from COE introduction and use the framework to analyze findings at the re...