3090 search results - page 34 / 618 » On Testing Answer-Set Programs |
EUSFLAT
2009
13 years 7 months ago
2009
CORR
2010
Springer
13 years 7 months ago
2010
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
IJSSE
2011
13 years 4 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...