“...International Workshop on Logic Programming and Non-monotonic Reasoning Washington, D.C.)...”