892 search results - page 52 / 179 » Strategies in sentential reasoning |
106
Voted
ECTEL
2008
Springer
15 years 2 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...
102
Voted
AAAI
2007
15 years 3 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...
106
Voted
BIBE
2007
IEEE
15 years 7 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...
101
click to vote
LOPSTR
2009
Springer
15 years 5 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 ...
119
Voted
JAPLL
2010
14 years 7 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...