Sciweavers

1925 search results - page 215 / 385
» Theory research at Google
Sort
View
FOIKS
2008
Springer
15 years 8 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
DAGSTUHL
2008
15 years 8 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
Luís C. Lamb
IM
2007
15 years 7 months ago
Automated Availability Management Driven by Business Policies
—Policy-driven service management helps reduce IT management cost and it keeps the service management aligned with business objectives. While most of the previous research focuse...
Zhongtang Cai, Yuan Chen, Vibhore Kumar, Dejan S. ...
ECIS
2001
15 years 7 months ago
Back to the Future: From Knowledge Management to Data Management
This paper argues for a return to fundamentals as we enter the new millennium. It argues that the field of Information Systems should no longer be distracted from its natural locu...
Robert D. Galliers, Sue Newell
ECIS
2003
15 years 7 months ago
An integrative model of consumer trust in internet shopping
Despite the phenomenal growth of Internet users, the penetration rate of Internet shopping remains low. Previous works suggesting that the lack of trust is the major impediment st...
Christy M. K. Cheung, Matthew K. O. Lee