Sciweavers

2981 search results - page 443 / 597
» Answer Set Planning
Sort
View
ASP
2003
Springer
15 years 11 months ago
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
Thomas Eiter, Michael Fink, Hans Tompits, Stefan W...
CP
2003
Springer
15 years 11 months ago
Terminating Decision Algorithms Optimally
Incomplete decision algorithms can often solve larger problem instances than complete ones. The drawback is that one does not know whether the algorithm will finish soon, later, ...
Tuomas Sandholm
DASFAA
2010
IEEE
224views Database» more  DASFAA 2010»
15 years 11 months ago
Dynamic Skyline Queries in Large Graphs
Given a set of query points, a dynamic skyline query reports all data points that are not dominated by other data points according to the distances between data points and query po...
Lei Zou, Lei Chen 0002, M. Tamer Özsu, Dongya...
COMPGEOM
2010
ACM
15 years 11 months ago
Optimal reconstruction might be hard
Sampling conditions for recovering the homology of a set using topological persistence are much weaker than sampling conditions required by any known algorithm for producing a top...
Dominique Attali, André Lieutier
JCDL
2010
ACM
140views Education» more  JCDL 2010»
15 years 11 months ago
Impact and prospect of social bookmarks for bibliographic information retrieval
This paper presents our ongoing study of the current/future impact of social bookmarks (or social tags) on information retrieval (IR). Our main research question asked in the pres...
Kazuhiro Seki, Huawei Qin, Kuniaki Uehara