Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract).

Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Sch

Browse the full ISMIS paper archive.