Dynamic Cantor Derivative Logic.

David Fernández-Duque Yoàv Montacute

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

dynamically changing
case study
logic programming
dynamic environments
search algorithm
multiresolution
classical logic