Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5--7, 2000. Revised papers (Q5952654)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Benerecetti, Massimo; Giunchiglia, Fausto}, Model checking-based analysis of multiagent systems, 1-15 [Zbl 0988.68630] \textit{Ambroszkiewicz, Stanislaw; Penczek, Wojciech; Nowak, Tomasz}, Towards formal specification and verification in cyberspace, 16-32 [Zbl 0988.68564] \textit{Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John-Jules; van der Hoek, Wiebe}, Verification within the KARO agent theory, 33-47 [Zbl 0988.68180] \textit{Araragi, Tadashi; Attie, Paul; Keidar, Idit; Kogure, Kiyoshi; Luchangco, Victor; Lynch, Nancy; Mano, Ken}, On formal modeling of agent computations, 48-62 [Zbl 0988.68721] \textit{McIlraith, Sheila A.}, Modeling and programming devices and web agents, 63-77 [Zbl 0988.68716] \textit{Hindriks, Koen V.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules C.}, A programming logic for part of the agent language 3APL, 78-89 [Zbl 0988.68538] \textit{Kawabe, Yoshinobu; Mano, Ken; Kogure, Kiyoshi}, The \(\text{Nepi}^2\) programming system: A \(\pi\)-calculus-based approach to agent-based programming, 90-102 [Zbl 0988.68764] \textit{Pecheur, Charles; Simmons, Reid}, From Livingstone to SMV. Formal verification for autonomous spacecrafts, 103-113 [Zbl 0988.68698] \textit{Khatib, Lina; Muscettola, Nicola; Havelund, Klaus}, Verification of plan models using UPPAAL, 114-122 [Zbl 0988.68758] \textit{Bakam, Innocent; Kordon, Fabrice; Le Page, Christophe; Bousquet, François}, Formalization of a spatialized multiagent model using coloured Petri nets for the study of an hunting management system, 123-132 [Zbl 0988.68767] \textit{d'Inverno, Mark; Luck, Michael}, Formal agent development: Framework to system, 133-147 [Zbl 0988.68696] \textit{Schumann, Johann; Whittle, Jon}, Automatic synthesis of agent designs in UML, 148-162 [Zbl 0988.68673] \textit{Fisher, Michael}, Direct execution of agent specifications, 163 [Zbl 0988.68687] \textit{Esterline, Albert C.; Rorie, Toinette}, Using the \(\pi\)-calculus to model multiagent systems, 164-179 [Zbl 0988.68757] \textit{Van Baalen, Jeffrey; Caldwell, James L.; Mishra, Shivakant}, Specifying and checking fault-tolerant agent-based protocols using Maude, 180-193 [Zbl 0988.68743] \textit{Menzies, Tim; Cukic, Bojan; Singh, Harhsinder}, Agents talking faster, 194-208 [Zbl 0988.68665] \textit{Soundarajan, Neelam}, Refining interactions in a distributed system, 209-221 [Zbl 0988.68737] \textit{Lerman, Kristina}, Design and mathematical analysis of agent-based systems, 222-234 [Zbl 0988.68684] \textit{Rudnianski, Michel; Bestougeff, Hélène}, Modeling task and teams through game theoretical agents, 235-249 [Zbl 0988.68718] \textit{Waldinger, Richard}, Web agents cooperating deductively, 250-262 [Zbl 0988.68761] \textit{Zhu, Hong}, Formal specification of agent behaviour through environment scenarios, 263-277 [Zbl 0988.68697] \textit{Gordon, Diana F.}, APT agents: Agents that are adaptive, predictable, and timely, 278-293 [Zbl 0988.68671] \textit{Bailin, Sidney C.}, Ontology negotiation in a community of agents. Extended abstract, 294-297 [Zbl 0988.68724] \textit{Bharadwaj, Ramesh}, Analysis of agent-based systems using decision procedures, 298-299 [Zbl 0988.68668] \textit{Chainbi, Walid}, A formal approach to belief-goal-role agents, 300-301 [Zbl 0988.68649] \textit{Engrand, Peter; Pecheur, Charles}, Model checking of autonomy models for an in-situ propellant production system, 302-303 [Zbl 0988.68713] \textit{Kiriakidis, Kiriakos; Gordon, Diana F.}, Adaptive supervisory control of multi-agent systems, 304-305 [Zbl 0988.68662] \textit{Alonso, Eduardo; Kudenko, Daniel}, Machine learning for logic-based multi-agent systems, 306-307 [Zbl 0988.68710] \textit{Carchiolo, Vincenza; Malgeri, Michele; Mangioni, Giuseppe}, Using a formal framework for agent system design, 308-317 [Zbl 0988.68756] \textit{Mandutianu, Sanda}, Modeling agent-based systems, 318-320 [Zbl 0988.68715] \textit{Peng, Yun}, Modeling agent systems by Bayesian belief networks, 321-322 [Zbl 0988.68714] \textit{Riley, Tom}, The anthropomorphizing of intelligent agents, 323-334 [Zbl 0988.68749] \textit{Surka, Derek M.; Campbell, Mark E.; Schetter, Thomas P.}, Controlling multiple satellite constellations using the TeamAgent system, 335-336 [Zbl 0988.68680] \textit{Torney, Susan E.}, Operations assistants for Johnson Space Center's Mission Control Center, 337-338 [Zbl 0988.68725] \textit{Wesley, Leonard P.}, A real time object-oriented rational agent development system, 339-344 [Zbl 0988.68657] Panel discussion: ``Empirical versus formal methods'', 345-353 [Zbl 0988.68728] Panel discussion: ``Future directions'', 354-368 [Zbl 0988.68729]