Sciweavers

5198 search results - page 177 / 1040
» A Logic of Agent Programs
Sort
View
NIPS
2000
15 years 5 months ago
Programmable Reinforcement Learning Agents
We present an expressive agent design language for reinforcement learning that allows the user to constrain the policies considered by the learning process.The language includes s...
David Andre, Stuart J. Russell
AIED
2007
Springer
15 years 10 months ago
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
Noboru Matsuda, William W. Cohen, Jonathan Sewall,...
PADL
2001
Springer
15 years 8 months ago
Specifying Authentication Protocols Using Rewriting and Strategies
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
Horatiu Cirstea
IJIT
2004
15 years 5 months ago
An HCI Template for Distributed Applications
Both software applications and their development environment are becoming more and more distributed. This trend impacts not only the way software computes, but also how it looks. T...
Xizhi Li
EUROGP
1999
Springer
137views Optimization» more  EUROGP 1999»
15 years 8 months ago
Evolving Controllers for Autonomous Agents Using Genetically Programmed Networks
– This article presents a new approach to the evolution of controllers for autonomous agents. We propose the evolution of a connectionist structure where each node has an associa...
Arlindo Silva, Ana Neves, Ernesto Costa