2303 search results - page 40 / 461 » On the logic of argumentation theory |
100
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
107
click to vote
AIR
2010
15 years 2 months ago
2010
Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers ...
107
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
104
click to vote
DIGRA
2003
Springer
15 years 7 months ago
2003
Springer
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
100
click to vote
CLIMA
2007
15 years 3 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...