892 search results - page 52 / 179 » Strategies in sentential reasoning |
133
click to vote
ECTEL
2008
Springer
15 years 5 months ago
2008
Springer
Providing a student with feedback that is timely, most suitable and useful for her personality and the performed task is a challenging problem of online assessment within Web-based...
131
click to vote
AAAI
2007
15 years 6 months ago
2007
Reciprocity is a key determinant of human behavior and has been well documented in the psychological and behavioral economics literature. This paper shows that reciprocity has sig...
132
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
138
click to vote
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
150
click to vote
JAPLL
2010
14 years 11 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...