{"type":"ScholarlyArticle","title":"Dependency Calculus Reasoning in a General Point Relation Algebra","authors":[{"name":"Marco Ragni","slug":"marco-ragni","given":"Marco","family":"Ragni","affiliation":""},{"name":"Alexander Scivos","slug":"alexander-scivos","given":"Alexander","family":"Scivos","affiliation":""}],"abstract":"The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on networks. Applications range from traffic networks to medical diagnostics. We investigate satisfaction problems, tractable subclassses, embeddings into other relation algebras, and the associated interval algebra.","doi":null,"url":"https://ijcai.org/proceedings/2005/319","pdf":"https://ijcai.org/proceedings/2005/0319.pdf","markdown":"https://ijcai.org/proceedings/2005/319.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/319","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":319,"pages":{"first":1577,"last":1577},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}