7661 search results - page 1415 / 1533 » Languages and the Computing Profession |
153
click to vote
FUIN
2010
15 years 1 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
147
click to vote
IJPP
2010
15 years 1 months ago
2010
Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-uniform ar...
176
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
164
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
144
click to vote
EOR
2011
14 years 11 months ago
2011
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...