{"type":"ScholarlyArticle","title":"Incremental Tractable Reasoning about Qualitative Temporal Constraints","authors":[{"name":"Alfonso Gerevini","slug":"alfonso-gerevini","given":"Alfonso","family":"Gerevini","affiliation":""}],"abstract":"In many applications of temporal reasoning we are interested in reasoning incrementally. In particular, given a CSP of temporal constrains and a new constraint, we want to maintain certain properties in the extended CSP (e.g., a solution), rather than recomputing them from scratch. The Point Algebra (PA) and the Interval Algebra (IA) are two well-known frameworks for qualitative temporal reasoning. Most of the existing algorithms for PA and the known tractable fragments of IA, such as ORDHorn , has been designed for \"static\" reasoning . In this paper we study the incremental version of some fundamental problems of temporal reasoning, proposing new algorithms that amortize their complexity when processing a sequence of input constraints. After analyzing the role of path-consistency for incremental satisfiability, we propose algorithms for maintaining a solution of a CSP over either PA or ORD-Horn, and the minimal labels of a CSP over PA. Our algorithms improve the complexity of using existing techniques by a factor of O(n) or O(n 2 ), where n is the number of variables involved in the CSP.","doi":null,"url":"https://ijcai.org/proceedings/2003/182","pdf":"https://ijcai.org/proceedings/2003/0182.pdf","markdown":"https://ijcai.org/proceedings/2003/182.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/182","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":182,"pages":{"first":1283,"last":1287},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}