Login / Signup

A Formal Analysis of RANKING.

Mohammad AbdulazizChristoph Madlener
Published in: ITP (2023)
Keyphrases
  • formal analysis
  • web search
  • ranking functions
  • agent model
  • ban logic
  • ranking algorithm
  • learning to rank
  • link analysis
  • formal methods
  • software engineering
  • fine grained
  • rank aggregation