Sciweavers

3787 search results - page 356 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
AI
2007
Springer
16 years 1 months ago
Planning in Multiagent Expedition with Collaborative Design Networks
DEC-POMDPs provide formal models of many cooperative multiagent problems, but their complexity is NEXP-complete in general. We investigate a sub-class of DEC-POMDPs termed multiage...
Yang Xiang, Franklin Hanshar
AMKM
2003
Springer
16 years 1 days ago
Towards Agent-Mediated Knowledge Management
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
Ludger van Elst, Virginia Dignum, Andreas Abecker
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 12 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed
156
Voted
ATAL
2004
Springer
16 years 6 days ago
Experiments in Human Multi-Issue Negotiation: Analysis and Support
The purpose of this paper is to report on experiments in (human) multi-issue negotiation and their analysis, and to present a generic software environment supporting such an analy...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
ATAL
2005
Springer
16 years 11 days ago
Modeling opponent decision in repeated one-shot negotiations
In many negotiation and bargaining scenarios, a particular agent may need to interact repeatedly with another agent. Typically, these interactions take place under incomplete info...
Sabyasachi Saha, Anish Biswas, Sandip Sen