A sequence of neighborhood contingency logics.

Published in: CoRR (2018)

Keyphrases

expressive power
mobile robot
modal logic
sequence analysis
search engine
information systems
case study
multi agent systems
description logics
inference rules