18209 search results - page 345 / 3642 » Some Remarks on the Paper |
169
click to vote
AIPS
2007
15 years 9 months ago
2007
Many of the benchmark domains in AI planning are tractable on an individual basis. In this paper, we seek a theoretical, domain-independent explanation for their tractability. We ...
136
click to vote
FLAIRS
2008
15 years 9 months ago
2008
The paper presents observations concerning teaching Prolog to computer science students. Basing on these experiences an interactive web-portal is proposed to support teaching. Som...
199
click to vote
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding ...
188
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Agile Modeling provides a set of best practices of "light-weight" modeling to support the modeling process on a macro level within the agile development teams. The object...
154
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...