Skip to content

A Framework for Representing and Characterizing Semantics of Logic Programs.

Jrgen Dix

VenueA*KR
Year1992
ProceedingsKR

Browse the full KR paper archive.