Connecting Fixpoints of Computations with Strict Progress.

Walter Guttmann

Published in: UTP (2019)

Keyphrases

logic programs
deductive databases
fixpoint
computer vision
natural language
nonmonotonic reasoning
database
artificial intelligence
multimedia
case study
learning environment
probability distribution