Sciweavers

78 search results - page 13 / 16
» One parser to rule them all
Sort
View
ESAW
2000
Springer
14 years 2 months ago
Engineering Social Order
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...
Cristiano Castelfranchi
JLP
2006
98views more  JLP 2006»
13 years 10 months ago
Partiality I: Embedding relation algebras
As long as no cooperation between processes is supposed to take place, one may consider them separately and need not ask for the progress of the respective other processes. If a c...
Gunther Schmidt
ACTA
1998
81views more  ACTA 1998»
13 years 10 months ago
Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
Lex Bijlsma, Rob Nederpelt
HIS
2004
14 years 8 days ago
Stigmergy in Multi Agent Reinforcement Learning
In this paper, we describe how certain aspects of the biological phenomena of stigmergy can be imported into multiagent reinforcement learning (MARL), with the purpose of better e...
Raghav Aras, Alain Dutech, François Charpil...
RTA
2007
Springer
14 years 5 months ago
The Termination Competition
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
Claude Marché, Hans Zantema