3385 search results - page 403 / 677 » Language, Logic, and the Brain |
175
click to vote
APLAS
2004
ACM
16 years 4 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
183
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
189
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
173
click to vote
LOPSTR
2004
Springer
16 years 1 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
246
Voted
WAC
2004
Springer
16 years 1 days ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...