Expressive Reasoning about Action in Nondeterministic Polynomial Time

@inproceedings{Drakengren1999ExpressiveRA,
  title={Expressive Reasoning about Action in Nondeterministic Polynomial Time},
  author={Thomas Drakengren and Marcus Bj{\"a}reland},
  booktitle={IJCAI},
  year={1999}
}
The rapid development of efficient heuristics for deciding satisfiabil ity for proposit ional logic motivates thorough investigations of the usabili ty of NP-complete problems in general. In this paper we introduce a logic of action and change which is expressive in the sense that it can represent most proposit ional benchmark examples in the l i terature… CONTINUE READING