861 search results - page 120 / 173 » A General Framework for Knowledge Compilation |
151
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The problem of coalition formation when agents are uncertain about the types or capabilities of their potential partners is a critical one. In [3] a Bayesian reinforcement learnin...
155
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
132
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Statistical topic models provide a general data-driven framework for automated discovery of high-level knowledge from large collections of text documents. While topic models can p...
122
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
148
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...