conftrace_

spatial logic

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic topological logic (1) geospatial reasoning (1) topological mu-calculus (1) cantor derivative (1) axiomatic system (1) direction logic (1) direction relation (1) large language model (1) formal semantics (1) formal logic (1)

Papers

UrbanGeoEval: A City-Scale Benchmark for Evaluating Large Language Models in Geospatial Reasoning ACL 2026 Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024 A Logic of Directions IJCAI 2020