Conference paper
Predicting knowledge in an ontology stream
Freddy Lécué, Jeff Z. Pan
IJCAI 2013
Many apparently divergent approaches to specifying formal semantics of programming languages are applications of initial algebra semantics. In this paper an overview of initial algebra semantics is provided. The major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations. © 1977, ACM. All rights reserved.
Freddy Lécué, Jeff Z. Pan
IJCAI 2013
Zhikun Yuen, Paula Branco, et al.
DSAA 2023
Gang Liu, Michael Sun, et al.
ICLR 2025
A. Manzalini, R. Minerva, et al.
ICIN 2013