Guarded Teams: The Horizontally Guarded Case.

Erich Grädel Martin Otto

Published in: CSL (2020)

Keyphrases

fixed point
query answering
data sets
real world
data mining
website
multi agent
case base
horn clauses
probabilistic databases
data structure
cooperative
team members
team formation
tree decompositions