More Fixpoints! (Functional Pearl).

Joachim Breitner

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

logic programs
nonmonotonic reasoning
information systems
multiscale
logic programming
belief revision
deductive databases
social networks
image sequences
programming language
integrity constraints
causal models