Logics and Algebras for Multiple Players.

Loes Olde Loohuis Yde Venema

Published in: Rev. Symb. Log. (2010)

Keyphrases

information systems
real time
expressive power
inference rules
learning algorithm
search engine
database systems
cooperative
spatial reasoning