{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:05:48Z","timestamp":1737435948089,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427162"},{"type":"electronic","value":"9783540454847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45484-5_2","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T06:45:25Z","timestamp":1186901125000},"page":"16-32","source":"Crossref","is-referenced-by-count":1,"title":["Towards Formal Specification and Verification in Cyberspace"],"prefix":"10.1007","author":[{"given":"Stanislaw","family":"Ambroszkiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Penczek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Nowak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,26]]},"reference":[{"key":"2_CR1","unstructured":"S. Ambroszkiewicz. On the concepts of rationalizability in games. To appear in Annals of Operations Research 2000."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"S. Ambroszkiewicz, O. Matyja, and W. Penczek. \u201dTeam Formation by Self-Interested Mobile Agents.\u201d In Proc. 4-th Australian DAI-Workshop, Brisbane, Australia, Springer LNAI 1544, 1998.","DOI":"10.1007\/10693067_1"},{"key":"2_CR3","unstructured":"DARPA Agent Markup Language (DAML) http:\/\/www.darpa.mil\/iso\/ABC\/BAA0007PIP.htm"},{"key":"2_CR4","unstructured":"The Foundation for Intelligent Physical Agents (FIPA) http:\/\/drogo.cselt.it\/.pa\/"},{"key":"2_CR5","unstructured":"GMA FOCUS and IKV++, http:\/\/www.fokus.gmd.de\/research\/cc\/ima\/climate ."},{"key":"2_CR6","unstructured":"GRASSHOPPER http:\/\/www.ikv.de\/products\/grasshopper"},{"key":"2_CR7","unstructured":"T. R. Gruber. Toward Principles for the Design of Ontologies Used for Knowledge Sharing. In Formal Ontology Analysis and Knowledge Representation, (N. Guarino and R. Poli Eds.) Kluwer Academic Publishers 1994."},{"key":"2_CR8","volume-title":"Philosophy and the Cognitive Science","author":"N. Guarino","year":"1994","unstructured":"N. Guarino. The Ontological level. In R. Casi, B. Smith and G. White (Eds.), Philosophy and the Cognitive Science. H\u00f6lder-Pichler-Tempsky, Vienna, 1994."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about knowledge, MIT Press, 1995.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1142\/S0129054192000103","volume":"3","author":"K. Lodaya","year":"1992","unstructured":"K. Lodaya, R. Ramanujam, P.S. Thiagarajan, \u201dTemporal logic for communicating sequential agents: I\u201d, Int. J. Found. Comp. Sci., vol. 3(2), 1992, pp. 117\u2013159.","journal-title":"Int. J. Found. Comp. Sci."},{"key":"2_CR11","unstructured":"T. Magedanz, M. Breugst, I. Busse, S. Covaci. Integrating Mobile Agent Technology and CORBA Middleware. AgentLink Newsletter 1, Nov. 1998, http:\/\/www.agentlink.org"},{"key":"2_CR12","series-title":"Lect Notes Comput Sci","first-page":"285","volume-title":"Basic notions of trace theory","author":"A. Mazurkiewicz","year":"1988","unstructured":"A. Mazurkiewicz, Basic notions of trace theory, LNCS 354, pp. 285\u2013363, 1988."},{"key":"2_CR13","unstructured":"OMG MASIF, Mobile Agent Systems Interoperability Facility, ftp:\/\/ftp.omg.org\/pub\/docs\/orbos\/97-10-05.pdf"},{"key":"2_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/3-540-57529-4_71","volume-title":"FST&TCS\u201993","author":"M. Mukund","year":"1993","unstructured":"M. Mukund, and M. Sohoni. Keeping track of the latest gossip: Bounded time-stamps suffice, FST&TCS\u201993, LNCS 761, 1993, 388\u2013199."},{"key":"2_CR15","unstructured":"Pegaz- http:\/\/www.ipipan.waw.pl\/mas\/pegaz\/ ."},{"key":"2_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/BFb0054163","volume-title":"Verification based on local states","author":"M. Huhn","year":"1998","unstructured":"M. Huhn, P. Niebert, and F. Wallner, \u201dVerification based on local states\u201d, LNCS 1384, pp. 36\u201351, 1998."},{"key":"2_CR17","unstructured":"The Ontology Interchange Language: http:\/\/www.ontoknowledge.org\/oil\/ ."},{"key":"2_CR18","unstructured":"Ontobroker: http:\/\/ontobroker.aifb.uni-karlsruhe.de\/"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FI-1988-11307","volume":"XI","author":"W. Penczek","year":"1988","unstructured":"W. Penczek, A temporal logic for event structures, Fundamenta Informaticae XI, pp. 297\u2013326, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"2_CR20","unstructured":"W. Penczek, A Temporal Logic for the Local Specification of Concurrent Systems. Information Processing IFIP-89, pp. 857\u2013862, 1989."},{"key":"2_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BFb0035386","volume-title":"Proc. of TACAS\u201997","author":"W. Penczek","year":"1997","unstructured":"W. Penczek. Model checking for a Subclass of Event Structures, Proc. of TACAS\u201997, LNCS 1217, Springer-Verlag, pp. 145\u2013164, 1997."},{"issue":"1","key":"2_CR22","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1093\/jigpal\/8.1.87","volume":"8","author":"W. Penczek","year":"2000","unstructured":"W. Penczek. A temporal approach to causal knowledge, Logic Journal of the IGPL, Vol. 8, Issue 1, pp. 87\u201399, 2000.","journal-title":"Logic Journal of the IGPL"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"W. Penczek and S. Ambroszkiewicz, Model checking of local knowledge formulas, Proc. of FCT\u201999 Workshop on Distributed Systems, Vol. 28 in Electronic Notes in Theoretical Computer Science, 1999.","DOI":"10.1016\/S1571-0661(05)82524-1"},{"key":"2_CR24","unstructured":"A. Rao, M. Singh, and M. Georgeff. Formal Methods in DAI: Logic-Based Representation and Reasoning. In G. Weiss (Ed.) Multiagent Systems. A modern approach to Distributed Artificial Intelligence."},{"key":"2_CR25","unstructured":"A. S. Rao and M. P. Georgeff. Modelling rational agents within a BDI-architecture. In Proc. KR\u201991, pp. 473\u2013484, Cambridge, Mass., April 1991, Morgan Kaufmann."},{"key":"2_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"An Introduction to Event Structures","author":"G. Winskel","year":"1989","unstructured":"Winskel, G., An Introduction to Event Structures, LNCS 354, Springer-Verlag, pp. 364\u2013397, 1989."},{"key":"2_CR27","unstructured":"L. Wittgenstein. Philosophical Investigations. Basil Blackwell, pp. 20\u201321, 1958."}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45484-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:51:02Z","timestamp":1737363062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45484-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427162","9783540454847"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45484-5_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}