A New Source-Coupled Logic Technique: ALSCL.

Ugur Cini Shuai Wang

Published in: ICECS (2023)

Keyphrases

logic programming
modal logic
computer vision
proof theory
logical framework
logic synthesis
epistemic logic
abductive reasoning
formal theory
predicate logic
digital circuits
defeasible logic
machine learning
automated reasoning
temporal logic
search algorithm
image sequences
genetic algorithm