Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Most Knowledge Representation (KR) research follows a topdown approach: i) formalisms are designed on the basis of modelling needs and computational considerations, and ii) tools and applications based on these formalisms are realized and tested on ...
Formal models of spatial relations such as the 9-Intersection model or RCC-8 have become omnipresent in the spatial information sciences and play an important role to formulate constraints in many applications of spatial data processing. A fundamental ...
Text mining has been very successful in extracting huge amounts of commonsense knowledge from data, but the extracted knowledge tends to be extremely noisy. Manual construction of knowledge repositories, on the other hand, tends to produce high-quality ...
We study a generalization of the Muddy Children puzzle by allowing public announcements with arbitrary generalized quantifiers. We propose a new concise logical modeling of the puzzle based on the number triangle representation of quantifiers. Our ...