Teamwork Encoding Language Xiaocong Fan,JohnYen, Michael S. Miller, and...  Home/Search
Context
Related
| psu.edu/yen/Lab/LNAI.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: psu.edu/yen/Lab/1Publication (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Active bibliography (related documents): More All
1.9: MALLET--A Multi-Agent Logic Language for - Encoding Teamwork Xiaocong (Correct)
0.8: The Semantics of MALLET--An Agent - Teamwork Encoding Language (Correct)
0.3: Modeling and Simulating Human Teamwork Behaviors Using.. - Fan, Yen (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ language-semantics,
author = "Teamwork Encoding Language",
title = "The Semantics of MALLET--An Agent",
url = "citeseer.ist.psu.edu/754608.html" }
Citations (may not include all citations):243 Collaborative plans for complex group actions - Grosz, Kraus - 1996
219 Towards flexible teamwork - Tambe - 1997
193 Controlling cooperative problem solving in industrial multi-.. - Jennings - 1995 ACM DBLP
141 BDI agents speak out in a logical computable language (context) - Rao, AgentSpeak - 1996
73 Planned team activity - Kinny, Ljungberg et al. - 1992 ACM DBLP
67 Social plans: A preliminary report - Rao, George et al. - 1992
52 Collagen: When agents collaborate with people - Rich, Sidner - 1997 DBLP
45 CAST: Collaborative agents for simulating teamworks - Yen, Yin et al. - 2001
34 Guided team selection - Tidhar, Rao et al. - 1996
31 Model checking multiagent systems with MABLE - Wooldridge, Fisher et al. - 2002
30 a concurrent programming language based on the situation cal.. (context) - Giacomo, Lesperance et al. - 2000
24 Model checking agentspeak - Bordini, Fisher et al. - 2003
22 On team formation - Cohen, Levesque et al. - 1997
22 Toward team-oriented programming - Pynadath, Tambe et al. - 1999 ACM DBLP
18 Team-oriented agent coordination in the RETSINA multi-agent .. - Giampapa, Sycara - 2002
14 Team oriented programming: Preliminary report - Tidhar - 1993
12 A programming language for cognitive agents: Goal directed 3.. - Dastani, van Riemsdijk et al. - 2003
9 Agents with shared mental models for enhancing team decision.. (context) - Yen, Fan et al. - 2004
3 Team oriented programming and proxy agents: the next generat.. (context) - Scerri, Pynadath et al. - 2003
2 comshareddemosNdoc JACK Team Manual (context) - Manual, agent et al. - 2004
2 The formal semantics of processes in PDDL - McDermott - 2003
1 A lightweight coordination calculus for agent systems (context) - Robertson - 2005
1 Enhancing commitment machines (context) - Liu, Harland - 2005
1 Dynamics of declarative goals in agent programming - van Riemsdijk, Dastani et al. - 2005
1 Theories of intentions in the framework of situation calculu.. (context) - Pozos-Parra, Nayak et al. - 2005
1 The Pennsylvania State University (context) - Yen - 2004
Documents on the same site (http://ist.psu.edu/yen/Lab/1-Publication.htm): More
MALLET--A Multi-Agent Logic Language for - Encoding Teamwork Xiaocong (Correct)
Implementing Shared Mental Models for Collaborative Teamwork - John Yen Xiaocong (Correct)
Neuro-fuzzy Learning of Strategies for Optimal Control Problems - Kaivan Kamali Lijun (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC