Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to…

Parameter passing is the mechanism by which various program modules share information in a complex program; this paper was a study of novice programmers' understanding of the parameter construct. The bulk of the data was collected from interviews with eight college students enrolled in a state university introductory computer programming course.…