Reasoning on incomplete execution traces using action languages - A first report