1664 search results - page 108 / 333 » Towards Partial Reasoning |
83
Voted
GAMEON
2001
15 years 2 months ago
2001
In this paper, a three-component architecture of a learning environment for Go is sketched, which can be applied to any two-player, deterministic, full information, partizan, comb...
138
Voted
AAAI
1996
15 years 2 months ago
1996
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
IGPL
2008
15 years 24 days ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
CSL
2002
Springer
15 years 18 days ago
2002
Springer
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...
102
Voted
ANTSW
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we study the cooperative transport of a heavy object by a group of robots towards a goal. We investigate the case in which robots have partial and noisy knowledge of...