Traffic signal control on similarity logic reasoning.

Jarkko Niittymäki Esko Turunen

Published in: Fuzzy Sets Syst. (2003)

Keyphrases

traffic signal control
automated reasoning
proof theory
deductive reasoning
knowledge base
intelligent systems
modal logic