Extending Logic Programming with Labelled Variables: Model and Semantics

DOI10.3233/FI-2018-1695zbMath1396.68031MaRDI QIDQ4686514

Roberta Calegari, Andrea Omicini, Enrico Denti, Agostino Dovier

Publication date: 2 October 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

formal semanticslogic programmingmeta-interpretationlabelled variablessituated intelligence

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Logic programming as a service

This page was built for publication: Extending Logic Programming with Labelled Variables: Model and Semantics