Strong Completeness and Limited Canonicity for PDL.

Gerard R. Renardel de Lavalette Barteld P. Kooi Rineke Verbrugge

Published in: J. Log. Lang. Inf. (2009)

Keyphrases

cooperative
knowledge representation
real time
real world
machine learning
information retrieval
case study
similarity measure
limited resources