The Distribution Semantics is Well-Defined for All Normal Programs.

Fabrizio Riguzzi

Published in: PLP@ICLP (2015)

Keyphrases

control flow
formal semantics
stable models
data distribution
data sets
dynamic logic
logic programming
stable model semantics
default reasoning
owl ontologies
normal logic programs
binary relations
fixpoint
uniformly distributed
semantic information
probability distribution
database systems