Sciweavers

ATAL
1995
Springer
14 years 4 months ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge
ATAL
1995
Springer
14 years 4 months ago
Alarms: An Implementation of Motivated Agency
Autonomousagentsin the real world must be capableof asynchronous goal generation. However, one consequence of this ability is that the agent may generate a substantial number of go...
Timothy J. Norman, Derek Long
ATAL
1995
Springer
14 years 4 months ago
Evaluation of KQML as an Agent Communication Language
Abstract. Thischapterdiscussesthedesirablefeaturesoflanguagesandprotocolsforcommunicationamongintelligentinformationagents.Thesedesiderata aredividedintosevencategories:form,conten...
James Mayfield, Yannis Labrou, Timothy W. Finin
ATAL
1995
Springer
14 years 4 months ago
Formalising Motivational Attitudes of Agents
In this paper we present a formalisation of motivational attitudes, the attitudes that are the driving forces behind the actions of agents. We consider the statics of these attitu...
Bernd van Linder, Wiebe van der Hoek, John-Jules C...
ATAL
1995
Springer
14 years 4 months ago
Foundations of a Logical Approach to Agent Programming
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
Yves Lespérance, Hector J. Levesque, Fangzh...
ATAL
1995
Springer
14 years 4 months ago
Experiences with an Architecture for Intelligent, Reactive Agents
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
R. Peter Bonasso, David Kortenkamp, David P. Mille...
ATAL
1995
Springer
14 years 4 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox