Sciweavers

1402 search results - page 72 / 281
» A Practical Agent Programming Language
Sort
View
100
Voted
UM
2007
Springer
15 years 8 months ago
A Practical Activity Capture Framework for Personal, Lifetime User Modeling
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
Max Van Kleek, Howard E. Shrobe
112
Voted
HOTOS
2007
IEEE
15 years 6 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
126
Voted
CLIMA
2004
15 years 3 months ago
From Logic Programs Updates to Action Description Updates
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
José Júlio Alferes, Federico Banti, ...
122
Voted
ESAW
2009
Springer
15 years 8 months ago
Normative Multi-Agent Organizations
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
Mehdi Dastani
148
Voted
ENC
2008
IEEE
15 years 8 months ago
Possibilistic-Based Argumentation: An Answer Set Programming Approach
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
Juan Carlos Nieves, Ulises Cortés, Mauricio...