A Dynamic Hybrid Logic for Followership.

Zuojun Xiong Meiyun Guo

Published in: LORI (2019)

Keyphrases

information retrieval
neural network
dynamic environments
automated reasoning
dynamically changing
databases
information systems
case study
search algorithm
logic programming
predicate logic