2638 search results - page 260 / 528 » Frameworks for Reasoning about Agent Based Systems |
186
click to vote
ATAL
2007
Springer
16 years 1 months 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...
230
click to vote
FROCOS
2005
Springer
16 years 23 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...
182
click to vote
CORR
2002
Springer
15 years 7 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...
166
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 ...
211
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...