Divergences on Monads for Relational Program Logics.

Tetsuya Sato Shin-ya Katsumata

Published in: CoRR (2022)

Keyphrases

expressive power
relational data
data model
modal logic
statistical relational learning
program execution
learning algorithm
relational databases
description logics
computer programs
entity relationship
nonmonotonic logics