Efficient acquisition of constraint networks is a key factor for the applicability of constraint problem solving methods. Current techniques ease knowledge acquisition by generati...
Existing methods for single document keyphrase extraction usually make use of only the information contained in the specified document. This paper proposes to use a small number o...
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
The identification of categories in image databases usually relies on clustering algorithms that only exploit the feature-based similarities between images. The addition of semant...
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...