Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle.

Gemma Robles José M. Méndez

Published in: Notre Dame J. Formal Log. (2014)

Keyphrases

highly relevant
expressive power
sufficient conditions
web snippets
high quality
depth map
information retrieval
closely related
depth information
inference rules
default logic
propositional dynamic logic