194 search results - page 17 / 39 » Tabular Constraint-Satisfaction Problems and Answer Set Prog... |
134
click to vote
CLIMA
2006
15 years 1 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
130
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
AAAI
2004
15 years 1 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
142
click to vote
CLIMA
2006
15 years 1 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...