A knowledge server for reasoning about t
β
Paolo Terenziani; Luca Anselma
π
Article
π
2004
π
John Wiley and Sons
π
English
β 269 KB
Reasoning with temporal constraints is a ubiquitous issue in many computer science tasks, for which many dedicated approaches have been and are being built. In particular, in many areas, including planning, workflow, guidelines, and protocol management, one needs to represent and reason with tempora