Formalization of Quasilattices.

Dominik Kulesza Adam Grabowski

Published in: Formaliz. Math. (2020)

Keyphrases

formal model
databases
social networks
information extraction
real world
information retrieval
e learning
case study
high level
trade off
data model
knowledge representation
formal analysis
logical framework
operational semantics