Axiomatization of Hybrid Logic of Link Variations.

Penghao Du Qian Chen

Published in: DaLí (2023)

Keyphrases

predicate logic
logic programming
classical logic
modal logic
hybrid approaches
complete axiomatization
genetic algorithm
video sequences
situation calculus
link structure
hybrid learning