It ain't necessarily so: Basic sequent systems for negative modalities.

Ori Lahav João Marcos Yoni Zohar

Published in: CoRR (2016)

Keyphrases

management system
computing systems
genetic algorithm
intelligent systems
building blocks
mobile robot
knowledge representation