A Model Based Decision Procedure for Common Sense Temporal Reasoning

@inproceedings{GiunchigliaAMB,
  title={A Model Based Decision Procedure for Common Sense Temporal Reasoning},
  author={Enrico Giunchiglia and Fausto Giunchiglia}
}
13 Moreover, the use of obdds in mbp is still naive. We expect that many techniques developed in the context of model checking and devoted to the reduction of the search space (e.g. conjunctive partitioning Clarke et al., 1994]) will be successfully applicable in this context. More in general, our decision procedures are independent of the implementation… CONTINUE READING