The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies.

Merlin Göttlinger Lutz Schröder Dirk Pattinson

Published in: CSL (2021)

Keyphrases

information retrieval
website
selection strategies
database
neural network
learning algorithm
artificial intelligence
search engine
information systems
search strategies