Analytic Calculi for Monadic PNmatrices.

Carlos Caleiro Sérgio Marcelino

Published in: WoLLIC (2019)

Keyphrases

deductive databases
datalog queries
datalog programs
relational databases
sequent calculi
real world
information retrieval
knowledge base
decision trees
qualitative spatial and temporal reasoning