4690 search results - page 332 / 938 » An operational semantics for Scheme |
158
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
168
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
174
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we analyse a concept of total knowledge based on the idea that an agent's total knowledge is the strongest proposition the agent knows. We propose semantics fo...
171
click to vote
CASCON
1997
15 years 8 months ago
1997
This paper describes the implementation of a reliable Get-Put interface written for a distributed memory environment. The asynchronous semantics of the Put as well as the split tr...
155
Voted
DSS
2006
15 years 6 months ago
2006
This paper describes the concept of workflow merge and methods for merging business processes. We grouped merges in four categories according to the type of merge: sequential, par...