7961 search results - page 37 / 1593 » Input-Output Model Programs |
112
click to vote
ICLP
2001
Springer
15 years 6 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
CSC
2006
15 years 3 months ago
2006
ICLP
2003
Springer
15 years 7 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...
122
click to vote
WOA
2000
15 years 3 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
119
click to vote
ITICSE
2004
ACM
15 years 7 months ago
2004
ACM
Learning to program is a unique experience for each student, and it is not fully understood why one person in an introductory programming course learns to program better and more ...