2638 search results - page 260 / 528 » Frameworks for Reasoning about Agent Based Systems |
160
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Classically, an approach to the multiagent policy learning supposed that the agents, via interactions and/or by using preliminary knowledge about the reward functions of all playe...
204
click to vote
FROCOS
2005
Springer
16 years 5 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
158
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
154
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Previous research in Group Support Systems does not include a design theory for GSS-enabled meetings. As a consequence, problems are experienced in the design, implementation and ...
190
click to vote
AAAI
1997
15 years 8 months ago
1997
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...