25538 search results - page 92 / 5108 » Explanation in Information Systems |
DIS
2007
Springer
15 years 4 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Digital government is a complex organizational and social phenomenon. It involves technical, organizational, and policy elements, as well as their complex and recursive interactio...
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
AUSAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper reviews and assesses several theoretical perspectives on one type of business-to-business electronic marketplace—collaboration marketplaces. Whereas transaction-orien...