Designing Prolog Semantics for a Class of Observables.

Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai

Browse the full PRICAI paper archive.