Sciweavers

517 search results - page 48 / 104
» Computing Fuzzy Answer Sets Using dlvhex
Sort
View
STACS
2009
Springer
14 years 6 months ago
Forward Analysis for WSTS, Part I: Completions
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
Alain Finkel, Jean Goubault-Larrecq
AI
2011
Springer
13 years 6 months ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...
ICASSP
2011
IEEE
13 years 2 months ago
Outlier-aware robust clustering
Clustering is a basic task in a variety of machine learning applications. Partitioning a set of input vectors into compact, wellseparated subsets can be severely affected by the p...
Pedro A. Forero, Vassilis Kekatos, Georgios B. Gia...
SIGMOD
2011
ACM
176views Database» more  SIGMOD 2011»
13 years 2 months ago
Sharing work in keyword search over databases
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...
Marie Jacob, Zachary G. Ives
VLDB
2004
ACM
124views Database» more  VLDB 2004»
14 years 4 months ago
Data Sharing Through Query Translation in Autonomous Sources
We consider the problem of data sharing between autonomous data sources in an environment where constraints cannot be placed on the shared contents of sources. Our solutions rely ...
Anastasios Kementsietsidis, Marcelo Arenas