An Equivalence-Theoretic Equivalent of the Axiom of Choice.

Published in: Math. Log. Q. (1986)

Keyphrases

strong equivalence
equivalence relation
logic programs
equivalence relationship
real world
artificial intelligence
image segmentation
database systems
modal logic
inference rules
equivalence class
interactive dynamic influence diagrams