Sciweavers

874 search results - page 29 / 175
» Computing Weighted Solutions in Answer Set Programming
Sort
View
ISPA
2007
Springer
15 years 6 months ago
Distributed Multi-source Regular Path Queries
Regular path queries are the building block of almost any mechanism for querying semistructured data. Despite the fact that the main applications of such data are distributed, ther...
Maryam Shoaran, Alex Thomo
113
Voted
BMCBI
2007
148views more  BMCBI 2007»
15 years 22 days ago
Computation of significance scores of unweighted Gene Set Enrichment Analyses
Background: Gene Set Enrichment Analysis (GSEA) is a computational method for the statistical evaluation of sorted lists of genes or proteins. Originally GSEA was developed for in...
Andreas Keller, Christina Backes, Hans-Peter Lenho...
102
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
Thirteen Definitions of a Stable Model
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Vladimir Lifschitz
181
Voted
ICLP
2009
Springer
16 years 1 months ago
Modular Nonmonotonic Logic Programming Revisited
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas ...
104
Voted
PODS
2008
ACM
170views Database» more  PODS 2008»
16 years 25 days ago
Answering aggregate queries in data exchange
Data exchange, also known as data translation, has been extensively investigated in recent years. One main direction of research has focused on the semantics and the complexity of...
Foto N. Afrati, Phokion G. Kolaitis