{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:22Z","timestamp":1725558982300},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261728"},{"type":"electronic","value":"9783540319276"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_9","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:52:26Z","timestamp":1278985946000},"page":"148-165","source":"Crossref","is-referenced-by-count":12,"title":["Modeling and Verification of Distributed Autonomous Agents Using Logic Programming"],"prefix":"10.1007","author":[{"given":"L. Robert","family":"Pokorny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. R.","family":"Ramakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Business process execution language for web sevices (BPEL4WS), http:\/\/www.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"9_CR2","unstructured":"Cougaar: Cognitive agent architecture, http:\/\/www.cougaar.org"},{"key":"9_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-45217-1_21","volume-title":"Cooperative Information Agents VII","author":"J. Alferes","year":"2003","unstructured":"Alferes, J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Klusch, M., Omicini, A., Ossowski, S., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol.\u00a02782, pp. 281\u2013297. Springer, Heidelberg (2003)"},{"key":"9_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/11493402_7","volume-title":"Declarative Agent Languages and Technologies II","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., et al.: Reasoning about communicating agents inside DCaseLP. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 112\u2013131. Springer, Heidelberg (2005)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-46002-0_17","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Basu","year":"2002","unstructured":"Basu, S., Kumar, K.N., Pokorny, L.R., Ramakrishnan, C.R.: Resource-constrained model checking of recursive programs. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 236\u2013250. Springer, Heidelberg (2002)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-44585-4_5","volume-title":"Computer Aided Verification","author":"G. Bhat","year":"2001","unstructured":"Bhat, G., Cleaveland, R., Groce, A.: Efficient model checking via beuchi tabeau automata. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, p. 38. Springer, Heidelberg (2001)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Bhat, G., Cleaveland, R., Grumberg, O.: Efficient on-the-fly model checking for CTL*. In: IEEE Symposium on Logic in Computer Science. IEEE Press, Los Alamitos (1995)","DOI":"10.1109\/LICS.1995.523273"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","volume":"133","author":"A. Bonner","year":"1994","unstructured":"Bonner, A., Kifer, M.: An overview of transaction logic. Theoretical Computer Science\u00a0133, 205\u2013265 (1994)","journal-title":"Theoretical Computer Science"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Second Internatonal Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) (2003)","DOI":"10.1145\/860575.860641"},{"key":"9_CR10","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Declarative Agent Languages and Technologies II","author":"A.K. Chopra","year":"2005","unstructured":"Chopra, A.K., Mallya, A.U., Desai, N.V., Singh, M.P.: Modeling flexible business processes. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476. Springer, Heidelberg (2005)"},{"key":"9_CR11","first-page":"25","volume-title":"ACM Symposium on Principles of Database Systems (PODS)","author":"H. Davulcu","year":"1998","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic based modeling and analysis of workflows. In: ACM Symposium on Principles of Database Systems (PODS), pp. 25\u201333. ACM, New York (1998)"},{"key":"9_CR12","unstructured":"Du, X., Ramakrishnan, C.R., Smolka, S.A.: Tabled resolution + constraints: A recipe for model checking real-time systems. In: IEEE Real Time Systems Symposium (RTSS), Orlando, Florida (2000)"},{"key":"9_CR13","unstructured":"Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente (2002)"},{"key":"9_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11493402_5","volume-title":"Declarative Agent Languages and Technologies II","author":"X. Fan","year":"2005","unstructured":"Fan, X., Yen, J., Miller, M., Volz, R.: The semantics of MALLET \u2014 an agent teamwork encoding language. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 69\u201391. Springer, Heidelberg (2005)"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM\u00a042(4), 741\u2013843 (1995)","journal-title":"Journal of the ACM"},{"key":"9_CR16","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1991)"},{"key":"9_CR17","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"9_CR18","unstructured":"Pokorny, L.R., Ramakrishnan, C.R.: Model checking linear temporal logic using tabled logic programming. In: Workshop on Tabling in Parsing and Deduction (TAPD) (2000)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"Y.S. Ramakrishna","year":"1997","unstructured":"Ramakrishna, Y.S., Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Swift, T.L., Warren, D.S.: Efficient model checking using tabled resolution. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254. Springer, Heidelberg (1997)"},{"key":"9_CR20","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"9_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11493402_11","volume-title":"Declarative Agent Languages and Technologies II","author":"D. Robertson","year":"2005","unstructured":"Robertson, D.: A lightweight coordination calculus for agent social norms. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 183\u2013197. Springer, Heidelberg (2005)"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-540-39893-6_33","volume-title":"Formal Methods and Software Engineering","author":"B. Sarna-Starosta","year":"2003","unstructured":"Sarna-Starosta, B., Ramakrishnan, C.R.: Constraint based model checking of data independent systems. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 579\u2013598. Springer, Heidelberg (2003)"},{"key":"9_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogenous Agent Systems","author":"V.S. Subrahmanian","year":"2000","unstructured":"Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F.: Heterogenous Agent Systems. MIT Press, Cambridge (2000)"},{"key":"9_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/11493402_10","volume-title":"Declarative Agent Languages and Technologies II","author":"W.W. Vasconcelos","year":"2005","unstructured":"Vasconcelos, W.W.: Norm verification and analysis of electronic institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 166\u2013182. Springer, Heidelberg (2005)"},{"key":"9_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/11493402_8","volume-title":"Declarative Agent Languages and Technologies II","author":"C. Walton","year":"2005","unstructured":"Walton, C.: Model checking agent dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 132\u2013147. Springer, Heidelberg (2005)"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/544862.544965","volume-title":"First Internatonal Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking multi-agent systems with MABLE. In: First Internatonal Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 952\u2013959. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:58:44Z","timestamp":1605643124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11493402_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}