Knowledge-Artifact Based Agents in Android: a case study