9370 search results - page 298 / 1874 » An Abstract Notion of Application |
170
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
190
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
190
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind s...
158
Voted
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
157
click to vote
ALT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Blum and Blum (1975) showed that a class B of suitable recursive approximations to the halting problem is reliably EX-learnable. These investigations are carried on by sh...