The semantics of MALLET–An agent teamwork encoding language

Authors:
Xiaocong Fan;John Yen;Michael S. Miller;Richard A. Volz
Affiliations:
School of Information Sciences and Technology, The Pennsylvania State University, University Park, PA;School of Information Sciences and Technology, The Pennsylvania State University, University Park, PA;Department of Computer Science, Texas A&M University, College Station, TX;Department of Computer Science, Texas A&M University, College Station, TX
Venue:
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Year:
2004

Citing 16
Cited 5

Controlling cooperative problem solving in industrial multi-agent systems using joint intentions

Artificial Intelligence
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Collaborative plans for complex group action

Artificial Intelligence
COLLAGEN: when agents collaborate with people

AGENTS '97 Proceedings of the first international conference on Autonomous agents
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Model checking multi-agent systems with MABLE

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Planned Team Activity

MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
Toward Team-Oriented Programming

ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Model checking agentspeak

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Towards flexible teamwork

Journal of Artificial Intelligence Research
CAST: collaborative agents for simulating teamwork

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Agents with shared mental models for enhancing team decision makings

Decision Support Systems - Special issue: Intelligence and security informatics
Dynamics of declarative goals in agent programming

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Theories of intentions in the framework of situation calculus

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A lightweight coordination calculus for agent systems

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Enhancing commitment machines

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

MALLET-A Multi-Agent Logic Language for Encoding Teamwork

IEEE Transactions on Knowledge and Data Engineering
Context-Centric Needs Anticipation Using Information Needs Graphs

Applied Intelligence
Dynamics of declarative goals in agent programming

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Modeling and verification of distributed autonomous agents using logic programming

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Intensional programming for agent communication

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. The semantics can be used to guide the implementation of MALLET interpreters, and to formally study the properties of team-based agents specified in MALLET.