63 search results - page 8 / 13 » A Comparative Study of Logic Programs with Preference |
GROUP
2009
ACM
14 years 2 months ago
2009
ACM
Scientiļ¬c peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the workā...
IEAAIE
2004
Springer
14 years 25 days ago
2004
Springer
The main issue in e-learning is student modelling, i.e. the analysis of a studentās behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...
LICS
1994
IEEE
13 years 11 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...