Intelligent agents VIII. Agent theories, architectures, and languages. 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1--3, 2001. Revised papers (Q1611711)

The articles of mathematical interest will be reviewed individually. The preceding workshop (7th, 2000) has been reviewed (see Zbl 0967.00073). Indexed articles: \textit{Meyer, John-Jules Ch.; Tambe, Milind}, Introduction, 1-5 [Zbl 1050.68627] \textit{Giunchiglia, Fausto; Perini, Anna; Sannicolò, Fabrizio}, Knowledge level software engineering, 6-20 [Zbl 1050.68617] \textit{Gmytrasiewicz, Piotr J.; Lisetti, Christine L.}, Emotions and personality in agent design and modeling, 21-31 [Zbl 1050.68618] \textit{Kinny, David}, The \(\mathbf\Psi\) calculus: An algebraic agent language, 32-50 [Zbl 1050.68140] \textit{Wagner, Thomas; Lesser, Victor}, Evolving real-time local agent control for large-scale multi-agent systems, 51-68 [Zbl 1050.68631] \textit{Lespérance, Yves}, On the epistemic feasibility of plans in multiagent systems specifications, 69-85 [Zbl 1050.68141] \textit{Lomuscio, Alessio; Sergot, Marek}, On multi-agent systems specification via deontic logic, 86-99 [Zbl 1050.68131] \textit{Ryan, Mark; Schobbens, Pierre-Yves}, Agents and roles: Refinement in alternating-time temporal logic, 100-114 [Zbl 1050.68132] \textit{Wooldridge, Michael; Dunne, Paul E.}, The computational complexity of agent verification, 115-127 [Zbl 1050.68632] \textit{Kolp, Manuel; Giorgini, Paolo; Mylopoulos, John}, A goal-based organizational perspective on multi-agent architectures, 128-140 [Zbl 1050.68621] \textit{Leite, João Alexandre; Alferes, José Júlio; Pereira, Luís Moniz}, \(\mathcal{MINERVA}\) -- a dynamic logic programming agent architecture, 141-157 [Zbl 1050.68623] \textit{Machado, Rodrigo; Bordini, Rafael H.}, Running AgentSpeak(L) agents on SIM\_AGENT, 158-174 [Zbl 1050.68626] \textit{Aiello, Marco; Busetta, Paolo; Donà, Antonia; Serafini, Luciano}, Ontological overhearing, 175-189 [Zbl 1050.68605] \textit{Amgoud, Leila; Parsons, Simon}, Agent dialogues with conflicting preferences, 190-205 [Zbl 1050.68607] \textit{Bonzon, Pierre}, An abstract machine for classes of communicating agents based on deduction, 206-220 [Zbl 1050.68610] \textit{Huber, Marcus J.; Kumar, Sanjeev; Cohen, Philip R.; McGee, David R.}, A formal semantics for Proxy communicative acts, 221-234 [Zbl 1050.68619] \textit{Yolum, Pinar; Singh, Munindar P.}, Commitment machines, 235-247 [Zbl 1050.68633] \textit{Hunsberger, Luke}, Generating bids for group-related actions in the context of prior commitments, 248-263 [Zbl 1050.68620] \textit{Modi, Pragnesh Jay; Jung, Hyuckchul; Tambe, Milind; Shen, Wei-Min; Kulkarni, Shriniwas}, Dynamic distributed resource allocation: A distributed constraint satisfaction approach, 264-276 [Zbl 1050.68628] \textit{Nuchia, Stephen W.; Sen, Sandip}, Improving optimality of \(n\) agent envy-free divisions, 277-289 [Zbl 1050.68629] \textit{Liu, Wei; Williams, Mary-Anne}, Trustworthiness of information sources and information pedigrees, 290-306 [Zbl 1050.68625] \textit{Pynadath, David V.; Tambe, Milind}, Revisiting Asimov's first law: A response to the call to arms, 307-320 [Zbl 1050.68630] \textit{Dignum, Frank}, Formal theories of negotiation, 321-323 [Zbl 1050.68612] \textit{Belmonte, Maria Victoria; Conejo, Ricardo; Pérez-de-la-Cruz, José Luis; Triguero, Francisco}, A stable and feasible payoff division for coalition formation in a class of task oriented domains, 324-334 [Zbl 1050.68608] \textit{Brandt, Felix; Weiß, Gerhard}, Antisocial agents and Vickrey auctions, 335-347 [Zbl 1050.68611] \textit{Esteva, Marc; Padget, Julian; Sierra, Carles}, Formalizing a language for institutions and norms, 348-366 [Zbl 1050.68613] \textit{Faratin, Peyman; Klein, Mark; Sayama, Hiroki; Bar-Yam, Yaneer}, Simple negotiating agents in complex games: Emergent equilibria and dominance of strategies., 367-376 [Zbl 1050.68614] \textit{Fatima, S. Shaheen; Wooldridge, Michael; Jennings, Nicholas R.}, Optimal negotiation strategies for agents with incomplete information, 377-392 [Zbl 1050.68615] \textit{Littman, Michael L.; Stone, Peter}, Implicit negotiation in repeated games, 393-404 [Zbl 1050.68624] \textit{Sadri, Fariba; Toni, Francesca; Torroni, Paolo}, Dialogues for negotiation: Agent varieties and dialogue sequences, 405-421 [Zbl 1050.68142] \textit{Finin, Tim}, Agents for hand-held, mobile, or embedded devices, 422 [Zbl 1050.68616] \textit{Albuquerque, Ryan L.; Hübner, Jomi F.; de Paula, Gustavo E.; Sichman, Jaime S.; Ramalho, Geber L.}, KSACI: A handheld device infrastructure for agents communication, 423-435 [Zbl 1050.68606] \textit{Bergenti, Federico; Poggi, Agostino}, LEAP: A FIPA platform for handheld and mobile devices, 436-446 [Zbl 1050.68609] \textit{Laukkanen, Mikko; Tarkoma, Sasu; Leinonen, Jani}, FIPA-OS agent platform for small-footprint devices, 447-460 [Zbl 1050.68622]