{"type":"ScholarlyArticle","title":"On Finding a Solution in Temporal Constraint Satisfaction Problems","authors":[{"name":"Alfonso Gerevini","slug":"alfonso-gerevini","given":"Alfonso","family":"Gerevini","affiliation":""},{"name":"Matteo Cristani","slug":"matteo-cristani","given":"Matteo","family":"Cristani","affiliation":""}],"abstract":"Computing a consiste nt int erpretatio n of th e variables involved in a set of temporal constraints is an important task for many areas of AI requiring temporal reasoning. We focus on the important classes of the qualit at ive relations in Nebel and Biirckert's ORD-Horn algebra, and of the metric constraints forming a STP , possibly augmented with in equat ions. For these tractable classes we prese nt three new algorithms for solving the problem of finding a solution, and an efficie nt algorithm for determining the consistency of a STP augmented with inequations.","doi":null,"url":"https://ijcai.org/proceedings/1997/210","pdf":"https://ijcai.org/proceedings/1997/0210.pdf","markdown":"https://ijcai.org/proceedings/1997/210.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/210","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Temporal Reasoning","track":"Temporal Reasoning","number":210,"pages":{"first":1460,"last":1464},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}