Skip to content

Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas.

Yuping Shen, Xishun Zhao

VenueA*KR
Year2014
ProceedingsKR

Browse the full KR paper archive.