Counting extensions revisited.

Matas Sileikis Lutz Warnke

Published in: Random Struct. Algorithms (2022)

Keyphrases

default logic
neural network
computer vision
information systems
image segmentation
default theories