{"entities":{"Q5952654":{"pageid":8129456,"ns":120,"title":"Item:Q5952654","lastrevid":31861242,"modified":"2024-03-19T19:56:24Z","type":"item","id":"Q5952654","labels":{"en":{"language":"en","value":"Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5--7, 2000. Revised papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692467"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952654$ED3529E0-2114-4641-9AC8-1473EB3A8D51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e00a7655bdf4524d1e661a8b07e1a2f10b95471b","datavalue":{"value":{"text":"Formal approaches to agent-based systems. 1st international workshop, FAABS 2000, Greenbelt, MD, USA, April 5--7, 2000. Revised papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952654$EB0F1882-6F32-45FA-9629-616A14C318BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a98099a68c6585a4ac725be3581be8b723d0f878","datavalue":{"value":"0978.00039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952654$431A6050-E203-4C90-9AAB-8AE1099862BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b01fbad3c1f79c261bb6b4b5f731a8d5b3410ed","datavalue":{"value":"10.1007/3-540-45484-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952654$41DF88BC-9995-4B42-A033-AF1A2E53E319","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952654$377AF31D-ED41-4C98-8201-BA5935D97872","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a86d7fcc434c44ccbb2f9dd6dc2e62b0e25c24e","datavalue":{"value":{"time":"+2002-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952654$1CEA3E53-3BB9-47D5-A3D0-B76D3955F2C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ff9626706162e1fecc09a2c95130d2c46edaffd","datavalue":{"value":"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\u00e7ois}, 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\u00e9l\u00e8ne}, 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]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952654$EC69B517-01EF-4328-A3C3-8498308D76CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952654$ADD03F4B-BB25-4EF5-A462-37762C9AC6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952654$48D8163D-483D-43E6-BCFF-36D74436930C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e26b4ef2f6290dfe8ddc7886729a1db577bdea27","datavalue":{"value":"1692467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952654$EEF1BBDB-05B7-482D-8F7E-5E2946A6554F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd561d13f50e429de66a2d865818116c1c2afc0","datavalue":{"value":"Greenbelt, MD (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952654$8FB1C97F-9936-4A52-A437-D80CF394C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952654$5F32327E-68BE-4400-A4CC-7F31315E4EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952654$0DA6664A-1F13-47BD-BB80-C4CB979DE784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15d896a6d44cc21223ad62e732ac461382ac1e7b","datavalue":{"value":"FAABS 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952654$3142716D-D4C2-4924-9B18-078EFDF5337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c2221a8c1bee682fe63f5ca5cee2f40c60cab8","datavalue":{"value":"Agent-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952654$21C95E8E-8AE2-41D8-866D-FFD2E755C8AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952654$96E48A9F-D9E8-4A31-ACFE-365408E6E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0ef2bf8377a0b1024a6bd13b52053a465726708","datavalue":{"value":{"entity-type":"item","numeric-id":32673,"id":"Q32673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952654$D1A38961-CB66-42B2-A0E9-062A18CD7CA1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952654$06D48217-6595-4B91-8DFC-CA8CC212C09C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f988223c1149b2690aa78fdfcc5593262217e3a2","datavalue":{"value":"https://doi.org/10.1007/3-540-45484-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5952654$D0F29F03-4911-4533-85D4-516170BA3E3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f34ab3848172e46f36882734fd89cbfa5c786ee","datavalue":{"value":"W2489323594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952654$C9AF5851-40D3-470A-B64B-E44FABA6FBE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952654"}}}}}