229 search results - page 40 / 46 » On Reductive Semantics of Aggregates in Answer Set Programmi... |
83
Voted
IEEEPACT
2000
IEEE
15 years 1 months ago
2000
IEEE
Multimedia instruction set extensions have become a prominent feature in desktop microprocessor platforms, promising superior performance on a wide range of floating-point and int...
KR
2010
Springer
15 years 2 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
157
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
79
Voted
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
102
Voted
WISE
2009
Springer
15 years 6 months ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...