Sciweavers

2303 search results - page 300 / 461
» On the logic of argumentation theory
Sort
View
DAGSTUHL
2004
15 years 8 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
ECIS
2004
15 years 8 months ago
The Medium Matters: The Effects Of Media Attributes And Evidence Strength On Belief Revision
Face-to-face meetings between auditors and their clients are increasingly difficult to arrange, due to business globalization and the growing need for rapid audit decision-making....
Anna H. Nöteberg
IJIS
2008
115views more  IJIS 2008»
15 years 6 months ago
A new semantics for ACL based on commitments and penalties
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...
Leila Amgoud, Florence Dupin de Saint-Cyr
SIGKDD
2000
112views more  SIGKDD 2000»
15 years 6 months ago
Artificial Neural Networks - A Science in Trouble
This article points out some very serious misconceptions about the brain in connectionism and artificial neural networks. Some of the connectionist ideas have been shown to have l...
Asim Roy
ICDT
2009
ACM
125views Database» more  ICDT 2009»
16 years 7 months ago
How big must complete XML query languages be?
Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete ? that is it cannot express every query definable in firsto...
Clemens Ley, Michael Benedikt