Skip to content

A Three-Valued Characterization for Strong Equivalence of Logic Programs.

Pedro Cabalar

VenueA*AAAI
Year2002
ProceedingsAAAI/IAAI

Browse the full AAAI paper archive.