780 search results - page 36 / 156 » Reasoning about sets using redescription mining |
140
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
263
click to vote
LPNMR
2011
Springer
14 years 7 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
130
click to vote
RSFDGRC
2005
Springer
15 years 9 months ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
132
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based...
135
click to vote
JSW
2008
15 years 4 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...