Sciweavers

2704 search results - page 451 / 541
» Agent Development with Jackal
Sort
View
WWW
2001
ACM
16 years 7 months ago
An intelligent distributed environment for active learning
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...
Yi Shang, Hongchi Shi, Su-Shing Chen
LATA
2010
Springer
16 years 1 months ago
Using Sums-of-Products for Non-standard Reasoning
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Rafael Peñaloza
CEC
2009
IEEE
16 years 1 months ago
Modeling multi-agent labor market based on co-evolutionary computation and game theory
— In a real-world, labor market consist of employer and employee, and these individuals form relationship through mutual interactions. This paper mainly focuses on development of...
Hee-Taek Kim, Sung-Bae Cho
TASE
2009
IEEE
16 years 1 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
ATAL
2009
Springer
16 years 27 days ago
Unifying preference and judgment aggregation
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
Davide Grossi