3527 search results - page 60 / 706 » Test Automation in Practice |
ERCIMDL
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
DEON
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
DLOG
2011
14 years 1 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
DAC
2000
ACM
15 years 10 months ago
2000
ACM
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
