Sciweavers

3787 search results - page 232 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
ATAL
2007
Springer
16 years 24 days ago
An adversarial environment model for bounded rational agents in zero-sum interactions
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschei...
MATA
2004
Springer
149views Communications» more  MATA 2004»
15 years 12 months ago
Detecting and Proving Manipulation Attacks in Mobile Agent Systems
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
Oscar Esparza, Miguel Soriano, Jose L. Muño...
AAAI
1993
15 years 8 months ago
Numeric Reasoning with Relative Orders of Magnitude
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
Philippe Dague
FLAIRS
2004
15 years 8 months ago
Aperiodic Dynamics and the Self-Organization of Cognitive Maps in Autonomous Agents
Aperiodic dynamics are known to be essential in the formation of perceptual mechanisms and representations in biological organisms. Advances in neuroscience and computational neur...
Derek Harter, Robert Kozma
ATAL
2010
Springer
15 years 6 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga