A Formal Representation of the WHO and UNICEF Estimates of National Immunization Coverage: A Computational Logic Approach

• Anthony Burton ,

  * E-mail: burtona@who.int

  Affiliation Department of Immunization, Vaccines and Biologicals, World Health Organization, Geneva, Switzerland

  ⨯
• Robert Kowalski,

  Affiliation Department of Computing, Imperial College London, London, United Kingdom

  ⨯
• Marta Gacic-Dobo,

  Affiliation Department of Immunization, Vaccines and Biologicals, World Health Organization, Geneva, Switzerland

  ⨯
• Rouslan Karimov,

  Affiliation Division of Policy and Practice, United Nations Children's Fund, New York, New York, United States of America

  ⨯
• David Brown

  Affiliation Division of Policy and Practice, United Nations Children's Fund, New York, New York, United States of America

  ⨯