Sciweavers

2920 search results - page 432 / 584
» Finite information logic
Sort
View
ICCSA
2010
Springer
16 years 1 months ago
Personalization of Search Profile Using Ant Foraging Approach
This paper proposes a three-stage analysis of web navigation that yields search results being relevant to the user’s interests and preferences. The approach is inspired by ant fo...
Pattira Phinitkar, Peraphon Sophatsathit
SAC
2009
ACM
16 years 1 months ago
Length-lex bound consistency for knapsack constraints
This paper considers the length-lex domain for set-variables in constraint programming which includes not only membership but also cardinality and lexicographic information. The p...
Justin Yip, Pascal Van Hentenryck
TIME
2009
IEEE
16 years 1 months ago
Preserving Anonymity of Recurrent Location-Based Queries
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
Daniele Riboni, Linda Pareschi, Claudio Bettini, S...
WEBI
2009
Springer
16 years 1 months ago
Measuring Inconsistency in DL-Lite Ontologies
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...
Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhi...
WILF
2009
Springer
150views Fuzzy Logic» more  WILF 2009»
16 years 1 months ago
General Fuzzy Answer Set Programs
A number of generalizations of answer set programming have been proposed in the literature to deal with vagueness, uncertainty, and partial rule satisfaction. We introduce a unifyi...
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, M...