2550 search results - page 411 / 510 » Difference Decision Diagrams |
156
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
145
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Several multiagent reinforcement learning (MARL) algorithms have been proposed to optimize agents' decisions. Only a subset of these MARL algorithms both do not require agent...
183
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
178
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Due to the shift from software-as-a-product (SaaP) to software-as-a-service (SaaS), software components that were developed to run in a single address space must increasingly be a...
169
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...