Untangled: A Complete Dynamic Topological Logic.

David Fernández-Duque Yoàv Montacute

Published in: AAAI (2023)

Keyphrases

dynamic environments
real time
natural language
logic programming
dynamically changing
asynchronous circuits
topological spaces