Institutions for navigational logics for graphical structures.

Fernando Orejas Elvira Pino Marisa Navarro Leen Lambers

Published in: Theor. Comput. Sci. (2018)

Keyphrases

graphical representations
social networks
modal logic
real world
metadata
expressive power
neural network
learning algorithm
propositional calculus
default reasoning
inference rules
online learning
expert systems
image sequences
knowledge base
search engine
artificial intelligence
information retrieval