{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T14:42:26Z","timestamp":1761662546711,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_11","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"125-136","source":"Crossref","is-referenced-by-count":5,"title":["Complexity of Multi-agent Systems Behavior"],"prefix":"10.1007","author":[{"given":"Michael","family":"Dekhtyar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Dikovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mars","family":"Valiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Logic Programming. In: J. van Leeuwen (Ed.) Handbook of Theoretical Computer Science. Volume B. Formal Models and Semantics, Chapter 10, Elsevier Science Publishers B.V. 1990, 493\u2013574.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","volume":"69","author":"T. Bylander","year":"1994","unstructured":"Bylander, T., The computational Complexity of Propositional STRIPS Planning, Artificial Intelligence, 69:165\u2013204, 1994.","journal-title":"Artificial Intelligence"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Clarke, E. M., Emerson, E. A. Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proc.of Workshop on Logics of Programs, Lecture Notes in Computer Science, N. 181, 1981, 52\u201371.","DOI":"10.1007\/BFb0025774"},{"key":"11_CR4","unstructured":"Calvanese, D., De Giacomo, G., and Vardi, M.Y., Reasoning about actions and planning in LTL action theories, Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u201902), 593\u2013602, 2002."},{"key":"11_CR5","unstructured":"Clarke, E. M., Grumberg, O. and Peled, D., Model Checking, MIT Press, 2000."},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-62064-8_35","volume-title":"On Homeostatic Behavior of Dynamic Deductive Data Bases","author":"M. Dekhtyar","year":"1996","unstructured":"Dekhtyar, M., Dikovsky, A., On Homeostatic Behavior of Dynamic Deductive Data Bases. In: Proc. 2nd Int. A.P.Ershov Memorial Conference \u201cPerspective ofSystems Informatics\u201d, Lect. Notes in CS, N. 1181, 1996, 420\u2013432."},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-46562-6_20","volume-title":"Applying temporal logic to analysis of behavior of cooperating logic programs","author":"M. Dekhtyar","year":"2000","unstructured":"Dekhtyar, M., Dikovsky, A., and Valiev, M., Applying temporal logic to analysis of behavior of cooperating logic programs. Lect. Notes in CS, N. 1755, 2000, 228\u2013234."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., and Tompits, H., \u201cReasoning about Evolving Nonmonotonic Knowledge Bases\u201d, Proc. of LPAR01, 2001.","DOI":"10.1007\/3-540-45653-8_28"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E. A. Temporal and modal logic. In: J. van Leeuwen (Ed.), "Handbook of Theor. Comput. Sci.", Elsevier Sci. Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Emerson, E. A. Model checking and the mu-calculus. In: N. Immerman, P. H. Kolaitis (Eds.), \u201cDescriptive Complexity and Finite Models\u201d. Proc. of a DIMACS Workshop, 1996, 185\u2013214.","DOI":"10.1090\/dimacs\/031\/06"},{"issue":"1\u20132","key":"11_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(94)00080-K","volume":"76","author":"K. Erol","year":"1995","unstructured":"Erol, K., Nau, D.S., and Subrahmanian, V.S., Complexity, Decidability and Undecidability Results for Domain-Independent Planning, Artificial Intelligence Journal, 76(1\u20132):75\u201388, 1995.","journal-title":"Artificial Intelligence Journal"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y. and Vardi, M., Reasoning about Knowledge, 1995, MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Fisher, M., Wooldridge, M., Specifying and Verifying Distributed Intelligent Systems. In: M. Filgueiras and L. Damas (Eds.) Progress in Artificial Intelligence-Sixth Portuguese Conf. on Artificial Intelligence. LNAI, N. 727, 1993, pp. 13\u201328, Springer-Verlag: Berlin, Germany.","DOI":"10.1007\/3-540-57287-2_35"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N. Jennings","year":"1998","unstructured":"Jennings, N., Sycara, K. and Wooldridge, M. A roadmap of agent research and development Autonomous Agents and Multi-Agent Systems, 1998, 1(1):7\u201338.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1017\/S0269888998004020","volume":"13","author":"J. P. M\u00fcller","year":"1998","unstructured":"M\u00fcller, J. P., Architectures and applications of intelligent agents: A survey. The Knowledge Engineering Review, 1998, 13(4):353\u2013380.","journal-title":"The Knowledge Engineering Review"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D., Results on the Propositional \u03bc-calculus. Theoretical Computer Science, 1983, v. 27, pp. 333\u2013354.","journal-title":"Theoretical Computer Science"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Petrie, C., What is an agent? In: J.P. M\u00fcller, M. J. Wooldridge, and N. R. Jennings (Eds.) Intelligent Agents III-Proc. of the Third Intern. Workshop on Agent Theories, Architectures, and Languages, Lecture Notes in Artificial Intelligence, N. 1193, 41\u201343. Springer-Verlag.","DOI":"10.1007\/BFb0013572"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Reiter, R. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"issue":"3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A. P. Sistla","year":"1985","unstructured":"Sistla, A. P., Clarke, E. M., The complexity of propositional linear temporal logic. J.ACM, 32(3), 1985, 733\u2013749.","journal-title":"J.ACM"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Subrahmanian, V. S., Bonatti, P., Dix, J., et al., Heterogeneous Agent Systems, MIT Press, 2000.","DOI":"10.7551\/mitpress\/3487.001.0001"},{"key":"11_CR21","unstructured":"Vardi, M., Wolper, P., An automata-theoretic approach to automatic program verification. In: Proc. of the IEEE Symposium on Logic in Computer Science, 1986, 332\u2013344."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., The Computational Complexity of Agent Design Problem. In: E. Durfee, (Ed.) Proc. of the Fourth Intern. Conf. on Multi-Agent Systems (ICMAS 2000), IEEE Press, 2000.","DOI":"10.1109\/ICMAS.2000.858472"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Jennings N. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 1995, 10(2).","DOI":"10.1017\/S0269888900008122"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T20:01:11Z","timestamp":1737489671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}