action language bc : preliminary report .
A Logic for Default Reasoning