Two Simple Characterizations of Well-Founded Semantics.

Teodor C. Przymusinski

Published in: MFCS (1992)

Keyphrases

logic programs
logic programming
highly reliable
image sequences
databases
artificial intelligence
probabilistic model