Current Answer Set Programming (ASP) solvers largely build on logic programming without function symbols. This limitation makes ASP decidable, but greatly complicates the modeling of indefinite time, recursive data structures (e.g., lists), and infinite processes and objects in general. Recent research thus aims at finding decidable fragments of ASPwith function symbols and studying their compl...

Studies over the years shown that students had actively and more interactively involved in a classroom discussion to gain their knowledge. By posting questions for other participants to answer, students could obtain several answers to their question. The problem is sometimes the answer chosen by student as the best answer is not necessarily the best quality answer. Therefore, an automatic recom...

this study investigated the answer changing behavior of the iranian university students and its relationship to the academic course, gender, and field of study. 362 students at the university of isfahan took part in the study. 76 english language teachers were also surveyed for their attitude toward answer changing on mc tests. the results indicated that 42.11% of the teachers had a negative at...

What distribution function best fits that of the stars’ heights above Galactic plane? Can truncated distributions improve fit? In order to answer questions, we derive probability density function, average value, rth moment, median, an expression generate random variate and maximum likelihood estimator, for exponential, half-normal sech-square distributions. The results are applied galactic heig...