Improving Model Finding for Integrated Quantitative-qualitative Spatial Reasoning With First-order Logic Ontologies
Electronic Theses and Dissertations
Part of the Physical Sciences and Mathematics Commons
Part of the Physical Sciences and Mathematics Commons