935 search results - page 15 / 187 » Stable models and difference logic |
ATAL
2001
Springer
14 years 1 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...
SMA
2010
ACM
13 years 6 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 ...
AAAI
2010
13 years 10 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...
LPKR
1997
Springer
14 years 23 days 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
14 years 2 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...