3394 search results - page 111 / 679 » A Modal Model of Memory |
100
Voted
COLING
1994
15 years 4 months ago
1994
This paper introduces a semantic theory I)I,PW, l)ynamic l,ogic with Possible World, which extends Groenendijk's I)PI, and Cresswell's Indices Semantics. The semantics c...
132
Voted
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
154
Voted
AAMAS
2011
Springer
14 years 6 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
98
Voted
SPAA
1992
ACM
15 years 6 months ago
1992
ACM
A global barrier synchronizes all processors in a parallel system. This paper investigates algorithms that allow disjoint subsets of processors to synchronize independently and in...
184
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad