Benjamin Kuipers, Benjamin Shults. Reasoning in Logic about Continuous Systems. In KR. pages 391-402, 1994.
@inproceedings{KuipersS94,
title = {Reasoning in Logic about Continuous Systems},
author = {Benjamin Kuipers and Benjamin Shults},
year = {1994},
tags = {logic},
researchr = {https://researchr.org/publication/KuipersS94},
cites = {0},
citedby = {0},
pages = {391-402},
booktitle = {KR},
}