Towards a Navigational Logic for Graphical Structures.

Leen Lambers Marisa Navarro Fernando Orejas Elvira Pino

Published in: Graph Transformation, Specifications, and Nets (2018)

Keyphrases

logic programming
proof theory
database
artificial neural networks
modal logic
automated reasoning
classical logic
graphical representations
data mining
artificial intelligence
information systems
image structure
digital circuits