9719 search results - page 15 / 1944 » Answer Set Optimization |
EDBTW
2006
Springer
14 years 1 months ago
2006
Springer
The wavelet decomposition is a proven tool for constructing concise synopses of massive data sets and rapid changing data streams, which can be used to obtain fast approximate, wit...
ASP
2005
Springer
14 years 3 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
AUSAI
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
CLEF
2007
Springer
14 years 4 months ago
2007
Springer
MAVE (Multinet-based Answer Verification) is a system for answer validation which combines logic-based techniques and aggregation for identifying the correct answers in given sets...
IQIS
2004
ACM
14 years 3 months ago
2004
ACM
A virtual database system is software that provides unified access to multiple information sources. If the sources are overlapping in their contents and independently maintained,...