3515 search results - page 526 / 703 » On the semantics of Strategy Logic |
203
click to vote
ECAI
2004
Springer
16 years 20 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...
192
click to vote
MOZ
2004
Springer
16 years 19 days ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
185
click to vote
VLSID
2003
IEEE
16 years 17 days ago
2003
IEEE
With the emergence of the packet-switched networks as a possible system-on-chip (SoC) communication paradigm, the design of network-on-chips (NoC) has provided a challenge to the ...
176
click to vote
RIDE
2002
IEEE
16 years 6 days ago
2002
IEEE
Structured documents, especially the XML documents, are made up of a few logical components, such as title, sections, subsections and paragraphs. The components in each structured...
169
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
We propose a multi-agent genetic algorithm to accomplish belief revision. The algorithm implements a new evolutionary strategy resulting from a combination of Darwinian and Lamarck...