935 search results - page 15 / 187 » Stable models and difference logic |
111
click to vote
ATAL
2001
Springer
15 years 6 months ago
2001
Springer
In the last few years the use of coalition formation algorithms in multi-agent systems has been proposed as a possible way of modelling autonomous agent cooperation. Game theory pr...
129
Voted
SMA
2010
ACM
14 years 11 months ago
2010
ACM
Mixed finite element methods solve a PDE involving two or more variables. In typical problems from electromagnetics and electrodiffusion, the degrees of freedom associated to the ...
112
click to vote
AAAI
2010
15 years 3 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
119
Voted
LPKR
1997
Springer
15 years 6 months ago
1997
Springer
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different typ...
AICCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
Software analysis patterns are believed to play a major role in reducing the cost and condensing the time of software product lifecycles. However, analysis patterns have not reali...