3394 search results - page 111 / 679 » A Modal Model of Memory |
COLING
1994
13 years 11 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...
JELIA
2010
Springer
13 years 8 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...
AAMAS
2011
Springer
13 years 1 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...
SPAA
1992
ACM
14 years 2 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...
ACL2
2006
ACM
14 years 4 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