599 search results - page 92 / 120 » Integrating answer set programming and constraint logic prog... |
163
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
102
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
139
click to vote
JCP
2006
15 years 3 months ago
2006
Finding a maximum cardinality matching in a graph is a problem appearing in numerous settings. The problem asks for a set of edges of maximum cardinality, such that no two edges of...
211
click to vote
PODS
2009
ACM
16 years 4 months ago
2009
ACM
The paper investigates the question of whether a partially closed database has complete information to answer a query. In practice an enterprise often maintains master data Dm, a ...
137
Voted
CPAIOR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...