Inventory Management Practice and the Performance of the Unit of Vaccines and Immunizations in the Minstry Health, Kenya

Abstract

Answer Set Programming (ASP) is a declarative problemsolving paradigm, rooted in Logic Programming andNonmonotonic Reasoning, which has been gaining increasingattention during the last years. This article is a gentleintroduction to the subject; it starts with motivation andfollows the historical development of the challenge ofdefining a semantics for logic programs with negation. Itlooks into positive programs over stratified programs toarbitrary programs, and then proceeds to extensions withtwo kinds of negation (named weak and strong negation), anddisjunction in rule heads. The second part then considersthe ASP paradigm itself, and describes the basic idea. Itshows some programming techniques and briefly overviewsAnswer Set solvers. The third part is devoted to ASP in thecontext of the Semantic Web, presenting some formalisms andmentioning some applications in this area. The articleconcludes with issues of current and future ASP research.