Dependency Calculus Reasoning in a General Point Relation Algebra
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 1577-1577.
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.
Marco Ragni, and Alexander Scivos. 2005. Dependency Calculus Reasoning in a General Point Relation Algebra. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 1577–1577. https://ijcai.org/proceedings/2005/319
Ragni, M., & Scivos, A. (2005). Dependency Calculus Reasoning in a General Point Relation Algebra. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 (pp. 1577–1577). IJCAI. https://ijcai.org/proceedings/2005/319
@inproceedings{ijcai2005p319,
title = {Dependency Calculus Reasoning in a General Point Relation Algebra},
author = {Ragni, Marco and Scivos, Alexander},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {1577--1577},
year = {2005},
url = {https://ijcai.org/proceedings/2005/319},
}
TY - CPAPER TI - Dependency Calculus Reasoning in a General Point Relation Algebra AU - Ragni, Marco AU - Scivos, Alexander T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 1577 EP - 1577 UR - https://ijcai.org/proceedings/2005/319 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
