Formal semantics; Labelled systems; Labelled variables; Logic programming; Metainterpretation; Situated intelligence; Theoretical Computer Science; Algebra and Number Theory; Information Systems; Computational Theory and Mathematics

In order to enable logic programming to deal with the diversity of pervasive systems, where many heterogeneous, domain-specific computational models could benefit from the power of symbolic computation, we explore the expressive power of labelled …