Maximally Multi-focused Proofs for Skew Non-Commutative MILL.

Niccolò Veltri

Published in: WoLLIC (2023)

Keyphrases

real time
preprocessing
special case
information retrieval
social networks
natural language
mobile robot
probabilistic model